Eugène Asarin

Controller Synthesis for Timed Automata 1

Eugène Asarin, Oded Maler, Amir Pnueli et al. · IFAC Proceedings Volumes · 1998 · 314 citations

Computing, Computer Science, Computer Systems +14

Reachability analysis of dynamical systems having piecewise-constant derivatives

Eugène Asarin, Oded Maler, Amir Pnueli · Theoretical Computer Science · 1995 · 228 citations

Natural Sciences, Mathematics, Systems Engineering +15

Effective synthesis of switching controllers for linear systems

Eugène Asarin, Olivier Bournez, Thao Dang et al. · Proceedings of the IEEE · 2000 · 222 citations

Engineering, Mathematics, Systems Engineering +17

Timed regular expressions

Eugène Asarin, Paul Caspi, Oded Maler · Journal of the ACM · 2002 · 207 citations

Computing, Computer Science, Computer Systems +17

Scheduling with timed automata

Yasmina Abdeddaı ̈m, Eugène Asarin, Oded Maler · Theoretical Computer Science · 2005 · 195 citations

Computing, Computer Science, Computer Systems +9