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 | 408 | 2005 |
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 | 390 | 2007 |
Updatable timed automata P Bouyer, C Dufourd, E Fleury, A Petit Theoretical Computer Science 321 (2-3), 291-345, 2004 | 150 | 2004 |
Optimal strategies in priced timed game automata P Bouyer, F Cassez, E Fleury, KG Larsen International Conference on Foundations of Software Technology and …, 2004 | 142 | 2004 |
Are timed automata updatable? P Bouyer, C Dufourd, E Fleury, A Petit Computer Aided Verification: 12th International Conference, CAV 2000 …, 2000 | 118 | 2000 |
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 | 117 | 2003 |
Using IDDs for Packet Filtering M Christiansen, E Fleury BRICS, Department of Computer Science, Univ., 2002 | 87 | 2002 |
Expressiveness of updatable timed automata P Bouyer, C Dufourd, E Fleury, A Petit International Symposium on Mathematical Foundations of Computer Science, 232-242, 2000 | 64 | 2000 |
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 | 31 | 2005 |
An MTIDD based firewall M Christiansen, E Fleury Telecommunication Systems 27, 297-319, 2004 | 31 | 2004 |
Accelerating interpolation-based model-checking N Caniart, E Fleury, J Leroux, M Zeitoun International Conference on Tools and Algorithms for the Construction and …, 2008 | 27 | 2008 |
An interval decision diagram based firewall M Christiansen, E Fleury 3rd IEEE International Conference on Networking (ICN'04), 2004 | 23 | 2004 |
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 | 22 | 2006 |
Uppaal tiga user-manual G Behrmann, A Cougnard, A David, E Fleury, KG Larsen, D Lime Aalborg University, 2007 | 16 | 2007 |
Les automates temporisés avec mises à jour E Fleury École normale supérieure de Cachan-ENS Cachan, 2002 | 12 | 2002 |
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 | 8 | 2015 |
Improving firewalls using bric (k) s M Christiansen, E Fleury BRICS Newsletter 11, 56-59, 2001 | 4 | 2001 |
Binary Program Analysis: Theory and Practice E Fleury, G Point, A Vincent URL http://www-verimag. imag. fr/async/CCIS/talk13/Fleury. pdf, 2013 | 3 | 2013 |
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 | 1 | 2010 |
Digital Currencies: Algorithms and Protocols É Alfieri, E Fleury | | 2017 |