Follow
Emmanuel Fleury
Emmanuel Fleury
Associate Professor, University of Bordeaux
Verified email at u-bordeaux.fr - Homepage
Title
Cited by
Cited by
Year
Efficient on-the-fly algorithms for the analysis of timed games
F Cassez, A David, E Fleury, KG Larsen, D Lime
CONCUR 2005–Concurrency Theory: 16th International Conference, CONCUR 2005 …, 2005
3902005
UPPAAL-Tiga: Time for Playing Games! (Tool Paper)
G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
3742007
Updatable timed automata
P Bouyer, C Dufourd, E Fleury, A Petit
Theoretical Computer Science 321 (2-3), 291-345, 2004
1432004
Optimal strategies in priced timed game automata
P Bouyer, F Cassez, E Fleury, KG Larsen
International Conference on Foundations of Software Technology and …, 2004
1382004
Are timed automata updatable?
P Bouyer, C Dufourd, E Fleury, A Petit
Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000
1162000
Static guard analysis in timed automata verification
G Behrmann, P Bouyer, E Fleury, KG Larsen
International Conference on Tools and Algorithms for the Construction and …, 2003
1132003
Using IDDs for Packet Filtering
M Christiansen, E Fleury
BRICS, Department of Computer Science, Univ., 2002
792002
Expressiveness of updatable timed automata
P Bouyer, C Dufourd, E Fleury, A Petit
International Symposium on Mathematical Foundations of Computer Science, 232-242, 2000
652000
An MTIDD based firewall
M Christiansen, E Fleury
Telecommunication Systems 27, 297-319, 2004
312004
Synthesis of optimal strategies using HyTech
P Bouyer, F Cassez, E Fleury, KG Larsen
Electronic Notes in Theoretical Computer Science 119 (1), 11-31, 2005
302005
Accelerating interpolation-based model-checking
N Caniart, E Fleury, J Leroux, M Zeitoun
International Conference on Tools and Algorithms for the Construction and …, 2008
262008
An interval decision diagram based firewall
M Christiansen, E Fleury
3rd IEEE International Conference on Networking (ICN'04), 2004
242004
UPPAAL-Tiga: Timed games for everyone
G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime
Nordic Workshop on Programming Theory (NWPT'06), 2006
172006
Uppaal tiga user-manual
G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime
Aalborg University, 2007
142007
Les automates temporisés avec mises à jour
E Fleury
École normale supérieure de Cachan-ENS Cachan, 2002
112002
Insight: An open binary analysis framework
E Fleury, O Ly, G Point, A Vincent
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
82015
Improving firewalls using bric (k) s
M Christiansen, E Fleury
BRICS Newsletter 11, 56-59, 2001
42001
Binary Program Analysis: Theory and Practice
E Fleury, G Point, A Vincent
URL http://www-verimag. imag. fr/async/CCIS/talk13/Fleury. pdf, 2013
22013
UPPAAL-Tiga: Timed Games for Everyone
A David, KG Larsen, G Behrmann, E Fleury, D Lime, A Cougnard
Proceedings of the 18th Nordic Workshop on Programming Theory, 2006
22006
SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software
P Arberet, JP Bodeviex, F Boniol, J Buisson, G Cannenterre, D Chemouil, ...
ERTS2 2010, Embedded Real Time Software & Systems, 2010
12010
The system can't perform the operation now. Try again later.
Articles 1–20