Academic Journals

2012

  1. Sifakis Emmanuel, Mounier Laurent. Politiques de gestion de protections pour l'implémentation de sections critiques. Techniques et Sciences Informatiques, 31(8):1153-1181, 2012. (more) download
  2. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. What can you verify and enforce at runtime?. STTT, 14(3):349-382, 2012. (more)
  3. Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More testable properties. STTT, 14(4):407-437, 2012. (more)

2011

  1. Ylies Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. Runtime enforcement monitors: composition, synthesis, and enforcement abilities. Formal Methods in System Design, 38(3):223-262, 2011. (more) pdf

2006

  1. Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier. Tester la conformité d'un réseau à une politique de sécurité. Revue de l'electricité et de l'Electronique (REE), 6, 2006. (more)

2000

  1. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Claude Jard, Thierry Jéron, Alain Kerbrat, Pierre Morel, Laurent Mounier. Verification and test generation for the SSCOP protocol. Sci. Comput. Program, 36(1):27-52, 2000. (more) doi pdf

1997

  1. Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier. Protocol Verification with the Aldebaran Toolset. Software Tools for Technology Transfer, 1(1):166-183, December 1997. (more) pdf

1996

  1. Hubert Garavel, Laurent Mounier. Specification and Verification of various Distributed Leader Election Algorithms for Unidirectional Ring Networks. Science of Computer Programming, Special issue on Industrially Relevant Applications of Formal Analysis Techniques. Full version available as INRIA Research Report 2986, 1996. (more) pdf

1992

  1. Jean-CLaude Fernandez, Claude Jard, Thierry Jéron, Laurent Mounier. `On the Fly'' Verification of Finite Transition Systems. Formal Methods in System Design, 1992. (more) pdf