Journal

  1. Mikkel Christiansen and Emmanuel Fleury. An MTIDD based firewall using decision diagrams for packet filtering. Telecommunication Systems, 27(2-4):297–319, October 2004. PDF
  2. Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, and Antoine Petit. Updatable timed automata. Theoretical Computer Science, 321(2–3):291–345, August 2004. PDF

Conference

  1. Nicolas Caniart, Emmanuel Fleury, Jérôme Leroux, and Marc Zeitoun. Accelerating interpolation-based model-checking. In Proceedings of the 14th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'08), volume 4963 of Lecture Notes in Computer Science, 428–442. Budapest, Hungary, April 2008. Springer. PDF
  2. Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim G. Larsen, and Didier Lime. UPPAAL-Tiga: time for playing games! In Proceedings of the 19th International Conference on Computer Aided Verification (CAV'07), volume 4590 of Lecture Notes in Computer Science, 121–125. Berlin, Germany, July 2007. Springer. PDF
  3. Gerd Behrmann, Agnès Cougnard, Alexandre David, Emmanuel Fleury, Kim G. Larsen, and Didier Lime. UPPAAL-Tiga: timed games for everyone. In Proceedings of the 18th Nordic Workshop on Programming Theory (NWPT'06). Reykjavik, Iceland, October 2006. Reykjavik University. PDF
  4. Franck Cassez, Alexandre David, Emmanuel Fleury, Kim G. Larsen, and Didier Lime. Efficient on-the-fly algorithms for the analysis of timed games. In Proceedings of the 16th International Conference on Concurrency Theory (CONCUR'05), volume 3653 of Lecture Notes in Computer Science, 66–80. San Francisco, CA, USA, August 2005. Springer. PDF
  5. Patricia Bouyer, Franck Cassez, Emmanuel Fleury, and Kim G. Larsen. Synthesis of optimal strategies using HyTech. In Proceedings of the Workshop on Games in Design and Verification (GDV'04), volume 119 of Electronic Notes in Theoretical Computer Science, 11–31. Boston, Massachusetts, USA, February 2005. Elsevier Science Publishers. PDF
  6. Gerd Behrmann, Patricia Bouyer, Emmanuel Fleury, and Kim G. Larsen. Static guard analysis in timed automata verification. In Proceedings of the 9th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS'03), volume 2619 of Lecture Notes in Computer Science, 254–277. Warsaw, Poland, April 2003. Springer. PDF
  7. Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, and Antoine Petit. Expressiveness of updatable timed automata. In Proceedings of the 25th International Symposium on Mathematical Fundations of Computer Science (MFCS 2000), volume 1893 of Lecture Notes in Computer Science, 232–242. Bratislava, Slovakia, August 2000. Springer. PDF
  8. Patricia Bouyer, Catherine Dufourd, Emmanuel Fleury, and Antoine Petit. Are timed automata updatable? In Proceedings of the 12th International Conference on Computer Aided Verification (CAV 2000), volume 1855 of Lecture Notes in Computer Science, 464–479. Chicago, Illinois, USA, July 2000. Springer. PDF

PhD Thesis

  1. Emmanuel Fleury. Les automates temporisés avec mises à jour. PhD thesis, Laboratoire Spécification et Vérification, ENS Cachan, France, December 2002. PDF

Technical Report

  1. Patricia Bouyer, Franck Cassez, Emmanuel Fleury, and Kim G. Larsen. Optimal strategies in priced timed game automata. Research Report RS-04-4, BRICS, Aalborg, Denmark, February 2004. PDF
  2. Mikkel Christiansen and Emmanuel Fleury. Using IDDs for packet filtering. Research Report RS-02-43, BRICS, Aalborg, Denmark, October 2002. PDF

Miscellaneous

  1. Emmanuel Fleury and Kristian Sørensen. Process-based access control framework. Invited Talk at the First Embedded Linux Conference (ELC'05), San Jose, CA, USA, January 2005. Slides

Unpublished

  1. Søren Nøhr Christensen, Emmanuel Fleury, Kristian Sørensen, and Michel Thrysøe. Process-based access control (PBAC). Aalborg, Denmark, 2005. PDF