Sledovať
Matthieu Lemerre
Matthieu Lemerre
Tenured researcher, Université Paris-Saclay/CEA List
Overená e-mailová adresa na: cea.fr
Názov
Citované v
Citované v
Rok
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
952020
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 relational shape abstract domain
H Illous, M Lemerre, X Rival
Formal Methods in System Design, 1-58, 2021
302021
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
302015
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 rreprocessing
B Farinier, R David, S Bardin, M Lemerre
LPAR-22-22nd International Conference on Logic for Programming, Artificial …, 2018
232018
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
20*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
202014
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
Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries
H Illous, M Lemerre, X Rival
International Static Analysis Symposium, 248-273, 2020
152020
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
152016
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
142021
Lightweight Shape Analysis Based on Physical Types
O Nicole, M Lemerre, X Rival
International Conference on Verification, Model Checking, and Abstract …, 2022
122022
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
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
112009
SSA Translation Is an Abstract Interpretation
M Lemerre
Proceedings of the ACM on Programming Languages 7 (POPL), 1895-1924, 2023
92023
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
Systém momentálne nemôže vykonať operáciu. Skúste to neskôr.
Články 1–20