| 2007 |
|---|
| 12 | 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 |
| 11 | 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 |
| 10 | 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 |
|---|
| 9 | 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) |
| 8 | 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) |
| 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 |
