|
Trace Partitioning as an Optimization Problem
Charles Babu
,
Sébastien Bardin
,
Matthieu Lemerre
,
Jean-Yves Marion
Static Analysis Symposia, Roberto Giacobazzi; Alessandra Gorla; Marco Campion, Oct 2024, Pasedena, California, United States
Communication dans un congrès
hal-04917504
v1
|
|
Labeled union-find for constraint factorization
Matthieu Lemerre
,
Dorian Lesbre
NSAD 24 - 10th ACM SIGPLAN International Workshop on Numerical and Symbolic Abstract Domains, Oct 2024, Pasadena, United States
Communication dans un congrès
cea-04996700
v1
|
|
Lightweight Shape Analysis based on Physical Types
Olivier Nicole
,
Matthieu Lemerre
,
Xavier Rival
VMCAI 2022 - 23rd International Conference on Verification, Model Checking, and Abstract Interpretation, Jan 2022, Philadelphia, United States
Communication dans un congrès
hal-03538088
v1
|
|
No crash, no exploit: Automated verification of embedded Kernels
Olivier Nicole
,
Matthieu Lemerre
,
Sébastien Bardin
,
Xavier Rival
RTAAS 2021 - Real-Time and Embedded Technology and Applications Symposium, May 2021, Nashville, United States
Communication dans un congrès
hal-03538067
v1
|
|
Interface compliance of inline assembly: automatically check, patch and refine
Frederic Recoules
,
Sébastien Bardin
,
Richard Bonichon
,
Matthieu Lemerre
,
Laurent Mounier
et al.
Communication dans un congrès
cea-04228171
v1
|
|
Interprocedural Shape Analysis Using Separation Logic-based Transformer Summaries
Hugo Illous
,
Matthieu Lemerre
,
Xavier Rival
SAS 2020 - 27th Static Analysis Symposium, Nov 2020, Chicago / Virtual, United States
Communication dans un congrès
hal-03081558
v1
|
|
Binary-level directed fuzzing for use-after-free vulnerabilities
Manh-Dung Nguyen
,
Sébastien Bardin
,
Richard Bonichon
,
Roland Groz
,
Matthieu Lemerre
RAID 2020 - 23rd International Symposium on Research in Attacks, Intrusions and Defenses, Oct 2020, Saint Sebastien, Spain. pp.47-62
Communication dans un congrès
cea-04477056
v1
|
|
Binary-level Directed Fuzzing for Use-After-Free Vulnerabilities
Manh-Dung Nguyen
,
Sébastien Bardin
,
Richard Bonichon
,
Roland Groz
,
Matthieu Lemerre
RAID 2020: Research in Attacks, Intrusions and Defenses, Oct 2020, Donostia, Spain
Communication dans un congrès
hal-03275248
v1
|
|
Arrays made simpler: An efficient, scalable and thorough rreprocessing
Benjamin Farinier
,
Robin David
,
Sébastien Bardin
,
Matthieu Lemerre
LPAR-22 - 22nd International Conference on Logic for Programming, Artificial Intelligence and Reasoning, Nov 2018, Awassa, Ethiopia. pp.363-380, ⟨10.29007/dc9b⟩
Communication dans un congrès
cea-04477054
v1
|
|
A Relational Shape Abstract Domain
Hugo Illous
,
Matthieu Lemerre
,
Xavier Rival
Communication dans un congrès
hal-01648681
v1
|
|
Proving Determinacy of the PharOS Real-Time Operating System
Selma Azaiez
,
Damien Doligez
,
Matthieu Lemerre
,
Tomer Libal
,
Stephan Merz
Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, May 2016, Linz, Austria. pp.70-85, ⟨10.1007/978-3-319-33600-8_4⟩
Communication dans un congrès
hal-01322335
v1
|
|
Conc2Seq: A Frama-C Plugin for Verification of Parallel Compositions of C Programs
Allan Blanchard
,
Nikolai Kosmatov
,
Matthieu Lemerre
,
Frédéric Loulergue
2016 IEEE 16th International Working Conference on Source Code Analysis and Manipulation (SCAM), 2016, Raleigh, NC, United States. pp.6, ⟨10.1109/SCAM.2016.18⟩
Communication dans un congrès
hal-01423641
v1
|
|
State Space Reduction Strategie for Model Checking Concurrent C Programs
Amira Methni
,
Matthieu Lemerre
,
Belgacem Ben Hedia
,
Serge Haddad
,
Kamel Barkaoui
9th Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'15), 2015, Bucharest, Romania. pp.65-76
Communication dans un congrès
hal-01242951
v1
|
|
Verifying and Constructing Abstract TLA Specifications: Application to the Verification of C programs
Amira Methni
,
Matthieu Lemerre
,
Belgacem Ben Hedia
,
Serge Haddad
,
Kamel Barkaoui
Tenth International Conference on Software Engineering Advances (ISCEA 2015), Nov 2015, Barcelone, Spain
Communication dans un congrès
hal-01501469
v1
|
|
A Case Study on Verification of a Cloud Hypervisor by Proof and Structural Testing
Nikolai Kosmatov
,
Matthieu Lemerre
,
Céline Alec
TAP 2014: International Conference on Tests and Proofs, Jul 2014, York, United Kingdom. pp.158-164
Communication dans un congrès
cea-01822965
v1
|
|
An Approach for Verifying Concurrent C Programs
Amira Methni
,
Matthieu Lemerre
,
Belgacem Ben Hedia
,
Kamel Barkaoui
,
Serge Haddad
8th Junior Researcher Workshop on Real-Time Computing, Oct 2014, Versailles, France. pp.33-36
Communication dans un congrès
hal-01315749
v1
|
|
Specifying and Verifying Concurrent C Programs with TLA+
Amira Methni
,
Matthieu Lemerre
,
Belgacem Ben Hedia
,
Serge Haddad
,
Kamel Barkaoui
The 3rd International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS'14)., Nov 2014, X, France. pp.12-25
Communication dans un congrès
hal-01126566
v1
|
|
C2TLA+ : Traduction automatique du code C vers TLA+
Amira Methni
,
Matthieu Lemerre
,
Belgacem Ben Hedia
,
Kamel Barkaoui
,
Serge Haddad
École d’Été Temps Réel 2013, Aug 2013, Toulouse, France
Communication dans un congrès
hal-01314832
v1
|
|
Towards Verified Cloud Computing Environments
Frédéric Loulergue
,
Frédéric Gava
,
Nikolai Kosmatov
,
Matthieu Lemerre
International Conference on High Performance Computing and Simulation (HPCS), Jul 2012, Madrid, Spain
Communication dans un congrès
hal-00708821
v1
|
|
A Model of Parallel Deterministic Real-Time Computation
Matthieu Lemerre
,
Emmanuel Ohayon
Communication dans un congrès
hal-03104380
v1
|
|
Method and Tools for Mixed-Criticality Real-Time Applications within PharOS
Matthieu Lemerre
,
Emmanuel Ohayon
,
Damien Chabrol
,
Mathieu Jan
,
Marie-Benedicte Jacques
2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2011, -, France. ⟨10.1109/isorcw.2011.15⟩
Communication dans un congrès
hal-03146293
v1
|
|
An Introduction to Time-Constrained Automata
Matthieu Lemerre
,
Vincent David
,
Christophe Assaguès
,
Guy Vidal Naquet
ICE 2010 3rd Interaction and Concurrency Experience, Jun 2010, Amsterdam, Netherlands. pp.83-98
Communication dans un congrès
hal-00583453
v1
|
|
A dependable kernel design for resource isolation and protection
Matthieu Lemerre
,
Vincent David
,
Guy Vidal-Naquet
The First Workshop on Isolation and Integration in Dependable Systems (IIDS'2010), Apr 2010, Paris, France. 6 p
Communication dans un congrès
hal-00517703
v1
|
|
A communication mechanism for resource isolation
Matthieu Lemerre
,
Vincent David
,
Guy Vidal-Naquet
IIES 2009, Mar 2009, Nuremburg, Germany. 6 p
Communication dans un congrès
hal-00471460
v1
|
|
Equivalence between schedule representations: theory and applications
Matthieu Lemerre
,
Vincent David
,
Christophe Assaguès
,
Guy Vidal-Naquet
14th IEEE Real-Time and Embedded Technology and Applications Symposium, Apr 2008, Saint Louis, United States. pp.237-247
Communication dans un congrès
hal-00292628
v1
|
|
A new representation for the scheduling problem and its applications
Matthieu Lemerre
,
Vincent David
,
Christophe Aussagues
,
Guy Vidal-Naquet
RTSS 2006 : 27th International Rea-Time Systems Symposium, Dec 2006, Rio de Janeiro, Brazil. pp.89-92
Communication dans un congrès
hal-00258276
v1
|