23 citations · 53 across the 5 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
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…
eess.SY2014★ 15 cited
Algorithmic Verification of Continuous and Hybrid Systems
Oded Maler
We provide a tutorial introduction to reachability computation, a class of computational techniques that exports verification technology toward continuous and hybrid systems. For o…