2008 |
10 | EE | Nicolas Caniart,
Emmanuel Fleury,
Jérôme Leroux,
Marc Zeitoun:
Accelerating Interpolation-Based Model-Checking.
TACAS 2008: 428-442 |
2007 |
9 | 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 |
2005 |
8 | 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 |
7 | EE | Patricia Bouyer,
Franck Cassez,
Emmanuel Fleury,
Kim Guldstrand Larsen:
Synthesis of Optimal Strategies Using HyTech.
Electr. Notes Theor. Comput. Sci. 119(1): 11-31 (2005) |
2004 |
6 | EE | Patricia Bouyer,
Franck Cassez,
Emmanuel Fleury,
Kim Guldstrand Larsen:
Optimal Strategies in Priced Timed Game Automata.
FSTTCS 2004: 148-160 |
5 | EE | Mikkel Christiansen,
Emmanuel Fleury:
An MTIDD Based Firewall.
Telecommunication Systems 27(2-4): 297-319 (2004) |
4 | EE | Patricia Bouyer,
Catherine Dufourd,
Emmanuel Fleury,
Antoine Petit:
Updatable timed automata.
Theor. Comput. Sci. 321(2-3): 291-345 (2004) |
2003 |
3 | EE | Gerd Behrmann,
Patricia Bouyer,
Emmanuel Fleury,
Kim Guldstrand Larsen:
Static Guard Analysis in Timed Automata Verification.
TACAS 2003: 254-277 |
2000 |
2 | | Patricia Bouyer,
Catherine Dufourd,
Emmanuel Fleury,
Antoine Petit:
Are Timed Automata Updatable?
CAV 2000: 464-479 |
1 | EE | Patricia Bouyer,
Catherine Dufourd,
Emmanuel Fleury,
Antoine Petit:
Expressiveness of Updatable Timed Automata.
MFCS 2000: 232-242 |