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
4022005
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
3862007
Updatable timed automata
P Bouyer, C Dufourd, E Fleury, A Petit
Theoretical Computer Science 321 (2-3), 291-345, 2004
1482004
Optimal strategies in priced timed game automata
P Bouyer, F Cassez, E Fleury, KG Larsen
International Conference on Foundations of Software Technology and …, 2004
1422004
Are timed automata updatable?
P Bouyer, C Dufourd, E Fleury, A Petit
Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000
1182000
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
1172003
Using IDDs for Packet Filtering
M Christiansen, E Fleury
BRICS, Department of Computer Science, Univ., 2002
852002
Expressiveness of updatable timed automata
P Bouyer, C Dufourd, E Fleury, A Petit
International Symposium on Mathematical Foundations of Computer Science, 232-242, 2000
642000
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
312005
An MTIDD based firewall
M Christiansen, E Fleury
Telecommunication Systems 27, 297-319, 2004
312004
Accelerating interpolation-based model-checking
N Caniart, E Fleury, J Leroux, M Zeitoun
International Conference on Tools and Algorithms for the Construction and …, 2008
272008
An interval decision diagram based firewall
M Christiansen, E Fleury
3rd IEEE International Conference on Networking (ICN'04), 2004
232004
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
212006
Uppaal tiga user-manual
G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime
Aalborg University, 2007
152007
Les automates temporisés avec mises à jour
E Fleury
École normale supérieure de Cachan-ENS Cachan, 2002
122002
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
32013
SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software
P Arberet, JP Bodeveix, F Boniol, J Buisson, G Cannenterre, D Chemouil, ...
5th European Congress on Embedded Real Time Software and Systems (ERTS2 2010), 2010
12010
Digital Currencies: Algorithms and Protocols
É Alfieri, E Fleury
2017
The system can't perform the operation now. Try again later.
Articles 1–20