| 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 | 105 | 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 | 83 | 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 | 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 | 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 International Conference on Tools and Algorithms for the Construction and …, 2010 | 59 | 2010 |
| 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 |
| 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 | 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 | 42 | 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 | 29 | 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 | 23 | 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 | 19 | 2016 |
| WCET analysis in shared resources real-time systems with TDMA buses H Rihani, M Moy, C Maiza, S Altmeyer Proceedings of the 23rd International Conference on Real Time and Networks …, 2015 | 19 | 2015 |
Florence MaraninchiProfessor, Grenoble INP / Ensimag & Verimag LabПотвърден имейл адрес: imag.fr