Emmanuel Fleury
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
4
Active years
2000–2015
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2015 | TACAS | Insight: An Open Binary Analysis Framework. | Emmanuel Fleury, Olivier Ly, Grald Point, Aymeric Vincent |
| 2008 | TACAS | Accelerating Interpolation-Based Model-Checking. | Nicolas Caniart, Emmanuel Fleury, Jrme Leroux, Marc Zeitoun |
| 2007 | CAV | UPPAAL-Tiga: Time for Playing Games! | Gerd Behrmann, Agns Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime |
| 2005 | CONCUR | Efficient On-the-Fly Algorithms for the Analysis of Timed Games. | Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime |
| 2003 | TACAS | Static Guard Analysis in Timed Automata Verification. | Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen |
| 2000 | CAV | Are Timed Automata Updatable? | Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit |
| 2000 | MFCS | Expressiveness of Updatable Timed Automata. | Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit |