Matthieu Lemerre
发表
Emmanuel Ohayon,
Matthieu Lemerre,
Vincent David,
2010,
LoCoCo.
Frédéric Loulergue,
Nikolai Kosmatov,
Matthieu Lemerre,
2015,
FMICS.
Frédéric Loulergue,
Nikolai Kosmatov,
Matthieu Lemerre,
2012,
2012 International Conference on High Performance Computing & Simulation (HPCS).
Stephan Merz,
Damien Doligez,
Matthieu Lemerre,
2016,
ABZ.
Bor-Yuh Evan Chang,
Xavier Rival,
Matthieu Lemerre,
2016
.
Matthieu Lemerre,
Vincent Legout,
2012,
SIGBED.
Matthieu Lemerre,
Olivier Debicki,
2012
.
Xavier Rival,
Matthieu Lemerre,
Hugo Illous,
2017,
Formal Methods in System Design.
Kamel Barkaoui,
Serge Haddad,
Matthieu Lemerre,
2014
.
Matthieu Lemerre,
Sébastien Bardin,
2017,
ArXiv.
Nikolai Kosmatov,
Matthieu Lemerre,
Virgile Prevosto,
2020,
IFM.
Matthieu Lemerre,
Vincent David,
Guy Vidal-Naquet,
2008,
2008 IEEE Real-Time and Embedded Technology and Applications Symposium.
Frédéric Loulergue,
Nikolai Kosmatov,
Matthieu Lemerre,
2012,
HPCS.
Matthieu Lemerre,
Vincent David,
Guy Vidal-Naquet,
2006
.
Xavier Rival,
Matthieu Lemerre,
Olivier Nicole,
2020,
ArXiv.
Matthieu Lemerre,
Simon Brewerton,
Natalia Willey,
2012
.
Nikolai Kosmatov,
Matthieu Lemerre,
Céline Alec,
2014,
TAP@STAF.
Kamel Barkaoui,
Serge Haddad,
Matthieu Lemerre,
2015,
VECoS.
Frédéric Loulergue,
Nikolai Kosmatov,
Matthieu Lemerre,
2016,
2016 IEEE 16th International Working Conference on Source Code Analysis and Manipulation (SCAM).
Mathieu Jan,
Emmanuel Ohayon,
Matthieu Lemerre,
2011,
2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops.
Ashish Tiwari,
Julien Signoles,
Martin Schäf,
2015,
LPAR.
Matthieu Lemerre,
Vincent David,
Guy Vidal-Naquet,
2010
.
Matthieu Lemerre,
Vincent David,
Olivier Debicki,
2012
.
Matthieu Lemerre,
Roland Groz,
Richard Bonichon,
2020,
ArXiv.
Matthieu Lemerre,
Matthieu Lemerre,
2009
.
Xavier Rival,
Matthieu Lemerre,
Olivier Nicole,
2020,
ArXiv.
Matthieu Lemerre,
Vincent David,
Stéphane Louise,
2011,
2011 IEEE 13th International Symposium on High-Assurance Systems Engineering.
Emmanuel Ohayon,
Matthieu Lemerre,
Matthieu Lemerre,
2012,
2012 IEEE 33rd Real-Time Systems Symposium.
Matthieu Lemerre,
Vincent David,
Guy Vidal-Naquet,
2009
.
Kamel Barkaoui,
Serge Haddad,
Matthieu Lemerre,
2014,
FTSCS.
Matthieu Lemerre,
Vincent David,
Guy Vidal-Naquet,
2010,
ICE.
Matthieu Lemerre,
Benjamin Farinier,
Sébastien Bardin,
2018,
LPAR.
Kamel Barkaoui,
Serge Haddad,
Matthieu Lemerre,
2015,
ICSEA 2015.
Xavier Rival,
Matthieu Lemerre,
Hugo Illous,
2020,
SAS.
Matthieu Lemerre,
Vincent David,
Guy Vidal-Naquet,
2009,
IIES '09.
Matthieu Lemerre,
Marie-Laure Potet,
Laurent Mounier,
2021,
2021 IEEE/ACM 43rd International Conference on Software Engineering (ICSE).
Xavier Rival,
Matthieu Lemerre,
S'ebastien Bardin,
2020,
2021 IEEE 27th Real-Time and Embedded Technology and Applications Symposium (RTAS).
Xavier Rival,
Matthieu Lemerre,
Hugo Illous,
2021,
Formal Methods Syst. Des..