Emmanuel Fleury
Emmanuel Fleury
Associate Professor, University of Bordeaux
Geverifieerd e-mailadres voor u-bordeaux.fr - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
3442005
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
3262007
Updatable timed automata
P Bouyer, C Dufourd, E Fleury, A Petit
Theoretical Computer Science 321 (2-3), 291-345, 2004
1352004
Optimal strategies in priced timed game automata
P Bouyer, F Cassez, E Fleury, KG Larsen
International Conference on Foundations of Software Technology andá…, 2004
1272004
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
1052003
Expressiveness of updatable timed automata
P Bouyer, C Dufourd, E Fleury, A Petit
International Symposium on Mathematical Foundations of Computer Science, 232-242, 2000
602000
Using IDDs for Packet Filtering
M Christiansen, E Fleury
BRICS, Department of Computer Science, Univ., 2002
482002
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 (2), 297-319, 2004
282004
An interval decision diagram based firewall
M Christiansen, E Fleury
3rd IEEE International Conference on Networking (ICN'04), 2004
232004
Accelerating interpolation-based model-checking
N Caniart, E Fleury, J Leroux, M Zeitoun
International Conference on Tools and Algorithms for the Construction andá…, 2008
202008
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
162006
Les automates temporisÚs avec mises Ó jour
E Fleury
╔cole normale supÚrieure de Cachan-ENS Cachan, 2002
102002
UPPAAL TIGA user-manual
G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime
Aalborg University, 2007
92007
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
52015
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
SPaCIFY: a Formal Model-Driven Engineering for Spacecraft On-Board Software
P Arberet, J Bodeviex, F Boniol, J Buisson, G Cannenterre, D Chemouil, ...
ERTS2 2010, Embedded Real Time Software & Systems, 2010
12010
Digital Currencies: Algorithms and Protocols
╔ Alfieri, E Fleury
2017
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20