| 2024 | DATE | A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving. | Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne |
| 2023 | DATE | Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. | Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian Ghadikolaei, Matthieu Moy, Gabriel Radanne, Pascal Raymond |
| 2021 | MASCOTS | S4BXI: the MPI-ready Portals 4 Simulator. | Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Grgoire Pichon |
| 2020 | ASPDAC | Standard-compliant Parallel SystemC simulation of Loosely-Timed Transaction Level Models. | Gabriel Busnot, Tanguy Sassolas, Nicolas Ventroux, Matthieu Moy |
| 2020 | DATE | Scaling Up the Memory Interference Analysis for Hard Real-Time Many-Core Systems. | Maximilien Dupont de Dinechin, Matheus Schuh, Matthieu Moy, Claire Maiza |
| 2019 | RTNS | Response time analysis of dataflow applications on a many-core processor with shared-memory and network-on-chip. | Amaury Graillat, Claire Maiza, Matthieu Moy, Pascal Raymond, Benot Dupont de Dinechin |
| 2018 | DATE | Parallel code generation of synchronous programs for a many-core architecture. | Amaury Graillat, Matthieu Moy, Pascal Raymond, Benot Dupont de Dinechin |
| 2018 | RSP | Estimating the Impact of Architectural and Software Design Choices on Dynamic Allocation of Heterogeneous Memories. | Tristan Delizy, Stephane Gros, Kevin Marquet, Matthieu Moy, Tanguy Risset, Guillaume Salagnac |
| 2016 | RTNS | Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor. | Hamza Rihani, Matthieu Moy, Claire Maiza, Robert I. Davis, Sebastian Altmeyer |
| 2015 | RSP | Challenges for the parallelization of loosely timed SystemC programs. | Denis Becker, Matthieu Moy, Jrme Cornet |
| 2015 | RTNS | WCET analysis in shared resources real-time systems with TDMA buses. | Hamza Rihani, Matthieu Moy, Claire Maiza, Sebastian Altmeyer |
| 2013 | DATE | System-level modeling of energy in TLM for early validation of power and thermal management. | Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi |
| 2013 | DATE | Fast and accurate TLM simulations using temporal decoupling for FIFO-based communications. | Claude Helmstetter, Jrme Cornet, Bruno Galile, Matthieu Moy, Pascal Vivet |
| 2013 | DATE | Parallel programming with SystemC for loosely timed models: a non-intrusive approach. | Matthieu Moy |
| 2012 | SAS | Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation. | Julien Henry, David Monniaux, Matthieu Moy |
| 2011 | DATE | jTLM: An experimentation framework for the simulation of transaction-level models of Systems-on-Chip. | Giovanni Funchal, Matthieu Moy |
| 2011 | ITiCSE | Efficient and playful tools to teach Unix to new students. | Matthieu Moy |
| 2011 | MEMOCODE | Modeling of time in discrete-event simulation of systems-on-chip. | Giovanni Funchal, Matthieu Moy |
| 2010 | ECRTS | ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. | Karine Altisen, Matthieu Moy |
| 2010 | EMSOFT | PinaVM: a systemC front-end based on an executable intermediate representation. | Kevin Marquet, Matthieu Moy |
| 2010 | FDL | A Theoretical and Experimental Review of SystemC Front-ends. | Kevin Marquet, Bageshri Karkare, Matthieu Moy |
| 2010 | TACAS | Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions. | Matthieu Moy, Karine Altisen |
| 2006 | FMCAD | Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. | Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy |
| 2005 | EMSOFT | Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. | Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz |