| 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 | 120 | 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 | 104 | 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 | 82 | 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 | 81 | 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 | 74 | 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 | 61 | 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 | 58 | 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 | 44 | 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 | 38 | 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 | 28 | 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 |
| Efficient encoding of SystemC/TLM in Promela K Marquet, M Moy, B Jeannet DATICS-IMECS, ?, 2011 | 21 | 2011 |
| 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 |
| 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 | 20 | 2016 |
| 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 | 19 | 2008 |
Florence MaraninchiProfessor, Grenoble INP / Ensimag & Verimag LabAdresse e-mail validée de imag.fr
