Emmanuel Fleury

According to our database, Emmanuel Fleury authored at least 11 papers between 2000 and 2015.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2015

Insight: An Open Binary Analysis Framework.

Emmanuel Fleury, Olivier Ly, Gérald Point, Aymeric Vincent

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

2008

Accelerating Interpolation-Based Model-Checking.

Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2008

2007

UPPAAL-Tiga: Time for Playing Games!

Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2005

Efficient On-the-Fly Algorithms for the Analysis of Timed Games.

Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

2004

An MTIDD Based Firewall.

Mikkel Christiansen, Emmanuel Fleury

Telecommun. Syst., 2004

Updatable timed automata.

Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit

Theor. Comput. Sci., 2004

Synthesis of Optimal Strategies Using HyTech.

Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen

Proceedings of the Workshop on Games in Design and Verification, 2004

Optimal Strategies in Priced Timed Game Automata.

Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen

Proceedings of the FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science, 2004

2003

Static Guard Analysis in Timed Automata Verification.

Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2003

2000

Expressiveness of Updatable Timed Automata.

Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit

Proceedings of the Mathematical Foundations of Computer Science 2000, 2000

Are Timed Automata Updatable?

Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit

Proceedings of the Computer Aided Verification, 12th International Conference, 2000