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 | 119 | 2007 |
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 | 110 | 2005 |
Pagai: A path sensitive static analyser J Henry, D Monniaux, M Moy Electronic Notes in Theoretical Computer Science 289, 15-25, 2012 | 108 | 2012 |
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, 73-104, 2005 | 80 | 2005 |
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 | 80 | 2005 |
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 | 72 | 2016 |
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 | 68 | 2010 |
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 | 64 | 2006 |
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 | 54 | 2010 |
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 | 46 | 2013 |
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 | 43 | 2013 |
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 | 41 | 2010 |
Techniques and Tools for the Verification of Systems-on-a-Chip at the Transaction Level M Moy Institut National Polytechnique de Grenoble-INPG, 2005 | 37 | 2005 |
Succinct representations for abstract interpretation: Combined analysis algorithms and experimental evaluation J Henry, D Monniaux, M Moy International Static Analysis Symposium, 283-299, 2012 | 31 | 2012 |
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 | 24 | 2013 |
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 | 22 | 2018 |
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 | 21 | 2010 |
Efficient encoding of SystemC/TLM in Promela K Marquet, M Moy, B Jeannet DATICS-IMECS, ?, 2011 | 20 | 2011 |
Modeling power consumption and temperature in TLM models M Moy, C Helmstetter, T Bouhadiba, F Maraninchi Leibniz Transactions on Embedded Systems 3 (1), 03: 1-03: 29, 2016 | 19 | 2016 |
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 | 19 | 2011 |