Didier Lime

2009
17	EE	Didier Lime, Olivier H. Roux, Charlotte Seidner, Louis-Marie Traonouez: Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches. TACAS 2009: 54-57
2008
16	EE	Louis-Marie Traonouez, Didier Lime, Olivier H. Roux: Parametric Model-Checking of Time Petri Nets with Stopwatches Using the State-Class Graph. FORMATS 2008: 280-294
15	EE	Morgan Magnin, Didier Lime, Olivier H. Roux: Symbolic State Space of Stopwatch Petri Nets with Discrete-Time Semantics (Theory Paper). Petri Nets 2008: 307-326
14	EE	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: When are Timed Automata weakly timed bisimilar to Time Petri Nets? Theor. Comput. Sci. 403(2-3): 202-220 (2008)
2007
13	EE	Franck Cassez, Alexandre David, Kim Guldstrand Larsen, Didier Lime, Jean-François Raskin: Timed Control with Observation Based and Stuttering Invariant Strategies. ATVA 2007: 192-206
12	EE	Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime: UPPAAL-Tiga: Time for Playing Games! CAV 2007: 121-125
11	EE	Bernard Berthomieu, Didier Lime, Olivier H. Roux, François Vernadat: Reachability Problems and Abstract State Spaces for Time Petri Nets with Stopwatches. Discrete Event Dynamic Systems 17(2): 133-158 (2007)
2006
10	EE	Didier Lime, Olivier H. Roux: Model Checking of Time Petri Nets Using the State Class Timed Automaton. Discrete Event Dynamic Systems 16(2): 179-205 (2006)
9	EE	Morgan Magnin, Didier Lime, Olivier H. Roux: An Efficient Method for Computing Exact State Space of Petri Nets With Stopwatches. Electr. Notes Theor. Comput. Sci. 144(3): 59-77 (2006)
8	EE	Didier Lime, Olivier H. Roux: Vérification formelle des systèmes temps-réel avec ordonnancement préemptif. Technique et Science Informatiques 25(3): 343-370 (2006)
2005
7	EE	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: Comparison of Different Semantics for Time Petri Nets. ATVA 2005: 293-307
6	EE	Guillaume Gardey, Didier Lime, Morgan Magnin, Olivier H. Roux: Romeo: A Tool for Analyzing Time Petri Nets. CAV 2005: 418-423
5	EE	Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime: Efficient On-the-Fly Algorithms for the Analysis of Timed Games. CONCUR 2005: 66-80
4	EE	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: Comparison of the Expressiveness of Timed Automata and Time Petri Nets. FORMATS 2005: 211-225
3	EE	Béatrice Bérard, Franck Cassez, Serge Haddad, Didier Lime, Olivier H. Roux: When Are Timed Automata Weakly Timed Bisimilar to Time Petri Nets? FSTTCS 2005: 273-284
2004
2	EE	Olivier H. Roux, Didier Lime: Time Petri Nets with Inhibitor Hyperarcs. Formal Semantics and State Space Computation. ICATPN 2004: 371-390
1	EE	Didier Lime, Olivier H. Roux: A Translation Based Method for the Timed Analysis of Scheduling Extended Time Petri Nets. RTSS 2004: 187-196

Coauthor Index

1	Gerd Behrmann	[12]
2	Béatrice Bérard	[3] [4] [7] [14]
3	Bernard Berthomieu	[11]
4	Franck Cassez	[3] [4] [5] [7] [13] [14]
5	Agnès Cougnard	[12]
6	Alexandre David	[5] [12] [13]
7	Emmanuel Fleury	[5] [12]
8	Guillaume Gardey	[6]
9	Serge Haddad	[3] [4] [7] [14]
10	Kim Guldstrand Larsen	[5] [12] [13]
11	Morgan Magnin	[6] [9] [15]
12	Jean-François Raskin	[13]
13	Olivier H. Roux (Olivier Roux)	[1] [2] [3] [4] [6] [7] [8] [9] [10] [11] [14] [15] [16] [17]
14	Charlotte Seidner	[17]
15	Louis-Marie Traonouez	[16] [17]
16	François Vernadat	[11]