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
International Conference on Concurrency Theory, 66-80, 2005
3202005
Uppaal-tiga: Time for playing games!
G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime
International Conference on Computer Aided Verification, 121-125, 2007
2942007
Updatable timed automata
P Bouyer, C Dufourd, E Fleury, A Petit
Theoretical Computer Science 321 (2-3), 291-345, 2004
1262004
Optimal strategies in priced timed game automata
P Bouyer, F Cassez, E Fleury, KG Larsen
International Conference on Foundations of Software Technology andá…, 2004
1212004
Are timed automata updatable?
P Bouyer, C Dufourd, E Fleury, A Petit
International Conference on Computer Aided Verification, 464-479, 2000
1132000
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
942003
Expressiveness of updatable timed automata
P Bouyer, C Dufourd, E Fleury, A Petit
International Symposium on Mathematical Foundations of Computer Science, 232-242, 2000
612000
Using IDDs for Packet Filtering
M Christiansen, E Fleury
BRICS, Department of Computer Science, Univ., 2002
362002
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
An MTIDD based firewall
M Christiansen, E Fleury
Telecommunication Systems 27 (2-4), 297-319, 2004
292004
An interval decision diagram based firewall
M Christiansen, E Fleury
222004
Accelerating interpolation-based model-checking
N Caniart, E Fleury, J Leroux, M Zeitoun
International Conference on Tools and Algorithms for the Construction andá…, 2008
182008
UPPAAL-Tiga: Timed games for everyone
G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime
162006
Les automates temporisÚs avec mises Ó jour
E Fleury
92002
UPPAAL TIGA user-manual
G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime
Aalborg University, 2007
82007
Insight: An open binary analysis framework
E Fleury, O Ly, G Point, A Vincent
International Conference on Tools and Algorithms for the Construction andá…, 2015
42015
Improving firewalls using bric (k) s
M Christiansen, E Fleury
BRICS Newsletter 11, 56-59, 2001
42001
SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software
P Arberet, J Bodeviex, F Boniol, J Buisson, G Cannenterre, D Chemouil, ...
12010
Digital Currencies: Algorithms and Protocols
╔ Alfieri, E Fleury
2017
INSIGHT Interactive Inspector
E Fleury, G Point, A Vincent
2011
The system can't perform the operation now. Try again later.
Articles 1–20