Emmanuel Fleury

Publication Activity (10 Years)

Years Active: 2000-2015
Publications (10 Years): 1

Top Topics

Clustering Algorithm

Conceptual Framework

Top Venues

Publications

Emmanuel Fleury, Olivier Ly, Gérald Point, Aymeric Vincent
Insight: An Open Binary Analysis Framework. TACAS (2015)
Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun
Accelerating Interpolation-Based Model-Checking. TACAS (2008)
Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
UPPAAL-Tiga: Time for Playing Games! CAV (2007)
Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen
Synthesis of Optimal Strategies Using HyTech. Electron. Notes Theor. Comput. Sci. 119 (1) (2005)
Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
Efficient On-the-Fly Algorithms for the Analysis of Timed Games. CONCUR (2005)
Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit
Updatable timed automata. Theor. Comput. Sci. 321 (2-3) (2004)
Mikkel Christiansen, Emmanuel Fleury
An MTIDD Based Firewall. Telecommun. Syst. 27 (2-4) (2004)
Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen
Optimal Strategies in Priced Timed Game Automata. FSTTCS (2004)
Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen
Static Guard Analysis in Timed Automata Verification. TACAS (2003)
Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit
Are Timed Automata Updatable? CAV (2000)
Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit
Expressiveness of Updatable Timed Automata. MFCS (2000)