Emmanuel Fleury

12 papers A* 3A 3B 2Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
2025 A* conf
Nothing is Unreachable: Automated Synthesis of Robust Code-Reuse Gadget Chains for Arbitrary Exploitation Primitives.
USENIX Security Symposium
Nicolas Bailluet, Emmanuel Fleury, Isabelle Puaut, Erven Rohou
2015 A conf
Insight: An Open Binary Analysis Framework.
TACAS
Emmanuel Fleury, Olivier Ly, Gérald Point, Aymeric Vincent
2008 A conf
Accelerating Interpolation-Based Model-Checking.
TACAS
Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, Marc Zeitoun
2007 A* conf
UPPAAL-Tiga: Time for Playing Games!
CAV
Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
2005 B conf
Efficient On-the-Fly Algorithms for the Analysis of Timed Games.
CONCUR
Franck Cassez, Alexandre David, Emmanuel Fleury, Kim Guldstrand Larsen, Didier Lime
2004 J jnl
An MTIDD Based Firewall.
Telecommun. Syst.
Mikkel Christiansen, Emmanuel Fleury
2004 — conf
Optimal Strategies in Priced Timed Game Automata.
FSTTCS
Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen
2004 — conf
Synthesis of Optimal Strategies Using HyTech.
GDV@CAV
Patricia Bouyer, Franck Cassez, Emmanuel Fleury, Kim Guldstrand Larsen
2004 J jnl
Updatable timed automata.
Theor. Comput. Sci.
Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit
2003 A conf
Static Guard Analysis in Timed Automata Verification.
TACAS
Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, Kim Guldstrand Larsen
2000 A* conf
Are Timed Automata Updatable?
CAV
Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit
2000 B conf
Expressiveness of Updatable Timed Automata.
MFCS
Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, Antoine Petit