Verifying Bisimulations "On the Fly". - Jean-Claude Fernandez; Laurent Mounier (FORTE, 1990)

"On the Fly" Verification of Behavioural Equivalences and Preorders. - Jean-Claude Fernandez; Laurent Mounier (CAV, 1991)

A Tool Set for deciding Behavioral Equivalences. - Jean-Claude Fernandez; Laurent Mounier (CONCUR, 1991)

A Toolbox for the Verification of LOTOS Programs. - Jean-Claude Fernandez; Hubert Garavel; Laurent Mounier; Anne Rasse; Carlos Rodríguez; Joseph Sifakis (ICSE, 1992)

On-the-fly Verification of Finite Transition Systems. - Jean-Claude Fernandez; Laurent Mounier; Claude Jard; Thierry Jéron (Formal Methods Syst. Des., 1992)

Méthodes de vérification de spécifications comportementales : étude et mise en œuvre. (Verification methods for behavioural specifications). - Laurent Mounier (1992)

Symbolic Equivalence Checking. - Jean-Claude Fernandez; Alain Kerbrat; Laurent Mounier (CAV, 1993)

CADP - A Protocol Validation and Verification Toolbox. - Jean-Claude Fernandez; Hubert Garavel; Alain Kerbrat; Laurent Mounier; Radu Mateescu 001; Mihaela Sighireanu (CAV, 1996)

Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS. - Ghassan Chehaibar; Hubert Garavel; Laurent Mounier; Nadia Tawbi; Ferruccio Zulian (FORTE, 1996)

Compositional State Space Generation from Lotos Programs. - Jean-Pierre Krimm; Laurent Mounier (TACAS, 1997)

Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks. - Hubert Garavel; Laurent Mounier (Sci. Comput. Program., 1997)

Protocol Verification with the ALDÉBARAN Toolset. - Marius Bozga; Jean-Claude Fernandez; Alain Kerbrat; Laurent Mounier (Int. J. Softw. Tools Technol. Transf., 1997)

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

IF: An intermediate representation for SDL and its applications. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Susanne Graf; Jean-Pierre Krimm; Laurent Mounier; Joseph Sifakis (SDL Forum, 1999)

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

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

Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems. - Jean-Pierre Krimm; Laurent Mounier (TACAS, 2000)

Verification and test generation for the SSCOP protocol. - Marius Bozga; Jean-Claude Fernandez; Lucian Ghirvu; Claude Jard; Thierry Jéron; Alain Kerbrat; Pierre Morel; Laurent Mounier (Sci. Comput. Program., 2000)

Timed Extensions for SDL. - Marius Bozga; Susanne Graf; Laurent Mounier; Iulian Ober; Jean-Luc Roux; Daniel Vincent (SDL Forum, 2001)

Automated validation of distributed software using the IF environment. - Marius Bozga; Susanne Graf; Laurent Mounier (Workshop on Software Model Checking @ CAV, 2001)

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

Property Oriented Test Case Generation. - Jean-Claude Fernandez; Laurent Mounier; Cyril Pachon (FATES, 2003)

Validation of asynchronous circuit specifications using IF/CADP. - Dominique Borrione; Menouer Boubekeur; Laurent Mounier; Marc Renaudin; Antoine Siriani (VLSI-SOC, 2003)

IF Validation Environment Tutorial. - Marius Bozga; Susanne Graf; Laurent Mounier; Iulian Ober (SPIN, 2004)

A Model-Based Approach for Robustness Testing. - Jean-Claude Fernandez; Laurent Mounier; Cyril Pachon (TestCom, 2005)

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

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

Confirmation of deadlock potentials detected by runtime analysis. - Saddek Bensalem; Jean-Claude Fernandez; Klaus Havelund; Laurent Mounier (PADTAD, 2006)

Test Generation for Network Security Rules. - Vianney Darmaillacq; Jean-Claude Fernandez; Roland Groz; Laurent Mounier; Jean-Luc Richier (TestCom, 2006)

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

Using BIP for Modeling and Verification of Networked Systems – A Case Study on TinyOS-based Networks. - Ananda Basu; Laurent Mounier; Marc Poulhiès; Jacques Pulou; Joseph Sifakis (NCA, 2007)

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

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

The ARESA Project: Facilitating Research, Development and Commercialization of WSNs. - 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 (SECON, 2007)

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

j-POST: a Java Toolchain for Property-Oriented Software Testing. - Yliès Falcone; Laurent Mounier; Jean-Claude Fernandez; Jean-Luc Richier (MBT@ETAPS, 2008)

Runtime Verification of Safety-Progress Properties. - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier (RV, 2009)

Enforcement monitoring wrt. the safety-progress classification of properties. - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier (SAC, 2009)

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

Finding Software Vulnerabilities by Smart Fuzzing. - Sofia Bekrar; Chaouki Bekrar; Roland Groz; Laurent Mounier (ICST, 2011)

Offset-Aware Mutation Based Fuzzing for Buffer Overflow Vulnerabilities: Few Preliminary Results. - Sanjay Rawat 001; Laurent Mounier (ICST Workshops, 2011)

Runtime enforcement monitors: composition, synthesis, and enforcement abilities. - Yliès Falcone; Laurent Mounier; Jean-Claude Fernandez; Jean-Luc Richier (Formal Methods Syst. Des., 2011)

A Taint Based Approach for Smart Fuzzing. - Sofia Bekrar; Chaouki Bekrar; Roland Groz; Laurent Mounier (ICST, 2012)

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

Finding Buffer Overflow Inducing Loops in Binary Executables. - Sanjay Rawat 001; Laurent Mounier (SERE, 2012)

More testable properties. - Yliès Falcone; Jean-Claude Fernandez; Thierry Jéron; Hervé Marchand; Laurent Mounier (Int. J. Softw. Tools Technol. Transf., 2012)

What can you verify and enforce at runtime? - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier (Int. J. Softw. Tools Technol. Transf., 2012)

Politiques de gestion de protections pour l'implémentation de sections critiques. - Emmanuel Sifakis; Laurent Mounier (Tech. Sci. Informatiques, 2012)

Predictive Taint Analysis for Extended Testing of Parallel Executions. - Emmanuel Sifakis; Laurent Mounier (Haifa Verification Conference, 2013)

A Stack Model for Symbolic Buffer Overflow Exploitability Analysis. - Gustavo Grieco; Laurent Mounier; Marie-Laure Potet; Sanjay Rawat 001 (ICST Workshops, 2013)

Combining Static and Dynamic Analysis for Vulnerability Detection - Sanjay Rawat 001; Dumitru Ceara; Laurent Mounier; Marie-Laure Potet (CoRR, 2013)

Synchronous programming of device drivers for global resource control in embedded operating systems. - Nicolas Berthier; Florence Maraninchi; Laurent Mounier (ACM Trans. Embed. Comput. Syst., 2013)

LiSTT: An Investigation into Unsound-Incomplete Yet Practical Result Yielding Static Taintflow Analysis. - Sanjay Rawat 001; Laurent Mounier; Marie-Laure Potet (ARES, 2014)

On the Expressiveness of some Runtime Validation Techniques. - Yliès Falcone; Jean-Claude Fernandez; Laurent Mounier (HOWARD-60, 2014)

Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections. - Marie-Laure Potet; Laurent Mounier; Maxime Puys; Louis Dureuil (ICST, 2014)

Statically detecting use after free on binary code. - Josselin Feist; Laurent Mounier; Marie-Laure Potet (J. Comput. Virol. Hacking Tech., 2014)

Lightweight heuristics to retrieve parameter associations from binaries. - Franck de Goër; Roland Groz; Laurent Mounier (PPREW@ACSAC, 2015)

Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free. - Josselin Feist; Laurent Mounier; Sébastien Bardin; Robin David; Marie-Laure Potet (SSPREW@ACSAC, 2016)

Toward Large-Scale Vulnerability Discovery using Machine Learning. - Gustavo Grieco; Guillermo Luis Grinblat; Lucas C. Uzal; Sanjay Rawat 001; Josselin Feist; Laurent Mounier (CODASPY, 2016)

Specification of concretization and symbolization policies in symbolic execution. - Robin David; Sébastien Bardin; Josselin Feist; Laurent Mounier; Marie-Laure Potet; Thanh Dinh Ta; Jean-Yves Marion (ISSTA, 2016)

Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information. - Josselin Feist; Laurent Mounier; Marie-Laure Potet (SEFM, 2016)

BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis. - Robin David; Sébastien Bardin; Thanh Dinh Ta; Laurent Mounier; Josselin Feist; Marie-Laure Potet; Jean-Yves Marion (SANER, 2016)

Metrics for runtime detection of allocators in binaries. - Franck de Goër; Roland Groz; Laurent Mounier (CSET @ USENIX Security Symposium, 2017)

scat: Learning from a single execution of a binary. - Franck de Goër; Christopher Ferreira; Laurent Mounier (SANER, 2017)

Compositional Verification in Action. - Hubert Garavel; Frédéric Lang; Laurent Mounier (FMICS, 2018)

Get Rid of Inline Assembly through Verification-Oriented Lifting. - Frédéric Recoules; Sébastien Bardin; Richard Bonichon; Laurent Mounier; Marie-Laure Potet (ASE, 2019)

Get rid of inline assembly through trustable verification-oriented lifting. - Frédéric Recoules; Sébastien Bardin; Richard Bonichon; Laurent Mounier; Marie-Laure Potet (CoRR, 2019)

Countermeasures Optimization in Multiple Fault-Injection Context. - Etienne Boespflug; Cristian Ene; Laurent Mounier; Marie-Laure Potet (FDTC, 2020)

Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine. - Frédéric Recoules; Sébastien Bardin; Richard Bonichon; Matthieu Lemerre; Laurent Mounier; Marie-Laure Potet (ICSE, 2021)

RUSTInA: Automatically Checking and Patching Inline Assembly Interface Compliance (Artifact Evaluation): Accepted submission #992 - "Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine". - Frédéric Recoules; Sébastien Bardin; Richard Bonichon; Matthieu Lemerre; Laurent Mounier; Marie-Laure Potet (ICSE (Companion Volume), 2021)

Output-sensitive Information flow analysis. - Cristian Ene; Laurent Mounier; Marie-Laure Potet (Log. Methods Comput. Sci., 2021)

BaxMC: a CEGAR approach to Max#SAT. - Thomas Vigouroux; Cristian Ene; David Monniaux; Laurent Mounier; Marie-Laure Potet (FMCAD, 2022)

A Compositional Methodology to Harden Programs Against Multi-Fault Attacks. - Etienne Boespflug; Laurent Mounier; Marie-Laure Potet; Abderrahmane Bouguern (FDTC, 2023)

A tool assisted methodology to harden programs against multi-faults injections. - Etienne Boespflug; Abderrahmane Bouguern; Laurent Mounier; Marie-Laure Potet (CoRR, 2023)

[artifact50] Function synthesis for maximising model counting. - Thomas Vigouroux; Marius Bozga; Cristian Ene; Laurent Mounier (Zenodo, 2023)

[artifact50] Function synthesis for maximising model counting. - Thomas Vigouroux; Marius Bozga; Cristian Ene; Laurent Mounier (Zenodo, 2023)

[artifact50] Function synthesis for maximising model counting. - Thomas Vigouroux; Marius Bozga; Cristian Ene; Laurent Mounier (Zenodo, 2023)

Function Synthesis for Maximizing Model Counting. - Thomas Vigouroux; Marius Bozga; Cristian Ene; Laurent Mounier (VMCAI (1), 2024)