| A SystemC/TLM Semantics in Promela and Its Possible Applications C Traulsen, J Cornet, M Moy, F Maraninchi Model Checking Software: 14th International SPIN Workshop, Berlin, Germany …, 2007 | 114 | 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 | 107 | 2005 |
| Pagai: A path sensitive static analyser J Henry, D Monniaux, M Moy Electronic Notes in Theoretical Computer Science 289, 15-25, 2012 | 99 | 2012 |
| 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 | 78 | 2005 |
| 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 | 76 | 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 | 71 | 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 | 66 | 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 TACAS 6015, 358-372, 2010 | 49 | 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 Static Analysis: 19th International Symposium, SAS 2012, Deauville, France …, 2012 | 33 | 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 | 25 | 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 | 21 | 2018 |
| Efficient encoding of SystemC/TLM in Promela K Marquet, M Moy, B Jeannet DATICS-IMECS, ?, 2011 | 20 | 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 | 20 | 2010 |
| 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 | 20 | 2009 |
| 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 |
Florence MaraninchiProfessor, Grenoble INP / Ensimag & Verimag LabAdresse e-mail validée de imag.fr
