All the publications

Load the BibTeX file

Books

  1. 11th International SPIN Workshop on Model Checking of Software, 2004. Susanne Graf, Laurent Mounier (eds.), Lecture Notes in Computer Science, 2004. (more) download

Academic Journals

  1. Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier. What can you verify and enforce at runtime?. STTT, 14(3):349-382, 2012. (more)
  2. Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More testable properties. STTT, 14(4):407-437, 2012. (more)
  3. 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
  4. 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
  5. 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)
  6. 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
  7. 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
  8. 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
  9. 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

Book Chapters

  1. Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober. La bo\^ite à outils IF pour la modélisation et la vérification de systèmes temps réel. In Systèmes temps réel : Techniques de description et de vérification, Vol. 1, Chap. 9, Traité IC2, série Informatique et systèmes d'information, Hermes, Lavoisier, 2006. (more)

International Conferences

  1. Laurent Mounier, Emmanuel Sifakis. Dynamic Information-Flow Analysis for Multi-threaded Applications. In Proceedings of ISoLA, Tiziana Margaria, Bernhard Steffen (eds.), Lecture Notes in Computer Science, Volume 7609, Pages 358-371, Heraklion, Greece, 2012. (more) pdf
  2. Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier. A Taint Based Approach for Smart Fuzzing. In Proceedings of SecTest, Giuliano Antoniol, Antonia Bertolino, Yvan Labiche (eds.), Pages 818-825, 2012. (more) pdf
  3. Sanjay Rawat, Laurent Mounier. Finding Buffer Overflow Inducing Loops in Binary Executables. In Proceedings of Sixth International Conference on Software Security and Reliability (SERE), Pages 177-186, Gaithersburg, Maryland, USA, 2012. (more) pdf
  4. Sifakis Emmanuel, Mounier Laurent. Politiques de gestion de protections pour l'implémentation de sections critiques. In Actes des Rencontres du Parallélisme (RenPar), Saint Malo, France, 2011. (more) pdf
  5. Sanjay Rawat, Laurent Mounier. Offset-Aware Mutation based Fuzzing for Buffer Overflow Vulnerabilities: Few Preliminary Results. In Proc. of The Second International Workshop on Security Testing (SECTEST), 2011. (more) pdf
  6. Nicolas Berthier, Florence Maraninchi, Laurent Mounier. Synchronous Programming of Device Drivers for Global Resource Control in Embedded Operating Systems. In ACM SIGPLAN/SIGBED Conference on Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), Chicago, IL, USA, April 2011. (more)
  7. Dumitru Ceara, Laurent Mounier, Marie-Laure Potet. Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences. In ICSTW '10: Proceedings of the 2010 Third International Conference on Software Testing, Verification, and Validation Workshops, Pages 371-380, Washington, DC, USA, 2010. (more) doi pdf
  8. Sanjay Rawat, Laurent Mounier. An Evolutionary Computing Approach for Hunting Buffer Overflow Vulnerabilities: A case of aiming in dim light. In Proceedings of 6th EC2ND (European Conference on Computer Network Defense, Berlin, Germany, 2010. (more) pdf
  9. Ylies Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier. More Testable Properties. In Proceedings of ICTSS - 22nd IFIP WG 6.1 International Conference, Alexandre Petrenko, Adenilso da Silva Sim\ ao, José Carlos Maldonado (eds.), Lecture Notes in Computer Science, (best paper award), Volume 6435, Pages 30-46, Natal, Brazil, November 2010. (more) pdf
  10. Yliè Falcone, Jean-Claude Fernandez, Laurent Mounier. Runtime Verification of Safety Progress Properties. In Runtime Verification 2009, Lecture Notes in Computer Science, Volume, Grenoble, France, June 2009. (more) pdf
  11. Yliè Falcone, Jean-Claude Fernandez, Laurent Mounier. Enforcement Monitoring wrt. the Safety-Progress Classification of Properties. In Proceedings of the 24th Annual ACM Symposium on Applied Computing - Software Verification and Testing Track, 2009. (more) pdf
  12. Yliè Falcone, Jean-Claude Fernandez, Laurent Mounier. Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. In International Conference of Information System Security, Volume LNCS 5352, Pages 41-55, Hyderabad, India, December 2008. (more) pdf
  13. Yliè Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier. j-POST: a Java Toolchain for Property-Oriented Software Testing. In Model-Based Testing (MBT), Budapest, Hungaria, April 2008. (more) pdf
  14. Laurent Mounier, Ludovic Samper, Wassim Znaidi. Worst-case lifetime computation of a Wireless Sensor Network by model-checking. In Fourth ACM Workshop on Performance Evaluation of Wireless Ad Hoc, Sensor, and Ubiquitous Networks (PE-WASUN), Chania, Greece, October 2007. (more) pdf
  15. Keqin Li, Laurent Mounier, Roland Groz. Test Generation from Security Policies Specified in Or-BAC. In IEEE COMPSAC'07, Bejing, China, July 2007. (more)
  16. Ananda Basu, Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis. Using BIP for Modeling and Verification of Networked Systems - A Case Study on TinyOS-based Networks. In IEEE NCA'07, Cambridge, USA, July 2007. (more) pdf
  17. Yliè Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. A Compositional Testing Framework Driven by Partial Specifications.. In TESTCOM/FATES, June 2007. (more) pdf
  18. M. Dohler, D. Barthel, F. Maraninchi, L. Mounier, S. Aubert, C. Dugas, A. Buhrig, F. Paugnat, M. Renaudin, A. Duda, M. Heusse, F. Valois. The ARESA Project: Facilitating Research, Development and Commercialization of WSNs. In IEEE SECON'07 (Fourth Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks), 2007. (more) pdf
  19. Yliè Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier. A Test Calculus Framework Applied to Network Security Policies.. In FATES/RV'06, Pages 55-69, Seattle, USA, July 2006. (more) pdf
  20. S. Bensalem, J.-C. Fernandez, K. Havelund, L. Mounier. Confirmation of Deadlock Potentials Detected by Runtime Analysis. In Parallel and Distributed Systems: Testing and Debugging 2006 (PADTAD'06), Seattle, (USA), July 2006. (more) pdf
  21. Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier. Test Generation for Network Security Rules. In TestCom'06, Pages 341-356, New York, USA, June 2006. (more) pdf
  22. Ludovic Samper, Florence Maraninchi, Laurent Mounier, Erwan Jahier, Pascal Raymond. On the Importance of Modeling the Environment when Analyzing Sensor Networks. In Proceedings of International Workshop on Wireless Ad-Hoc Networks 2006 (IWWAN 2006), New York (USA), June 2006. (more) pdf
  23. Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel. GLONEMO: Global and Accurate Formal Models for the Analysis of Ad-Hoc Sensor Networks. In Proceedings of the First International Conference on Integrated Internet Ad hoc and Sensor Networks (InterSense'06), Nice, France, May 2006. (more) pdf
  24. V. Darmaillacq, J-C. Fernandez, R. Groz, L. Mounier, J-L. Richier. Éléments de modélisation pour le test de politiques de sécurité. In Colloque sur les RIsques et la Sécurité d'Internet et des Systèmes, CRiSIS, Bourges, France, 2005. (more) pdf
  25. J.C. Fernandez, L. Mounier, C. Pachon. A model-based approach for robustness testing. In TestCom 2005, Montreal, Canada, June 2005. (more) pdf
  26. Jean-Claude. Fernandez, Laurent Mounier, Cyril Pachon. Property Oriented Test Case Generation. In Proceedings of FATES'03 (Satellite workshop of ASE'03), Montreal, Canada, 2003. (more) pdf
  27. Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Sirianni. Validation of asynchronous circuit specifications using IF/CADP. In IFIP Intl. Conference on VLSI, Darmstadt, Germany, December 2003. (more) pdf
  28. Menouer Boubekeur, Dominique Borrione, Laurent Mounier, Marc Renaudin, Antoine Sirianni. Modelling CHP descriptions in Labelled Transition Systems for an efficient formal validations of asynchronous circuit specifications. In Forum on Specification and Design Language (FDL'03), Frankfurt, Germany, September 2003. (more) pdf
  29. Marius Bozga, Susanne Graf, Laurent Mounier. IF-2.0: A Validation Environment for Component-Based Real-Time Systems. In Proceedings of CAV'02 (Copenhagen, Denmark), K.G. Larsen Ed Brinksma (ed.), LNCS, Volume 2404, Pages 343-348, July 2002. (more) pdf
  30. Marius Bozga, David Lesens, Laurent Mounier. Model-Checking Ariane-5 Flight Program. In Proceedings of FMICS'01 (Paris, France), Pages 211-227, 2001. (more) pdf
  31. Marius Bozga, Susanne Graf, Laurent Mounier. Automated validation of distributed software using the IF environment. In 2001 IEEE International Symposium on Network Computing and Applications (NCA 2001), 2001. (more) pdf
  32. Marius Bozga, Susanne Graf, Laurent Mounier. Automated validation of distributed software using the IF environment. In Workshop on Software Model-checking, associated with CAV 2001, Paris, Scott D. Stoller, Willem Visser (eds.), Electronic Notes in Theoretical Computer Science, Volume 55, July 2001. (more) pdf
  33. Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, J.L. Roux, Daniel Vincent. Timed Extensions for SDL. In Proceedings of SDL FORUM'01 (Copenhagen, Denmark), LNCS, Volume 2078, Pages 223-240, June 2001. (more) pdf
  34. Jean-Pierre Krimm, Laurent Mounier. Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. In Proceedings of TACAS'00, Pages 266-282, 2000. (more) pdf
  35. Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent. SDL for Real-Time: What is Missing?. In Proceedings of SAM'00: 2nd Workshop on SDL and MSC (Grenoble, France), Pages 108-122, June 2000. (more) pdf
  36. Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier, Joseph Sifakis. IF: An Intermediate Representation for SDL and its Applications. In Proceedings of SDL FORUM'99 (Montreal, Canada), R. Dssouli, G. Bochmann, Y. Lahav (eds.), Pages 423-440, June 1999. (more) pdf
  37. Jean-Pierre Krimm, Laurent Mounier. Compositional State Space Generation from Lotos Programs. In Proceedings of TACAS'97 (Tools and Algorithms for the Construction and Analysis of Systems), Enschede, The Netherlands, Ed Brinksma (ed.), LNCS, Extended version with proofs available as Research Report VERIMAG RR97-01, April 1997. (more) pdf
  38. Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian. Specification and Verification of the PowerScale Bus Arbitration Protocol: An Industrial Experiment with LOTOS. In Proceedings of the Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols, and Protocol Specification, Testing, and Verification FORTE/PSTV'96 (Kaiserslautern, Germany), Reinhard Gotzhein, Jan Bredereke (eds.), Full version available as INRIA Research Report 2958, October 1996. (more) pdf
  39. J.C. Fernandez, A. Kerbrat, L. Mounier. Symbolic Equivalence Checking. In Proceedings of the 5th Workshop on Computer-Aided Verification (Heraklion, Greece), C. Courcoubetis (ed.), LNCS, Volume 697, June 1993. (more) pdf
  40. Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodr\'\iguez, Joseph Sifakis. A Toolbox for the Verification of LOTOS Programs. In Proceedings of the 14th International Conference on Software Engineering ICSE'14 (Melbourne, Australia), Lori A. Clarke (ed.), Pages 246-259, May 1992. (more) pdf
  41. Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodr\'\iguez, Joseph Sifakis. Une boîte à outils pour la vérification de programmes LOTOS. In Actes du Colloque Francophone pour l'Ingénierie des Protocoles CFIP'91 (Pau, France), Omar Rafiq (ed.), Pages 479-500, September 1991. (more) pdf
  42. Jean-Claude Fernandez, Laurent Mounier. A Tool Set for Deciding Behavioral Equivalences. In Proceedings of CONCUR'91 (Amsterdam, The Netherlands), August 1991. (more) pdf
  43. Jean-Claude Fernandez, Laurent Mounier. ``On the Fly'' Verification of Behavioural Equivalences and Preorders. In Proceedings of the 3rd Workshop on Computer-Aided Verification (Aalborg, Denmark), K. G. Larsen (ed.), July 1991. (more) pdf
  44. Jean-Claude Fernandez, Laurent Mounier. Verifying Bisimulations ``On the Fly''. In Proceedings of the 3rd International Conference on Formal Description Techniques FORTE'90 (Madrid, Spain), Juan Quemada, José Manas, Enrique V\'azquez (eds.), November 1990. (more) pdf

Research Reports

  1. Jean-Claude Fernandez, Laurent Mounier Yliès Falcone. Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. Research Report Verimag, No 0, August 2008. (more) download
  2. Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier Ylies Falcone. j-POST: a Java Toolchain for Property-Oriented Software Testing. Research Report Verimag, No 0, April 2008. (more) download
  3. Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier Ylies Falcone. A Partial-Specification Driven Compositional Testing Method. Research Report Verimag, No 0, October 2007. (more) download
  4. Laurent Mounier, Marc Poulhiès, Jacques Pulou, Joseph Sifakis Ananda Basu. Using BIP for Modeling and Verification of Networked Systems - A Case Study on TinyOS-based Networks. Research Report Verimag, No 0, April 2007. (more) download

Misc

  1. Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober. IF Tutorial. Presented at the 9th SPIN'04 Workshop on Model-Checking of Software, Barcelona, Spain, April 2004. (more) pdf