Matthieu Moy
Matthieu Moy
LIP / Lyon 1
Verified email at univ-lyon1.fr - Homepage
TitleCited byYear
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
972005
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
942007
Pagai: A path sensitive static analyser
J Henry, D Monniaux, M Moy
Electronic Notes in Theoretical Computer Science 289, 15-25, 2012
702012
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
702005
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-3), 73-104, 2005
662005
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
582006
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
512010
Techniques and Tools for the Verification of Systems-on-a-Chip at the Transaction Level
M Moy
INPG, Grenoble, Fr, Tech. Rep, 2005
402005
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
362016
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
342010
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
332010
System-level modeling of energy in TLM for early validation of power and thermal management
T Bouhadiba, M Moy, F Maraninchi
Proceedings of the Conference on Design, Automation and Test in Europe, 1609 …, 2013
322013
Parallel programming with SystemC for loosely timed models: a non-intrusive approach
M Moy
Proceedings of the Conference on Design, Automation and Test in Europe, 9-14, 2013
282013
Succinct representations for abstract interpretation
J Henry, D Monniaux, M Moy
International Static Analysis Symposium, 283-299, 2012
282012
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
182008
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
172013
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
172011
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
172010
Efficient encoding of SystemC/TLM in Promela
K Marquet, M Moy, B Jeannet
DATICS-IMECS, ?, 2011
162011
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form
L Besnard, T Gautier, M Moy, JP Talpin, K Johnson, F Maraninchi
Electronic Communications of the EASST 23, 2009
162009
The system can't perform the operation now. Try again later.
Articles 1–20