- CSB - MetaPress - Google - Bing - Yahoo
 | 2008 | |
|---|---|---|
| c7 |      | Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun: Accelerating Interpolation-Based Model-Checking. TACAS 2008: 428-442 |
| 2007 | ||
| c6 | | 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 | ||
| j3 | | 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) |
| c5 | | 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 |
| 2004 | ||
| j2 | | Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit: Updatable timed automata. Theor. Comput. Sci. 321(2-3): 291-345 (2004) |
| j1 | | Mikkel Christiansen, Emmanuel Fleury: An MTIDD Based Firewall. Telecommunication Systems 27(2-4): 297-319 (2004) |
| c4 | | Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen: Optimal Strategies in Priced Timed Game Automata. FSTTCS 2004: 148-160 |
| 2003 | ||
| c3 | | Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen: Static Guard Analysis in Timed Automata Verification. TACAS 2003: 254-277 |
| 2000 | ||
| c2 | | Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit: Are Timed Automata Updatable? CAV 2000: 464-479 |
| c1 | | Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit: Expressiveness of Updatable Timed Automata. MFCS 2000: 232-242 |
| 1 | Gerd Behrmann | |
| 2 | Patricia Bouyer (Patricia Bouyer-Decitre) | |
| 3 | Nicolas Caniart | |
| 4 | Franck Cassez | |
| 5 | Mikkel Christiansen | |
| 6 | Agnès Cougnard | |
| 7 | Alexandre David | |
| 8 | Catherine Dufourd | |
| 9 | Kim Guldstrand Larsen (Kim G. Larsen) | |
| 10 | Jérôme Leroux | |
| 11 | Didier Lime | |
| 12 | Antoine Petit | |
| 13 | Marc Zeitoun |
Colors in the list of coauthors
Last update Wed May 22 14:22:15 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page