Matthieu Moy
发表
Maximilien Dupont de Dinechin,
Matheus Schuh,
Matthieu Moy,
2020,
2020 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Matthieu Moy,
Karine Altisen,
K. Altisen,
2009
.
Matthieu Moy,
Matthieu Moy,
2014,
Tech. Sci. Informatiques.
Matthieu Moy,
Matthieu Moy,
2005
.
Laure Gonnord,
Matthieu Moy,
Christophe Alias,
2017
.
Sebastian Altmeyer,
Matthieu Moy,
Claire Maiza,
2015,
RTNS.
Florence Maraninchi,
Matthieu Moy,
Laurent Maillet-Contoz,
2005,
Des. Autom. Embed. Syst..
Florence Maraninchi,
Matthieu Moy,
Tayeb Bouhadiba,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Matthieu Moy,
2005
.
Florence Maraninchi,
Matthieu Moy,
Laurent Maillet-Contoz,
2005,
EMSOFT.
Florence Maraninchi,
Matthieu Moy,
Laurent Maillet-Contoz,
2012,
DAC 2012.
Matthieu Moy,
Karine Altisen,
K. Altisen,
2010,
2010 22nd Euromicro Conference on Real-Time Systems.
Matthieu Moy,
Serge Hustin,
Stephane Guenot,
2005
.
Matthieu Moy,
Claire Maiza,
Hamza Rihani,
2016
.
David Monniaux,
Matthieu Moy,
Julien Henry,
2012,
Electron. Notes Theor. Comput. Sci..
Matthieu Moy,
Jérôme Cornet,
Denis Becker,
2016
.
Pascal Raymond,
Benoît Dupont de Dinechin,
Matthieu Moy,
2018,
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE).
jTLM: An experimentation framework for the simulation of transaction-level models of Systems-on-Chip
Matthieu Moy,
Giovanni Funchal,
2011,
2011 Design, Automation & Test in Europe.
Florence Maraninchi,
Matthieu Moy,
Laurent Maillet-Contoz,
2010
.
Matthieu Moy,
Pascal Vivet,
Claude Helmstetter,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Kevin Marquet,
Matthieu Moy,
Bageshri Karkare,
2010,
FDL.
Florence Maraninchi,
Matthieu Moy,
Laurent Maillet-Contoz,
2006,
2006 Formal Methods in Computer Aided Design.
Matthieu Moy,
2011,
ITiCSE '11.
Kevin Marquet,
Stephane Gros,
Matthieu Moy,
2018,
2018 International Symposium on Rapid System Prototyping (RSP).
Kevin Marquet,
Stephane Gros,
Matthieu Moy,
2018
.
Matthieu Moy,
Denis Becker,
Jérôme Cornet,
2015,
2015 International Symposium on Rapid System Prototyping (RSP).
Pascal Raymond,
Benoît Dupont de Dinechin,
Matthieu Moy,
2019,
RTNS.
Florence Maraninchi,
Thierry Gautier,
Jean-Pierre Talpin,
2009,
Electron. Commun. Eur. Assoc. Softw. Sci. Technol..
Florence Maraninchi,
Matthieu Moy,
Laurent Maillet-Contoz,
2013,
2013 IEEE International Symposium on Parallel & Distributed Processing, Workshops and Phd Forum.
Ludovic Henrio,
Matthieu Moy,
Julien Emmanuel,
2020
.
Matthieu Moy,
Jérôme Cornet,
Denis Becker,
2016
.
Matthieu Moy,
Claude Helmstetter,
Tayeb Bouhadiba,
2014
.
Matthieu Moy,
Karine Altisen,
K. Altisen,
2010,
TACAS.
Kevin Marquet,
Matthieu Moy,
2010,
EMSOFT '10.
Florence Maraninchi,
Matthieu Moy,
Laurent Maillet-Contoz,
2005,
Fifth International Conference on Application of Concurrency to System Design (ACSD'05).
Nicolas Ventroux,
Matthieu Moy,
Tanguy Sassolas,
2020,
2020 25th Asia and South Pacific Design Automation Conference (ASP-DAC).
Matthieu Moy,
2013,
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Kevin Marquet,
Bertrand Jeannet,
Matthieu Moy,
2011
.
Matthieu Moy,
Giovanni Funchal,
2011,
Ninth ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMPCODE2011).
Florence Maraninchi,
Claus Traulsen,
Matthieu Moy,
2007,
SPIN.
David Monniaux,
Matthieu Moy,
Julien Henry,
2012,
ArXiv.
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata
pdf
Yanhong Liu,
Matthieu Moy,
Karine Altisen,
2010,
QAPL.
David Monniaux,
Matthieu Moy,
Julien Henry,
2012,
SAS.
Robert I. Davis,
Sebastian Altmeyer,
Matthieu Moy,
2016,
RTNS '16.
Florence Maraninchi,
Matthieu Moy,
Claude Helmstetter,
2016,
Leibniz Trans. Embed. Syst..
Matthieu Moy,
Karine Altisen,
K. Altisen,
2016,
Formal Methods Syst. Des..
Nicolas Ventroux,
Matthieu Moy,
Tanguy Sassolas,
2021,
Integr..
Ludovic Henrio,
Matthieu Moy,
Amaury Maillé,
2021,
FSEN.
Ludovic Henrio,
Matthieu Moy,
Nicolas Chappe,
2021,
Art Sci. Eng. Program..
Matthieu Moy,
Karine Altisen,
Yanhong A. Liu,
2009
.