Suivre
Matthieu Moy
Matthieu Moy
Adresse e-mail validée de univ-lyon1.fr - Page d'accueil
Titre
Citée par
Citée par
Année
A SystemC/TLM Semantics in Promela and Its Possible Applications
C Traulsen, J Cornet, M Moy, F Maraninchi
International SPIN Workshop on Model Checking of Software, 204-222, 2007
1122007
Pinapa: An extraction tool for systemc descriptions of systems-on-a-chip
M Moy, F Maraninchi, L Maillet-Contoz
Proceedings of the 5th ACM international conference on Embedded software …, 2005
1042005
Pagai: A path sensitive static analyser
J Henry, D Monniaux, M Moy
Electronic Notes in Theoretical Computer Science 289, 15-25, 2012
902012
LusSy: A toolbox for the analysis of systems-on-a-chip at the transactional level
M Moy, F Maraninchi, L Maillet-Contoz
Fifth International Conference on Application of Concurrency to System …, 2005
782005
LusSy: an open tool for the analysis of systems-on-a-chip at the transaction level
M Moy, F Maraninchi, L Maillet-Contoz
Design Automation for Embedded Systems 10 (2), 73-104, 2005
742005
Response time analysis of synchronous data flow programs on a many-core processor
H Rihani, M Moy, C Maiza, RI Davis, S Altmeyer
Proceedings of the 24th International Conference on Real-Time Networks and …, 2016
652016
PinaVM: a SystemC front-end based on an executable intermediate representation
K Marquet, M Moy
Proceedings of the tenth ACM international conference on Embedded software …, 2010
632010
Automatic generation of schedulings for improving the test coverage of systems-on-a-chip
C Helmstetter, F Maraninchi, L Maillet-Contoz, M Moy
2006 Formal Methods in Computer Aided Design, 171-178, 2006
632006
Arrival curves for real-time calculus: the causality problem and its solutions
M Moy, K Altisen
International Conference on Tools and Algorithms for the Construction and …, 2010
462010
System-level modeling of energy in TLM for early validation of power and thermal management
T Bouhadiba, M Moy, F Maraninchi
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2013
422013
Parallel programming with SystemC for loosely timed models: A non-intrusive approach
M Moy
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), 9-14, 2013
412013
A theoretical and experimental review of SystemC front-ends
K Marquet, M Moy, B Karkare
2010 Forum on Specification & Design Languages (FDL 2010), 1-6, 2010
402010
Techniques and Tools for the Verification of Systems-on-a-Chip at the Transaction Level
M Moy
Institut National Polytechnique de Grenoble-INPG, 2005
382005
Succinct representations for abstract interpretation
J Henry, D Monniaux, M Moy
International Static Analysis Symposium, 283-299, 2012
322012
Co-simulation of functional SystemC TLM models with power/thermal solvers
T Bouhadiba, M Moy, F Maraninchi, J Cornet, L Maillet-Contoz, I Materic
2013 IEEE International Symposium on Parallel & Distributed Processing …, 2013
252013
Efficient encoding of SystemC/TLM in Promela
K Marquet, M Moy, B Jeannet
DATICS-IMECS, ?, 2011
202011
Performance evaluation of components using a granularity-based interface between real-time calculus and timed automata
K Altisen, Y Liu, M Moy
arXiv preprint arXiv:1004.2637, 2010
202010
jTLM: an experimentation framework for the simulation of transaction-level models of systems-on-chip
G Funchal, M Moy
2011 Design, Automation & Test in Europe, 1-4, 2011
192011
SystemC/TLM semantics for heterogeneous system-on-chip validation
F Maraninchi, M Moy, J Cornet, L Maillet-Contoz, C Helmstetter, ...
2008 Joint 6th International IEEE Northeast Workshop on Circuits and Systems …, 2008
192008
Parallel code generation of synchronous programs for a many-core architecture
A Graillat, M Moy, P Raymond, BD De Dinechin
2018 Design, Automation & Test in Europe Conference & Exhibition (DATE …, 2018
172018
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20