Aller au contenu principal
Emmanuel Fleury
- Maître de Conférences
- Université de Bordeaux
- Département
- M2F
- Équipe
- Modèles et Technologies pour la Vérification
- Fonction administrative
- .
- Page personnelle
- http://www.labri.fr/~fleury/
- Adresse E-mail
- emmanuel.fleury
labri.fr - Bureau
- 261
- Tel
- +33 (0)5 40 00 69 34
Extrait de 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,