Suivre
Matthieu Lemerre
Matthieu Lemerre
Tenured researcher, Université Paris-Saclay/CEA List
Adresse e-mail validée de cea.fr
Titre
Citée par
Citée par
Année
Binary-level directed fuzzing for use-after-free vulnerabilities
MD Nguyen, S Bardin, R Bonichon, R Groz, M Lemerre
23rd International Symposium on Research in Attacks, Intrusions and Defenses …, 2020
872020
Method and tools for mixed-criticality real-time applications within PharOS
M Lemerre, E Ohayon, D Chabrol, M Jan, MB Jacques
2011 14th IEEE International Symposium on Object/Component/Service-Oriented …, 2011
332011
A case study on formal verification of the anaxagoros hypervisor paging system with frama-C
A Blanchard, N Kosmatov, M Lemerre, F Loulergue
International Workshop on Formal Methods for Industrial Critical Systems, 15-30, 2015
322015
Equivalence between schedule representations: Theory and applications
M Lemerre, V David, C Aussaguès, G Vidal-Naquet
2008 IEEE Real-Time and Embedded Technology and Applications Symposium, 237-247, 2008
272008
The OASIS kernel: a framework for high dependability real-time systems
S Louise, M Lemerre, C Aussaguès, V David
High-Assurance Systems Engineering (HASE), 2011 IEEE 13th International …, 2011
262011
Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing.
B Farinier, R David, S Bardin, M Lemerre
LPAR, 363-380, 2018
232018
A Relational Shape Abstract Domain
H Illous, M Lemerre, X Rival
NASA Formal Methods Symposium, 212-229, 2017
222017
An introduction to time-constrained automata
M Lemerre, V David, C Aussaguès, G Vidal-Naquet
Electronic Proceedings in Theoretical Computer Science 38 (Special Issue on …, 2010
212010
The EVA plug-in
D Bühler, P Cuoq, B Yakobowski, M Lemerre, A Maroneze, V Perrelle, ...
Technical Report. CEA LIST, Software Reliability Laboratory, Saclay, France …, 2017
19*2017
Specifying and Verifying Concurrent C Programs with TLA+
A Methni, M Lemerre, BB Hedia, S Haddad, K Barkaoui
The 3rd International Workshop on Formal Techniques for Safety-Critical …, 2014
182014
Demonstration of Automotive Steering Column Lock using Multicore AutoSAR® Operating System
SP Brewerton, N Willey, S Gandhi, T Rosenthal, C Stellwag, M Lemerre
SAE Technical Paper, 2012
172012
Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs
A Blanchard, N Kosmatov, M Lemerre, F Loulergue
2016 IEEE 16th International Working Conference on Source Code Analysis and …, 2016
162016
No Crash, No Exploit: Automated Verification of Embedded Kernels
O Nicole, M Lemerre, S Bardin, X Rival
2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium …, 2021
132021
Lightweight Shape Analysis Based on Physical Types
O Nicole, M Lemerre, X Rival
International Conference on Verification, Model Checking, and Abstract …, 2022
112022
Interface Compliance of Inline Assembly: Automatically Check, Patch and Refine
F Recoules, S Bardin, R Bonichon, M Lemerre, L Mounier, ML Potet
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE …, 2021
112021
Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries
H Illous, M Lemerre, X Rival
International Static Analysis Symposium, 248-273, 2020
112020
A communication mechanism for resource isolation
M Lemerre, V David, G Vidal-Naquet
Proceedings of the Second Workshop on Isolation and Integration in Embedded …, 2009
102009
Frama-c
P Baudin, F Bobot, R Bonichon, L Correnson, P Cuoq, Z Dargaye, ...
Frama-C, 2020
82020
Gamifying Program Analysis
D Fava, J Signoles, M Lemerre, M Schäf, A Tiwari
Logic for Programming, Artificial Intelligence, and Reasoning, 591-605, 2015
82015
A dependable kernel design for resource isolation and protection
M Lemerre, V David, G Vidal-Naquet
Proceedings of the First Workshop on Isolation and Integration in Dependable …, 2010
72010
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20