Matthieu Lemerre

According to our database, Matthieu Lemerre authored at least 32 papers between 2008 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

A Dependent Nominal Physical Type System for Static Analysis of Memory in Low Level Code.

Julien Simonnet, Matthieu Lemerre, Mihaela Sighireanu

Proc. ACM Program. Lang., 2024

Compiling with Abstract Interpretation.

Dorian Lesbre, Matthieu Lemerre

Proc. ACM Program. Lang., 2024

2023

SSA Translation Is an Abstract Interpretation.

Matthieu Lemerre

Proc. ACM Program. Lang., January, 2023

Reverse Template Processing Using Abstract Interpretation.

Matthieu Lemerre

Proceedings of the Static Analysis - 30th International Symposium, 2023

2022

Lightweight Shape Analysis Based on Physical Types.

Olivier Nicole, Matthieu Lemerre, Xavier Rival

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2022

2021

A relational shape abstract domain.

Hugo Illous, Matthieu Lemerre, Xavier Rival

Formal Methods Syst. Des., 2021

No Crash, No Exploit: Automated Verification of Embedded Kernels.

Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival

Proceedings of the 27th IEEE Real-Time and Embedded Technology and Applications Symposium, 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

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering: Companion Proceedings, 2021

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

Proceedings of the 43rd IEEE/ACM International Conference on Software Engineering, 2021

2020

Automatically Proving Microkernels Free from Privilege Escalation from their Executable.

Olivier Nicole, Matthieu Lemerre, Sébastien Bardin, Xavier Rival

CoRR, 2020

Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries.

Hugo Illous, Matthieu Lemerre, Xavier Rival

Proceedings of the Static Analysis - 27th International Symposium, 2020

Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities.

Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon, Roland Groz, Matthieu Lemerre

Proceedings of the 23rd International Symposium on Research in Attacks, 2020

Detection of Polluting Test Objectives for Dataflow Criteria.

Thibault Martin, Nikolai Kosmatov, Virgile Prevosto, Matthieu Lemerre

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

2018

Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing.

Benjamin Farinier, Robin David, Sébastien Bardin, Matthieu Lemerre

Proceedings of the LPAR-22. 22nd International Conference on Logic for Programming, 2018

2017

Abstract Interpretation using a Language of Symbolic Approximation.

Matthieu Lemerre, Sébastien Bardin

CoRR, 2017

2016

Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs.

Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéric Loulergue

Proceedings of the 16th IEEE International Working Conference on Source Code Analysis and Manipulation, 2016

Proving Determinacy of the PharOS Real-Time Operating System.

Selma Azaiez, Damien Doligez, Matthieu Lemerre, Tomer Libal, Stephan Merz

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 2016

2015

State Space Reduction Strategie for Model Checking Concurrent C Programs.

Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui

Proceedings of the 9th Workshop on Verification and Evaluation of Computer and Communication Systems, 2015

Gamifying Program Analysis.

Daniel Fava, Julien Signoles, Matthieu Lemerre, Martin Schäf, Ashish Tiwari

Proceedings of the Logic for Programming, Artificial Intelligence, and Reasoning, 2015

A Case Study on Formal Verification of the Anaxagoros Hypervisor Paging System with Frama-C.

Allan Blanchard, Nikolai Kosmatov, Matthieu Lemerre, Frédéric Loulergue

Proceedings of the Formal Methods for Industrial Critical Systems, 2015

2014

A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing.

Nikolai Kosmatov, Matthieu Lemerre, Céline Alec

Proceedings of the Tests and Proofs - 8th International Conference, 2014

Specifying and Verifying Concurrent C Programs with TLA+.

Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad, Kamel Barkaoui

Proceedings of the Formal Techniques for Safety-Critical Systems, 2014

2012

Paravirtualizing Linux in a real-time hypervisor.

Vincent Legout, Matthieu Lemerre

SIGBED Rev., 2012

A Model of Parallel Deterministic Real-Time Computation.

Matthieu Lemerre, Emmanuel Ohayon

Proceedings of the 33rd IEEE Real-Time Systems Symposium, 2012

Towards verified cloud computing environments.

Frédéric Loulergue, Frédéric Gava, Nikolai Kosmatov, Matthieu Lemerre

Proceedings of the 2012 International Conference on High Performance Computing & Simulation, 2012

2011

Method and Tools for Mixed-Criticality Real-Time Applications within PharOS.

Matthieu Lemerre, Emmanuel Ohayon, Damien Chabrol, Mathieu Jan, Marie-Bénédicte Jacques

Proceedings of the 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011

The OASIS Kernel: A Framework for High Dependability Real-Time Systems.

Stéphane Louise, Matthieu Lemerre, Christophe Aussaguès, Vincent David

Proceedings of the 13th IEEE International Symposium on High-Assurance Systems Engineering, 2011

2010

An Introduction to Time-Constrained Automata

Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet

Proceedings of the Proceedings Third Interaction and Concurrency Experience: Guaranteed Interaction, 2010

CONFIGEN: A tool for managing configuration options

Emmanuel Ohayon, Matthieu Lemerre, Vincent David

Proceedings of the Proceedings First International Workshop on Logics for Component Configuration, 2010

2009

Intégration de systèmes hétérogènes en termes de niveaux de sécurité. (Integration of systems with heterogeneous security levels).

Matthieu Lemerre

PhD thesis, 2009

A communication mechanism for resource isolation.

Matthieu Lemerre, Vincent David, Guy Vidal-Naquet

Proceedings of the Second Workshop on Isolation and Integration in Embedded Systems, 2009

2008

Equivalence between Schedule Representations: Theory and Applications.

Matthieu Lemerre, Vincent David, Christophe Aussaguès, Guy Vidal-Naquet

Proceedings of the 14th IEEE Real-Time and Embedded Technology and Applications Symposium, 2008