Emmanuel Fleury

Emmanuel Fleury
Maître de Conférences
Université de Bordeaux
Department
M2F
Team
Modèles et Technologies pour la Vérification
Administrative function
.
Personal page
http://www.labri.fr/~fleury/
E-mail address
emmanuel.fleury[at]labri.fr
Office
261
Tel
+33 (0)5 40 00 69 34

Excerpt from publications

  • Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun. Accelerating Interpolation-Based Model-Checking. 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'08), 2008, Budapest, Hungary. pp.428-442,
  • Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, et al.. UPPAAL-Tiga: Time for Playing Games!. 19th International Conference on Computer Aided Verification (CAV07), 2007, Berlin, Germany. pp.121-125,
  • Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, et al.. UPPAAL-Tiga: Timed Games for Everyone. Nordic Workshop on Programming Theory (NWPT'06), 2006, Reykjavik, Iceland.
  • Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime. Efficient On-the-fly Algorithms for the Analysis of Timed Games. 16th International Conference on Concurrency Theory (CONCUR'05), 2005, San Francisco, United States. pp.66-80,