Laurent Mounier

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier: What can you verify and enforce at runtime? STTT 14(3): 349-382 (2012)

Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier: More testable properties. STTT 14(4): 407-437 (2012)

Emmanuel Sifakis, Laurent Mounier: Politiques de gestion de protections pour l'implémentation de sections critiques. Technique et Science Informatiques 31(8-10): 1153-1181 (2012)

Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier: A Taint Based Approach for Smart Fuzzing. ICST 2012: 818-825

Laurent Mounier, Emmanuel Sifakis: Dynamic Information-Flow Analysis for Multi-threaded Applications. ISoLA (1) 2012: 358-371

Sanjay Rawat, Laurent Mounier: Finding Buffer Overflow Inducing Loops in Binary Executables. SERE 2012: 177-186

Yliès 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)

Sofia Bekrar, Chaouki Bekrar, Roland Groz, Laurent Mounier: Finding Software Vulnerabilities by Smart Fuzzing. ICST 2011: 427-430

Sanjay Rawat, Laurent Mounier: Offset-Aware Mutation Based Fuzzing for Buffer Overflow Vulnerabilities: Few Preliminary Results. ICST Workshops 2011: 531-533

Nicolas Berthier, Florence Maraninchi, Laurent Mounier: Synchronous programming of device drivers for global resource control in embedded operating systems. LCTES 2011: 81-90

Dumitru Ceara, Laurent Mounier, Marie-Laure Potet: Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences. ICST Workshops 2010: 371-380

Yliès Falcone, Jean-Claude Fernandez, Thierry Jéron, Hervé Marchand, Laurent Mounier: More Testable Properties. ICTSS 2010: 30-46

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier: Runtime Verification of Safety-Progress Properties. RV 2009: 40-59

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier: Enforcement monitoring wrt. the safety-progress classification of properties. SAC 2009: 593-600

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier: j-POST: a Java Toolchain for Property-Oriented Software Testing. Electr. Notes Theor. Comput. Sci. 220(1): 29-41 (2008)

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier: Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties. ICISS 2008: 41-55

Keqin Li, Laurent Mounier, Roland Groz: Test Generation from Security Policies Specified in Or-BAC. COMPSAC (2) 2007: 255-260

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. NCA 2007: 257-260

Laurent Mounier, Ludovic Samper, Wassim Znaidi: Worst-case lifetime computation of a wireless sensor network by model-checking. PE-WASUN 2007: 1-8

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier: A Compositional Testing Framework Driven by Partial Specifications. TestCom/FATES 2007: 107-122

Mischa Dohler, Dominique Barthel, Florence Maraninchi, Laurent Mounier, Stephane Aubert, Christophe Dugas, Aurélien Buhrig, Franck Paugnat, Marc Renaudin, Andrzej Duda, Martin Heusse, Fabrice Valois: The ARESA Project: Facilitating Research, Development and Commercialization of WSNs. SECON 2007: 590-599

Yliès Falcone, Jean-Claude Fernandez, Laurent Mounier, Jean-Luc Richier: A Test Calculus Framework Applied to Network Security Policies. FATES/RV 2006: 55-69

Ludovic Samper, Florence Maraninchi, Laurent Mounier, Louis Mandel: GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks. InterSense 2006: 3

Saddek Bensalem, Jean-Claude Fernandez, Klaus Havelund, Laurent Mounier: Confirmation of deadlock potentials detected by runtime analysis. PADTAD 2006: 41-50

Vianney Darmaillacq, Jean-Claude Fernandez, Roland Groz, Laurent Mounier, Jean-Luc Richier: Test Generation for Network Security Rules. TestCom 2006: 341-356

Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon: A Model-Based Approach for Robustness Testing. TestCom 2005: 333-348

Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober: IF Validation Environment Tutorial. SPIN 2004: 306-307

Susanne Graf, Laurent Mounier (Eds.): Model Checking Software, 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004, Proceedings. Lecture Notes in Computer Science 2989, Springer 2004, isbn 3-540-21314-7

Jean-Claude Fernandez, Laurent Mounier, Cyril Pachon: Property Oriented Test Case Generation. FATES 2003: 147-163

Dominique Borrione, Menouer Boubekeur, Laurent Mounier, Marc Renaudin, Antoine Sirianni: Validation of asynchronous circuit specifications using IF/CADP. VLSI-SOC 2003: 86-91

Marius Bozga, Susanne Graf, Laurent Mounier: IF-2.0: A Validation Environment for Component-Based Real-Time Systems. CAV 2002: 343-348

Marius Bozga, Susanne Graf, Laurent Mounier: Automated validation of distributed software using the IF environment. Electr. Notes Theor. Comput. Sci. 55(3): 370-381 (2001)

Marius Bozga, Susanne Graf, Laurent Mounier: Automated Validation of Distributed Software Using the IF Environment. NCA 2001: 268-275

Marius Bozga, Susanne Graf, Laurent Mounier, Iulian Ober, Jean-Luc Roux, Daniel Vincent: Timed Extensions for SDL. SDL Forum 2001: 223-240

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)

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier: IF: A Validation Environment for Timed Asynchronous Systems. CAV 2000: 543-547

Marius Bozga, Susanne Graf, Alain Kerbrat, Laurent Mounier, Iulian Ober, Daniel Vincent: SDL for Real-Time: What is Missing? SAM 2000: 108-

Jean-Pierre Krimm, Laurent Mounier: Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. TACAS 2000: 266-282

Marius Bozga, Jean-Claude Fernandez, Lucian Ghirvu, Susanne Graf, Jean-Pierre Krimm, Laurent Mounier: IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems. World Congress on Formal Methods 1999: 307-327

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. SDL Forum 1999: 423-440

Hubert Garavel, Laurent Mounier: Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks. Sci. Comput. Program. 29(1-2): 171-197 (1997)

Marius Bozga, Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier: Protocol Verification with the ALDÉBARAN Toolset. STTT 1(1-2): 166-184 (1997)

Jean-Pierre Krimm, Laurent Mounier: Compositional State Space Generation from Lotos Programs. TACAS 1997: 239-258

Jean-Claude Fernandez, Hubert Garavel, Alain Kerbrat, Laurent Mounier, Radu Mateescu, Mihaela Sighireanu: CADP - A Protocol Validation and Verification Toolbox. CAV 1996: 437-440

Ghassan Chehaibar, Hubert Garavel, Laurent Mounier, Nadia Tawbi, Ferruccio Zulian: Specification and Verification of the PowerScale^TM Bus Arbitration Protocol: An Industrial Experiment with LOTOS. FORTE 1996: 435-450

Jean-Claude Fernandez, Alain Kerbrat, Laurent Mounier: Symbolic Equivalence Checking. CAV 1993: 85-96

Jean-Claude Fernandez, Laurent Mounier, Claude Jard, Thierry Jéron: On-the-fly Verification of Finite Transition Systems. Formal Methods in System Design 1(2/3): 251-273 (1992)

Jean-Claude Fernandez, Hubert Garavel, Laurent Mounier, Anne Rasse, Carlos Rodriguez, Joseph Sifakis: A Toolbox for the Verification of LOTOS Programs. ICSE 1992: 246-259

Jean-Claude Fernandez, Laurent Mounier: "On the Fly" Verification of Behavioural Equivalences and Preorders. CAV 1991: 181-191

Jean-Claude Fernandez, Laurent Mounier: A Tool Set for deciding Behavioral Equivalences. CONCUR 1991: 23-42

Jean-Claude Fernandez, Laurent Mounier: Verifying Bisimulations "On the Fly". FORTE 1990: 95-110