Laurent Mounier

发表

Automated validation of distributed software using the IF environment

Marius Bozga, Susanne Graf, Laurent Mounier, 2001, Proceedings IEEE International Symposium on Network Computing and Applications. NCA 2001.

Guided Dynamic Symbolic Execution Using Subgraph Control-Flow Information

Marie-Laure Potet, Laurent Mounier, Josselin Feist, 2016, SEFM.

What can you verify and enforce at runtime?

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, 2012, International Journal on Software Tools for Technology Transfer.

A Test Calculus Framework Applied to Network Security Policies

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, 2006, FATES/RV.

Lever control means in particular to control units of a motor vehicle

Patrice Laurent, Laurent Mounier, Stephane Vanhelle, 2005 .

GLONEMO: global and accurate formal models for the analysis of ad-hoc sensor networks

Florence Maraninchi, Ludovic Samper, Louis Mandel, 2006, InterSense '06.

Finding Software Vulnerabilities by Smart Fuzzing

Roland Groz, Laurent Mounier, Sofia Bekrar, 2011, 2011 Fourth IEEE International Conference on Software Testing, Verification and Validation.

The ARESA Project: Facilitating Research, Development and Commercialization of WSNs

Fabrice Valois, Andrzej Duda, Martin Heusse, 2007, 2007 4th Annual IEEE Communications Society Conference on Sensor, Mesh and Ad Hoc Communications and Networks.

Finding Buffer Overflow Inducing Loops in Binary Executables

Sanjay Rawat, Laurent Mounier, 2012, 2012 IEEE Sixth International Conference on Software Security and Reliability.

IF Validation Environment Tutorial

Iulian Ober, Marius Bozga, Susanne Graf, 2004, SPIN.

BINSEC/SE: A Dynamic Symbolic Execution Toolkit for Binary-Level Analysis

Jean-Yves Marion, Marie-Laure Potet, Laurent Mounier, 2016, 2016 IEEE 23rd International Conference on Software Analysis, Evolution, and Reengineering (SANER).

Metrics for runtime detection of allocators in binaries

Roland Groz, Laurent Mounier, Franck de Goër, 2017, CSET @ USENIX Security Symposium.

SDL for Real-Time: What is Missing?

Iulian Ober, Alain Kerbrat, Marius Bozga, 2000, SAM.

Runtime Verification of Safety-Progress Properties

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, 2009, RV.

Combining Static and Dynamic Analysis for Vulnerability Detection pdf

Sanjay Rawat, Marie-Laure Potet, Laurent Mounier, 2013, ArXiv.

Specification of concretization and symbolization policies in symbolic execution

Jean-Yves Marion, Marie-Laure Potet, Laurent Mounier, 2016, ISSTA.

Synchronous programming of device drivers for global resource control in embedded operating systems

Florence Maraninchi, Laurent Mounier, Nicolas Berthier, 2013, ACM Trans. Embed. Comput. Syst..

More testable properties

Thierry Jéron, Yliès Falcone, Hervé Marchand, 2011, International Journal on Software Tools for Technology Transfer.

Test Generation from Security Policies Specified in Or-BAC

Keqin Li, Roland Groz, Laurent Mounier, 2007, 31st Annual International Computer Software and Applications Conference (COMPSAC 2007).

Worst-case lifetime computation of a wireless sensor network by model-checking

Ludovic Samper, Laurent Mounier, Wassim Znaidi, 2007, PE-WASUN '07.

A Model-Based Approach for Robustness Testing

Laurent Mounier, Jean-Claude Fernandez, Cyril Pachon, 2005, TestCom.

Model-Checking Ariane-5 Flight Program

Marius Bozga, Laurent Mounier, David Lesens, 2001 .

A Stack Model for Symbolic Buffer Overflow Exploitability Analysis

Sanjay Rawat, Marie-Laure Potet, Laurent Mounier, 2013, 2013 IEEE Sixth International Conference on Software Testing, Verification and Validation Workshops.

Symbolic Equivalence Checking

Alain Kerbrat, Laurent Mounier, Jean-Claude Fernandez, 1993, CAV.

Lazart: A Symbolic Approach for Evaluation the Robustness of Secured Codes against Control Flow Injections

Marie-Laure Potet, Laurent Mounier, Louis Dureuil, 2014, 2014 IEEE Seventh International Conference on Software Testing, Verification and Validation.

Property Oriented Test Case Generation

Laurent Mounier, Jean-Claude Fernandez, Cyril Pachon, 2003, FATES.

Modeling and Verification of Real‐Time Systems using the IF Toolset

Iulian Ober, Marius Bozga, Susanne Graf, 2010 .

Toward Large-Scale Vulnerability Discovery using Machine Learning

Guillermo L. Grinblat, Sanjay Rawat, Laurent Mounier, 2016, CODASPY.

Runtime enforcement monitors: composition, synthesis, and enforcement abilities

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, 2011, Formal Methods Syst. Des..

Output-Sensitive Information Flow Analysis pdf

Marie-Laure Potet, Laurent Mounier, Cristian Ene, 2019, FORTE.

Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Properties

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, 2008, ICISS.

A Taint Based Approach for Smart Fuzzing

Roland Groz, Laurent Mounier, Sofia Bekrar, 2012, 2012 IEEE Fifth International Conference on Software Testing, Verification and Validation.

Dynamic Information-Flow Analysis for Multi-threaded Applications

Laurent Mounier, Emmanuel Sifakis, L. Mounier, 2012, ISoLA.

A Tool Set for deciding Behavioral Equivalences

Laurent Mounier, Jean-Claude Fernandez, L. Mounier, 1991, CONCUR.

On the Expressiveness of some Runtime Validation Techniques

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, 2014, HOWARD-60.

Compositional Verification in Action

Frédéric Lang, Hubert Garavel, Laurent Mounier, 2018, FMICS.

Lever control device, particularly for control of elements of a motor vehicle.

Patrice Laurent, Laurent Mounier, Stephane Vanhelle, 2005 .

j-POST: a Java Toolchain for Property-Oriented Software Testing

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, 2008, Electron. Notes Theor. Comput. Sci..

Model Checking Software

Susanne Graf, Laurent Mounier, 2004, Lecture Notes in Computer Science.

"On the Fly" Verification of Behavioural Equivalences and Preorders

Laurent Mounier, Jean-Claude Fernandez, L. Mounier, 1991, CAV.

Verification and test generation for the SSCOP protocol

Thierry Jéron, Claude Jard, Alain Kerbrat, 2000, Sci. Comput. Program..

Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems

Laurent Mounier, Jean-Pierre Krimm, L. Mounier, 2000, TACAS.

Verifying Bisimulations "On the Fly"

Laurent Mounier, Jean-Claude Fernandez, 1990, FORTE.

LiSTT: An Investigation into Unsound-Incomplete Yet Practical Result Yielding Static Taintflow Analysis

Sanjay Rawat, Marie-Laure Potet, Laurent Mounier, 2014, 2014 Ninth International Conference on Availability, Reliability and Security.

Compositional State Space Generation from Lotos Programs

Laurent Mounier, Jean-Pierre Krimm, L. Mounier, 1997, TACAS.

Timed Extensions for SDL

Iulian Ober, Jean-Luc Roux, Marius Bozga, 2001, SDL Forum.

IF: An intermediate representation for SDL and its applications

Joseph Sifakis, Marius Bozga, Susanne Graf, 1999, SDL Forum.

Protocol verification with the ALDÉBARAN toolset

Alain Kerbrat, Marius Bozga, Laurent Mounier, 1997, International Journal on Software Tools for Technology Transfer.

Model checking software : 11th International SPIN Workshop, Barcelona, Spain, April 1-3, 2004 ; proceedings

Susanne Graf, Laurent Mounier, 2004 .

Predictive Taint Analysis for Extended Testing of Parallel Executions

Laurent Mounier, Emmanuel Sifakis, 2013, Haifa Verification Conference.

Device for controlling a lever, in particular for the control of elements of a motor vehicle

Patrice Laurent, Laurent Mounier, Guy Razurel, 2004 .

Get Rid of Inline Assembly through Verification-Oriented Lifting

Marie-Laure Potet, Laurent Mounier, Richard Bonichon, 2019, 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE).

Test Generation for Network Security Rules

Roland Groz, Laurent Mounier, Jean-Claude Fernandez, 2006, TestCom.

Extending the Safety-Progress Classification of Properties in a Runtime Verification Context

Laurent Mounier, Jean-Claude Fernandez, Jean-Luc Richier, 2009 .

Confirmation of deadlock potentials detected by runtime analysis

Klaus Havelund, Saddek Bensalem, Laurent Mounier, 2006, PADTAD '06.

IF Validation Environment

Laurent Mounier, 2004 .

Offline taint prediction for multi-threaded applications.

Laurent Mounier, Emmanuel Sifakis, 2013 .

scat: Learning from a single execution of a binary

Laurent Mounier, Franck de Goër, Christopher Ferreira, 2017, 2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER).

Get rid of inline assembly through trustable verification-oriented lifting pdf

Marie-Laure Potet, Laurent Mounier, Richard Bonichon, 2019, ArXiv.

An Evolutionary Computing Approach for Hunting Buffer Overflow Vulnerabilities: A Case of Aiming in Dim Light

Laurent Mounier, Sanjay Rawat, 2010, 2010 European Conference on Computer Network Defense.

IF-2.0: A Validation Environment for Component-Based Real-Time Systems

Marius Bozga, Susanne Graf, Laurent Mounier, 2002, CAV.

Offset-Aware Mutation Based Fuzzing for Buffer Overflow Vulnerabilities: Few Preliminary Results

Sanjay Rawat, Laurent Mounier, 2011, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops.

IF: A Validation Environment for Timed Asynchronous Systems

Marius Bozga, Susanne Graf, Laurent Mounier, 2000, CAV.

Finding the needle in the heap: combining static analysis and dynamic symbolic execution to trigger use-after-free

Marie-Laure Potet, Laurent Mounier, Josselin Feist, 2016, SSPREW '16.

Specification and Verification of the PowerScaleTM Bus Arbitration Protocol: An Industrial Experiment with LOTOS

Nadia Tawbi, Hubert Garavel, Laurent Mounier, 1996, FORTE.

Using BIP for Modeling and Verification of Networked Systems -- A Case Study on TinyOS-based Networks

Jacques Pulou, Joseph Sifakis, Ananda Basu, 2007, Sixth IEEE International Symposium on Network Computing and Applications (NCA 2007).

Enforcement monitoring wrt. the safety-progress classification of properties: NOTE: ACM has found that the authors of this paper failed to cite a work they previously published with much identical content entitled Synthesizing Enforcement Monitors wrt. the Safety-Progress Classification of Propertie

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, 2009, SAC '09.

IF: An Intermediate Representation and Validation Environment for Timed Asynchronous Systems

Marius Bozga, Susanne Graf, Laurent Mounier, 1999, World Congress on Formal Methods.

CADP - A Protocol Validation and Verification Toolbox

Alain Kerbrat, Mihaela Sighireanu, Radu Mateescu, 1996, CAV.

Lightweight heuristics to retrieve parameter associations from binaries

Roland Groz, Laurent Mounier, Franck de Goër, 2015, PPREW@ACSAC.

On-the-fly verification of finite transition systems

Thierry Jéron, Claude Jard, Laurent Mounier, 1992, Formal Methods Syst. Des..

Specification and Verification of Various Distributed Leader Election Algorithms for Unidirectional Ring Networks

Hubert Garavel, Laurent Mounier, L. Mounier, 1997, Sci. Comput. Program..

A Compositional Testing Framework Driven by Partial Specifications

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, 2007, TestCom/FATES.

A Toolbox For The Verification Of LOTOS Programs

Joseph Sifakis, Hubert Garavel, Carlos Rodriguez, 1992, International Conference on Software Engineering.

Taint Dependency Sequences: A Characterization of Insecure Execution Paths Based on Input-Sensitive Cause Sequences

Marie-Laure Potet, Laurent Mounier, Dumitru Ceara, 2010, 2010 Third International Conference on Software Testing, Verification, and Validation Workshops.

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

Laurent Mounier, L. Mounier, 1992 .

Statically detecting use after free on binary code

Marie-Laure Potet, Laurent Mounier, Josselin Feist, 2014, Journal of Computer Virology and Hacking Techniques.

Politiques de gestion de protections pour l'implémentation de sections critiques

Laurent Mounier, Emmanuel Sifakis, 2012, Tech. Sci. Informatiques.

Automated validation of distributed software using the IF environment

Marius Bozga, Susanne Graf, Laurent Mounier, 2001, Electron. Notes Theor. Comput. Sci..

Validation of asynchronous circuit specifications using IF/CADP

Dominique Borrione, Marc Renaudin, Laurent Mounier, 2003, VLSI-SOC.

Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine

Matthieu Lemerre, Marie-Laure Potet, Laurent Mounier, 2021, 2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).

A Partial Specification Driven Compositional Testing Method

Yliès Falcone, Laurent Mounier, Jean-Claude Fernandez, 2007 .

Specification and Verification of the PowerScale

Nadia Tawbi, Hubert Garavel, Laurent Mounier, 2022 .