Concepedia

Matthieu Lemerre

ML

Statistics

Publications

6

Citations

85

H-Index

6

Active since

2008

Affiliations

Laboratoire d'Intégration des Systèmes et des Technologies(Current)

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

Université Paris-Saclay

Direction des Energies

Matthieu Lemerre is an author at Laboratoire d'Intégration des Systèmes et des Technologies specializing in engineering, computer science, and systems engineering.

ORCID

Top concepts

Publications per year

2008–2020

6

Publications

6

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

Matthieu Lemerre, Emmanuel Ohayon, Damien Chabrol et al. · 2011 · 20 citations · Full text

, , +20

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

Manh-Dung Nguyen, Sébastien Bardin, Richard Bonichon et al. · arXiv (Cornell University) · 2020 · 19 citations · Full text

, , +18

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

Stéphane Louise, Matthieu Lemerre, Christophe Aussaguès · 2011 · 13 citations

, , +22

Equivalence between Schedule Representations: Theory and Applications

Matthieu Lemerre, Christophe Aussagu, Guy Vidal-Naquet · 2008 · 12 citations

, , +16

Arrays Made Simpler: An Efficient, Scalable and Thorough Preprocessing

Benjamin Farinier, Robin David, Sébastien Bardin et al. · EPiC series in computing · 2018 · 11 citations · Full text

1–5 of 6