Eugene Asarin

	2012
48		Eugene Asarin: Measuring Information in Timed Languages. LATA 2012: 1-2
47		Eugene Asarin, Venkatesh Mysore, Amir Pnueli, Gerardo Schneider: Low dimensional hybrid systems - decidable, undecidable, don't know. Inf. Comput. 211: 138-159 (2012)
	2011
46		Nicolas Basset, Eugene Asarin: Thin and Thick Timed Regular Languages. FORMATS 2011: 113-128
45		Eugene Asarin, Alexandre Donzé, Oded Maler, Dejan Nickovic: Parametric Identification of Temporal Properties. RV 2011: 147-160
	2010
44		Eugene Asarin, Thao Dang, Oded Maler, Romain Testylier: Using Redundant Constraints for Refinement. ATVA 2010: 37-51
43		Eugene Asarin, Raphaël Chane-Yack-Fa, Daniele Varacca: Fair Adversaries and Randomization in Two-Player Games. FOSSACS 2010: 64-78
42		Eugene Asarin, Aldric Degorre: Two Size Measures for Timed Languages. FSTTCS 2010: 376-387
41		Eugene Asarin, Catalin Dima: On the computation of covert channel capacity. RAIRO - Theor. Inf. and Applic. 44(1): 37-58 (2010)
	2009
40		Eugene Asarin, Aldric Degorre: Volume and Entropy of Regular Timed Languages: Discretization Approach. CONCUR 2009: 69-83
39		Eugene Asarin, Aldric Degorre: Volume and Entropy of Regular Timed Languages: Analytic Approach. FORMATS 2009: 13-27
38		Yasmina Abdeddaïm, Eugene Asarin, Mihaela Sighireanu: Simple Algorithm for Simple Timed Games. TIME 2009: 99-106
	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): 273-274 (2002)
17		Eugene Asarin, Catalin Dima: Balanced timed regular expressions. Electr. Notes Theor. Comput. Sci. 68(5): 16-33 (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] [38]
2	Aurore Annichini	[12]
3	Sorav Bansal	[15]
4	Nicolas Basset	[46]
5	Ahmed Bouajjani	[12] [13]
6	Olivier Bournez	[11]
7	Patricia Bouyer (Patricia Bouyer-Decitre)	[32]
8	Marius Bozga	[6] [20]
9	Thierry Cachat	[36]
10	Paul Caspi	[5] [16]
11	Raphaël Chane-Yack-Fa	[43]
12	Pieter Collins	[30]
13	Scott Cotton	[29]
14	Thao Dang	[11] [15] [22] [25] [28] [34] [44]
15	Aldric Degorre	[39] [40] [42]
16	Catalin Dima	[17] [41]
17	Alexandre Donzé	[45]
18	Bernard Espiau	[15]
19	Matthieu Gallien	[35]
20	Antoine Girard	[25] [34]
21	Félix Ingrand (François Felix Ingrand)	[35]
22	Navendu Jain	[20]
23	Alain Kerbrat	[6]
24	Charles Lesire	[35]
25	Vassily A. Lyubetsky	[36]
26	Moez Mahfoudh	[20]
27	Oded Maler	[1] [2] [3] [4] [5] [6] [7] [9] [10] [11] [15] [16] [18] [20] [22] [24] [29] [31] [44] [45]
28	Venkatesh Mysore	[47]
29	Dejan Nickovic	[45]
30	Peter Niebert	[20] [29]
31	Gordon J. Pace	[23] [37]
32	Amir Pnueli	[2] [3] [6] [9] [47]
33	Anne Rasse	[6]
34	Gerardo Schneider	[14] [19] [21] [23] [33] [37] [47]
35	Alexander Seliverstov	[36]
36	Mihaela Sighireanu	[35] [38]
37	Romain Testylier	[44]
38	Tayssir Touili	[36]
39	Daniele Varacca	[43]
40	Sergio Yovine	[14] [18] [19] [23] [33] [37]

Colors in the list of coauthors

Last update Sat May 26 04:23:17 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page