Are Timed Automata Updatable? - Patricia Bouyer; Catherine Dufourd; Emmanuel Fleury; Antoine Petit 001 (CAV, 2000)

Expressiveness of Updatable Timed Automata. - Patricia Bouyer; Catherine Dufourd; Emmanuel Fleury; Antoine Petit 001 (MFCS, 2000)

Static Guard Analysis in Timed Automata Verification. - Gerd Behrmann; Patricia Bouyer; Emmanuel Fleury; Kim Guldstrand Larsen (TACAS, 2003)

Optimal Strategies in Priced Timed Game Automata. - Patricia Bouyer; Franck Cassez; Emmanuel Fleury; Kim Guldstrand Larsen (FSTTCS, 2004)

Synthesis of Optimal Strategies Using HyTech. - Patricia Bouyer; Franck Cassez; Emmanuel Fleury; Kim Guldstrand Larsen (GDV@CAV, 2004)

Updatable timed automata. - Patricia Bouyer; Catherine Dufourd; Emmanuel Fleury; Antoine Petit 001 (Theor. Comput. Sci., 2004)

An MTIDD Based Firewall. - Mikkel Christiansen; Emmanuel Fleury (Telecommun. Syst., 2004)

Efficient On-the-Fly Algorithms for the Analysis of Timed Games. - Franck Cassez; Alexandre David; Emmanuel Fleury; Kim Guldstrand Larsen; Didier Lime (CONCUR, 2005)

UPPAAL-Tiga: Time for Playing Games! - Gerd Behrmann; Agnès Cougnard; Alexandre David; Emmanuel Fleury; Kim Guldstrand Larsen; Didier Lime (CAV, 2007)

Accelerating Interpolation-Based Model-Checking. - Nicolas Caniart; Emmanuel Fleury; Jérôme Leroux; Marc Zeitoun (TACAS, 2008)

Insight: An Open Binary Analysis Framework. - Emmanuel Fleury; Olivier Ly; Gérald Point; Aymeric Vincent (TACAS, 2015)