5 citations · 5 across the 2 of their papers we have counts for
2 papers
cs.SE2014
Formal and Informal Methods for Multi-Core Design Space Exploration
Jean-Francois Kempf, Olivier Lebeltel, Oded Maler
We propose a tool-supported methodology for design-space exploration for embedded systems. It provides means to define high-level models of applications and multi-processor archite…
cs.CE2013★ 5 cited
Exploring the Dynamics of Mass Action Systems
Oded Maler, Ádám M. Halász, Olivier Lebeltel +1
We present the Populus toolkit for exploring the dynamics of mass action systems under different assumptions.