Suivre
Eugene Asarin
Eugene Asarin
professeur d'informatique, IRIF, Université de Paris
Adresse e-mail validée de irif.fr - Page d'accueil
Titre
Citée par
Citée par
Année
Approximate reachability analysis of piecewise-linear dynamical systems
E Asarin, O Bournez, T Dang, O Maler
Hybrid Systems: Computation and Control: Third International Workshop, HSCC …, 2002
4872002
Controller synthesis for timed automata
E Asarin, O Maler, A Pnueli, J Sifakis
IFAC Proceedings Volumes 31 (18), 447-452, 1998
4381998
Symbolic controller synthesis for discrete and timed systems
E Asarin, O Maler, A Pnueli
Hybrid Systems II 2, 1-20, 1995
3501995
Reachability analysis of dynamical systems having piecewise-constant derivatives
E Asarin, O Maler, A Pnueli
Theoretical computer science 138 (1), 35-65, 1995
3461995
Effective synthesis of switching controllers for linear systems
E Asarin, O Bournez, T Dang, O Maler, A Pnueli
Proceedings of the IEEE 88 (7), 1011-1025, 2000
3092000
Timed regular expressions
E Asarin, P Caspi, O Maler
Journal of the ACM 49 (2), 172-206, 2002
2612002
Scheduling with timed automata
Y Abdeddaı, E Asarin, O Maler
Theoretical Computer Science 354 (2), 272-300, 2006
2562006
The d/dt tool for verification of hybrid systems
E Asarin, T Dang, O Maler
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
2402002
Hybridization methods for the analysis of nonlinear systems
E Asarin, T Dang, A Girard
Acta Informatica 43 (7), 451, 2007
2382007
Reachability analysis of nonlinear systems using conservative approximation
E Asarin, T Dang, A Girard
Hybrid Systems: Computation and Control: 6th International Workshop, HSCC …, 2003
2152003
As soon as possible: Time optimal control for timed automata
E Asarin, O Maler
Hybrid Systems: Computation and Control: Second International Workshop, HSCC …, 1999
2011999
Parametric identification of temporal properties
E Asarin, A Donzé, O Maler, D Nickovic
Runtime Verification: Second International Conference, RV 2011, San …, 2012
1752012
Data-Structures for Verification of Timed Automata
E Asarin, M Bozga, A Kerbrat, O Maler, A Pnueli, A Rasse
Hybrid and Real-Time Systems International Workshop, HART'97 1201, 346--360, 1997
1701997
A Kleene theorem for timed automata
E Asarin, P Caspi, O Maler
Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997
1631997
Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems.
A Annichini, E Asarin, A Bouajjani
CAV 1855, 419-434, 2000
1432000
Recent progress in continuous and hybrid reachability analysis
E Asarin, T Dang, G Frehse, A Girard, C Le Guernic, O Maler
2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE …, 2006
1412006
On discretization of delays in timed automata and digital circuits
E Asarin, O Maler, A Pnueli
Concur 98, 470-484, 1998
1091998
Verification of timed automata via satisfiability checking
P Niebert, M Mahfoudh, E Asarin, M Bozga, O Maler, N Jain
Formal Techniques in Real-Time and Fault-Tolerant Systems: 7th International …, 2002
812002
On the decidability of the reachability problem for planar differential inclusions
E Asarin, G Schneider, S Yovine
Hybrid Systems: Computation and Control: 4th International Workshop, HSCC …, 2001
692001
Perturbed Turing machines and hybrid systems
E Asarin, A Bouajjani
Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 269-278, 2001
682001
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20