acm sigbed
|
emsoft
|
participants
Oded Maler
EMSOFT 2011: 11th International Conference on Embedded Software
On Under-Determined Dynamical Systems
Oded Maler
10.1145/2038642.2038658
http://www-verimag.imag.fr/~maler/Papers/under-det.pdf
EMSOFT 2009: 9th ACM & IEEE International Conference on Embedded Software
Compositional Timing Analysis
Ramzi Ben Salah
,
Marius Bozga
, and
Oded Maler
10.1145/1629335.1629342
http://www-verimag.imag.fr/~maler/Papers/tabst-new.pdf