| 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 | 487 | 2002 |
| Controller synthesis for timed automata E Asarin, O Maler, A Pnueli, J Sifakis IFAC Proceedings Volumes 31 (18), 447-452, 1998 | 438 | 1998 |
| Symbolic controller synthesis for discrete and timed systems E Asarin, O Maler, A Pnueli Hybrid Systems II 2, 1-20, 1995 | 350 | 1995 |
| Reachability analysis of dynamical systems having piecewise-constant derivatives E Asarin, O Maler, A Pnueli Theoretical computer science 138 (1), 35-65, 1995 | 346 | 1995 |
| 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 | 309 | 2000 |
| Timed regular expressions E Asarin, P Caspi, O Maler Journal of the ACM 49 (2), 172-206, 2002 | 261 | 2002 |
| Scheduling with timed automata Y Abdeddaı, E Asarin, O Maler Theoretical Computer Science 354 (2), 272-300, 2006 | 256 | 2006 |
| The d/dt tool for verification of hybrid systems E Asarin, T Dang, O Maler Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002 | 240 | 2002 |
| Hybridization methods for the analysis of nonlinear systems E Asarin, T Dang, A Girard Acta Informatica 43 (7), 451, 2007 | 238 | 2007 |
| Reachability analysis of nonlinear systems using conservative approximation E Asarin, T Dang, A Girard Hybrid Systems: Computation and Control: 6th International Workshop, HSCC …, 2003 | 215 | 2003 |
| As soon as possible: Time optimal control for timed automata E Asarin, O Maler Hybrid Systems: Computation and Control: Second International Workshop, HSCC …, 1999 | 201 | 1999 |
| Parametric identification of temporal properties E Asarin, A Donzé, O Maler, D Nickovic Runtime Verification: Second International Conference, RV 2011, San …, 2012 | 175 | 2012 |
| 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 | 170 | 1997 |
| A Kleene theorem for timed automata E Asarin, P Caspi, O Maler Proceedings of Twelfth Annual IEEE Symposium on Logic in Computer Science …, 1997 | 163 | 1997 |
| Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems. A Annichini, E Asarin, A Bouajjani CAV 1855, 419-434, 2000 | 143 | 2000 |
| 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 | 141 | 2006 |
| On discretization of delays in timed automata and digital circuits E Asarin, O Maler, A Pnueli Concur 98, 470-484, 1998 | 109 | 1998 |
| 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 | 81 | 2002 |
| 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 | 69 | 2001 |
| Perturbed Turing machines and hybrid systems E Asarin, A Bouajjani Proceedings 16th Annual IEEE Symposium on Logic in Computer Science, 269-278, 2001 | 68 | 2001 |
Oded MalerCNRS-VERIMAG, University of GrenobleVerified email at imag.fr
