Eugene Asarin

2008
37	EE	Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine: Algorithmic analysis of polygonal hybrid systems, Part II: Phase portrait and tools. Theor. Comput. Sci. 390(1): 1-26 (2008)
2007
36	EE	Eugene Asarin, Thierry Cachat, Alexander Seliverstov, Tayssir Touili, Vassily A. Lyubetsky: Attenuation Regulation as a Term Rewriting System. AB 2007: 81-94
35		Yasmina Abdeddaïm, Eugene Asarin, Matthieu Gallien, Félix Ingrand, Charles Lesire, Mihaela Sighireanu: Planning Robust Temporal Plans: A Comparison Between CBTP and TGA Approaches. ICAPS 2007: 2-9
34	EE	Eugene Asarin, Thao Dang, Antoine Girard: Hybridization methods for the analysis of nonlinear systems. Acta Inf. 43(7): 451-476 (2007)
33	EE	Eugene Asarin, Gerardo Schneider, Sergio Yovine: Algorithmic analysis of polygonal hybrid systems, part I: Reachability. Theor. Comput. Sci. 379(1-2): 231-265 (2007)
2006
32		Eugene Asarin, Patricia Bouyer: Formal Modeling and Analysis of Timed Systems, 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006, Proceedings Springer 2006
31	EE	Yasmina Abdeddaïm, Eugene Asarin, Oded Maler: Scheduling with timed automata. Theor. Comput. Sci. 354(2): 272-300 (2006)
2005
30	EE	Eugene Asarin, Pieter Collins: Noisy Turing Machines. ICALP 2005: 1031-1042
2004
29	EE	Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert: Some Progress in Satisfiability Checking for Difference Logic. FORMATS/FTRTFT 2004: 263-276
28	EE	Eugene Asarin, Thao Dang: Abstraction by Projection and Application to Multi-affine Systems. HSCC 2004: 32-47
27	EE	Eugene Asarin: Challenges in Timed Languages: from applied theory to basic theory (Column: Concurrency). Bulletin of the EATCS 83: 106-120 (2004)
2003
26	EE	Eugene Asarin: Timed Automata and Timed Languages Challenges and Open Problems. FORMATS 2003: 1
25	EE	Eugene Asarin, Thao Dang, Antoine Girard: Reachability Analysis of Nonlinear Systems Using Conservative Approximation . HSCC 2003: 20-35
24	EE	Yasmina Abdeddaïm, Eugene Asarin, Oded Maler: On Optimal Scheduling under Uncertainty. TACAS 2003: 240-253
2002
23	EE	Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine: SPeeDI - A Verification Tool for Polygonal Hybrid Systems. CAV 2002: 354-358
22	EE	Eugene Asarin, Thao Dang, Oded Maler: The d/dt Tool for Verification of Hybrid Systems. CAV 2002: 365-370
21	EE	Eugene Asarin, Gerardo Schneider: Widening the Boundary between Decidable and Undecidable Hybrid Systems. CONCUR 2002: 193-208
20	EE	Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain: Verification of Timed Automata via Satisfiability Checking. FTRTFT 2002: 225-244
19	EE	Eugene Asarin, Gerardo Schneider, Sergio Yovine: Towards Computing Phase Portraits of Polygonal Differential Inclusions. HSCC 2002: 49-61
18	EE	Eugene Asarin, Oded Maler, Sergio Yovine: Preface. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
17	EE	Eugene Asarin, Catalin Dima: Balanced timed regular expressions. Electr. Notes Theor. Comput. Sci. 68(5): (2002)
16	EE	Eugene Asarin, Paul Caspi, Oded Maler: Timed regular expressions. J. ACM 49(2): 172-206 (2002)
2001
15	EE	Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler: On Hybrid Control of Under-Actuated Mechanical Systems. HSCC 2001: 77-88
14	EE	Eugene Asarin, Gerardo Schneider, Sergio Yovine: On the Decidability of the Reachability Problem for Planar Differential Inclusions. HSCC 2001: 89-104
13		Eugene Asarin, Ahmed Bouajjani: Perturbed Turing Machines and Hybrid Systems. LICS 2001: 269-278
2000
12		Aurore Annichini, Eugene Asarin, Ahmed Bouajjani: Symbolic Techniques for Parametric Reasoning about Counter and Clock Systems. CAV 2000: 419-434
11	EE	Eugene Asarin, Thao Dang, Oded Maler, Olivier Bournez: Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. HSCC 2000: 20-31
1999
10	EE	Eugene Asarin, Oded Maler: As Soon as Possible: Time Optimal Control for Timed Automata. HSCC 1999: 19-30
1998
9	EE	Eugene Asarin, Oded Maler, Amir Pnueli: On Discretization of Delays in Timed Automata and Digital Circuits. CONCUR 1998: 470-484
8		Eugene Asarin: Equations on Timed Languages. HSCC 1998: 1-12
7		Eugene Asarin, Oded Maler: Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. J. Comput. Syst. Sci. 57(3): 389-398 (1998)
1997
6		Eugene Asarin, Marius Bozga, Alain Kerbrat, Oded Maler, Amir Pnueli, Anne Rasse: Data-Structures for the Verification of Timed Automata. HART 1997: 346-360
5	EE	Eugene Asarin, Paul Caspi, Oded Maler: A Kleene Theorem for Timed Automata. LICS 1997: 160-171
1995
4		Eugene Asarin, Oded Maler: Achilles and the Tortoise Climbing Up the Arithmetical Hierarchy. FSTTCS 1995: 471-483
3	EE	Eugene Asarin, Oded Maler, Amir Pnueli: Reachability Analysis of Dynamical Systems Having Piecewise-Constant Derivatives. Theor. Comput. Sci. 138(1): 35-65 (1995)
1994
2		Eugene Asarin, Oded Maler, Amir Pnueli: Symbolic Controller Synthesis for Discrete and Timed Systems. Hybrid Systems 1994: 1-20
1		Eugene Asarin, Oded Maler: On some Relations between Dynamical Systems and Transition Systems. ICALP 1994: 59-72

Coauthor Index

1	Yasmina Abdeddaïm	[24] [31] [35]
2	Aurore Annichini	[12]
3	Sorav Bansal	[15]
4	Ahmed Bouajjani	[12] [13]
5	Olivier Bournez	[11]
6	Patricia Bouyer	[32]
7	Marius Bozga	[6] [20]
8	Thierry Cachat	[36]
9	Paul Caspi	[5] [16]
10	Pieter Collins	[30]
11	Scott Cotton	[29]
12	Thao Dang	[11] [15] [22] [25] [28] [34]
13	Catalin Dima	[17]
14	Bernard Espiau	[15]
15	Matthieu Gallien	[35]
16	Antoine Girard	[25] [34]
17	Félix Ingrand (François Felix Ingrand)	[35]
18	Navendu Jain	[20]
19	Alain Kerbrat	[6]
20	Charles Lesire	[35]
21	Vassily A. Lyubetsky	[36]
22	Moez Mahfoudh	[20]
23	Oded Maler	[1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [15] [16] [18] [20] [22] [24] [29] [31]
24	Peter Niebert	[20] [29]
25	Gordon J. Pace	[23] [37]
26	Amir Pnueli	[2] [3] [6] [9]
27	Anne Rasse	[6]
28	Gerardo Schneider	[14] [19] [21] [23] [33] [37]
29	Alexander Seliverstov	[36]
30	Mihaela Sighireanu	[35]
31	Tayssir Touili	[36]
32	Sergio Yovine	[14] [18] [19] [23] [33] [37]

Colors in the list of coauthors