Eugene Asarin

	2009
39		Eugene Asarin, Aldric Degorre: Volume and Entropy of Regular Timed Languages: Discretization Approach. CONCUR 2009: 69-83
38		Eugene Asarin, Aldric Degorre: Volume and Entropy of Regular Timed Languages: Analytic Approach. FORMATS 2009: 13-27
	2008
37		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		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		Eugene Asarin, Thao Dang, Antoine Girard: Hybridization methods for the analysis of nonlinear systems. Acta Inf. 43(7): 451-476 (2007)
33		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		Yasmina Abdeddaïm, Eugene Asarin, Oded Maler: Scheduling with timed automata. Theor. Comput. Sci. 354(2): 272-300 (2006)
	2005
30		Eugene Asarin, Pieter Collins: Noisy Turing Machines. ICALP 2005: 1031-1042
	2004
29		Scott Cotton, Eugene Asarin, Oded Maler, Peter Niebert: Some Progress in Satisfiability Checking for Difference Logic. FORMATS/FTRTFT 2004: 263-276
28		Eugene Asarin, Thao Dang: Abstraction by Projection and Application to Multi-affine Systems. HSCC 2004: 32-47
27		Eugene Asarin: Challenges in Timed Languages: from applied theory to basic theory (Column: Concurrency). Bulletin of the EATCS 83: 106-120 (2004)
	2003
26		Eugene Asarin: Timed Automata and Timed Languages Challenges and Open Problems. FORMATS 2003: 1
25		Eugene Asarin, Thao Dang, Antoine Girard: Reachability Analysis of Nonlinear Systems Using Conservative Approximation . HSCC 2003: 20-35
24		Yasmina Abdeddaïm, Eugene Asarin, Oded Maler: On Optimal Scheduling under Uncertainty. TACAS 2003: 240-253
	2002
23		Eugene Asarin, Gordon J. Pace, Gerardo Schneider, Sergio Yovine: SPeeDI - A Verification Tool for Polygonal Hybrid Systems. CAV 2002: 354-358
22		Eugene Asarin, Thao Dang, Oded Maler: The d/dt Tool for Verification of Hybrid Systems. CAV 2002: 365-370
21		Eugene Asarin, Gerardo Schneider: Widening the Boundary between Decidable and Undecidable Hybrid Systems. CONCUR 2002: 193-208
20		Peter Niebert, Moez Mahfoudh, Eugene Asarin, Marius Bozga, Oded Maler, Navendu Jain: Verification of Timed Automata via Satisfiability Checking. FTRTFT 2002: 225-244
19		Eugene Asarin, Gerardo Schneider, Sergio Yovine: Towards Computing Phase Portraits of Polygonal Differential Inclusions. HSCC 2002: 49-61
18		Eugene Asarin, Oded Maler, Sergio Yovine: Preface. Electr. Notes Theor. Comput. Sci. 65(6): (2002)
17		Eugene Asarin, Catalin Dima: Balanced timed regular expressions. Electr. Notes Theor. Comput. Sci. 68(5): (2002)
16		Eugene Asarin, Paul Caspi, Oded Maler: Timed regular expressions. J. ACM 49(2): 172-206 (2002)
	2001
15		Eugene Asarin, Sorav Bansal, Bernard Espiau, Thao Dang, Oded Maler: On Hybrid Control of Under-Actuated Mechanical Systems. HSCC 2001: 77-88
14		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		Eugene Asarin, Thao Dang, Oded Maler, Olivier Bournez: Approximate Reachability Analysis of Piecewise-Linear Dynamical Systems. HSCC 2000: 20-31
	1999
10		Eugene Asarin, Oded Maler: As Soon as Possible: Time Optimal Control for Timed Automata. HSCC 1999: 19-30
	1998
9		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		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		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	Aldric Degorre	[38] [39]
14	Catalin Dima	[17]
15	Bernard Espiau	[15]
16	Matthieu Gallien	[35]
17	Antoine Girard	[25] [34]
18	Félix Ingrand (François Felix Ingrand)	[35]
19	Navendu Jain	[20]
20	Alain Kerbrat	[6]
21	Charles Lesire	[35]
22	Vassily A. Lyubetsky	[36]
23	Moez Mahfoudh	[20]
24	Oded Maler	[1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [15] [16] [18] [20] [22] [24] [29] [31]
25	Peter Niebert	[20] [29]
26	Gordon J. Pace	[23] [37]
27	Amir Pnueli	[2] [3] [6] [9]
28	Anne Rasse	[6]
29	Gerardo Schneider	[14] [19] [21] [23] [33] [37]
30	Alexander Seliverstov	[36]
31	Mihaela Sighireanu	[35]
32	Tayssir Touili	[36]
33	Sergio Yovine	[14] [18] [19] [23] [33] [37]

Colors in the list of coauthors