| 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 | 72 | 2020 |
| 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 | 33 | 2011 |
| 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 | 32 | 2015 |
| 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 | 28 | 2011 |
| 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 | 27 | 2008 |
| Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing. B Farinier, R David, S Bardin, M Lemerre LPAR, 363-380, 2018 | 24 | 2018 |
| 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 | 23 | 2010 |
| A Relational Shape Abstract Domain H Illous, M Lemerre, X Rival NASA Formal Methods Symposium, 212-229, 2017 | 19 | 2017 |
| 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 | 17 | 2012 |
| 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 | 16 | 2014 |
| 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 | 15* | 2017 |
| 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 | 15 | 2016 |
| 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 | 12 | 2021 |
| 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 | 12 | 2021 |
| 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 | 10 | 2009 |
| Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries H Illous, M Lemerre, X Rival International Static Analysis Symposium, 248-273, 2020 | 9 | 2020 |
| Frama-c P Baudin, F Bobot, R Bonichon, L Correnson, P Cuoq, Z Dargaye, ... Frama-C, 2020 | 8 | 2020 |
| Gamifying Program Analysis D Fava, J Signoles, M Lemerre, M Schäf, A Tiwari Logic for Programming, Artificial Intelligence, and Reasoning, 591-605, 2015 | 8 | 2015 |
| 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 | 7 | 2010 |
| Proving Determinacy of the PharOS Real-Time Operating System S Azaiez, D Doligez, M Lemerre, T Libal, S Merz International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and …, 2016 | 6 | 2016 |
Sébastien BardinCEA, List, Université Paris-SaclayVerified email at cea.fr
