Matthieu Moy

ORCID

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 15

Top Venues

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving. DATE (2024)
Bruno Ferres, O. Oulkaid, Ludovic Henrio, Mehdi Khosravian Ghadikolaei, Matthieu Moy, Gabriel Radanne, Pascal Raymond
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. DATE (2023)
Nicolas Chappe, Ludovic Henrio, Amaury Maillé, Matthieu Moy, Hadrien Renaud
An Optimised Flow for Futures: From Theory to Practice. Art Sci. Eng. Program. 6 (1) (2022)
Amaury Maillé, Ludovic Henrio, Matthieu Moy
Promise Plus: Flexible Synchronization for Parallel Computations on Arrays. FSEN (2021)
Nicolas Chappe, Ludovic Henrio, Amaury Maillé, Matthieu Moy, Hadrien Renaud
An Optimised Flow for Futures: From Theory to Practice. CoRR (2021)
Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Grégoire Pichon
S4BXI: the MPI-ready Portals 4 Simulator. MASCOTS (2021)
Gabriel Busnot, Tanguy Sassolas, Nicolas Ventroux, Matthieu Moy
Standard-compliant parallel SystemC simulation of loosely-timed transaction level models: From baremetal to Linux-based applications support. Integr. 79 (2021)
Gabriel Busnot, Tanguy Sassolas, Nicolas Ventroux, Matthieu Moy
Standard-compliant Parallel SystemC simulation of Loosely-Timed Transaction Level Models. ASP-DAC (2020)
Maximilien Dupont de Dinechin, Matheus Schuh, Matthieu Moy, Claire Maiza
Scaling Up the Memory Interference Analysis for Hard Real-Time Many-Core Systems. DATE (2020)
Amaury Graillat, Claire Maiza, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin
Response time analysis of dataflow applications on a many-core processor with shared-memory and network-on-chip. RTNS (2019)
Tristan Delizy, Stephane Gros, Kevin Marquet, Matthieu Moy, Tanguy Risset, Guillaume Salagnac
Estimating the Impact of Architectural and Software Design Choices on Dynamic Allocation of Heterogeneous Memories. RSP (2018)
Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin
Parallel code generation of synchronous programs for a many-core architecture. DATE (2018)
Karine Altisen, Matthieu Moy
Causality problem in real-time calculus. Formal Methods Syst. Des. 48 (1-2) (2016)
Matthieu Moy, Claude Helmstetter, Tayeb Bouhadiba, Florence Maraninchi
Modeling Power Consumption and Temperature in TLM Models. Leibniz Trans. Embed. Syst. 3 (1) (2016)
Hamza Rihani, Matthieu Moy, Claire Maiza, Robert I. Davis, Sebastian Altmeyer
Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor. RTNS (2016)
Hamza Rihani, Matthieu Moy, Claire Maiza, Sebastian Altmeyer
WCET analysis in shared resources real-time systems with TDMA buses. RTNS (2015)
Denis Becker, Matthieu Moy, Jérôme Cornet
Challenges for the parallelization of loosely timed SystemC programs. RSP (2015)
Matthieu Moy
Modélisation à haut niveau d'abstraction pour les systèmes embarqués. Tech. Sci. Informatiques 33 (3) (2014)
Claude Helmstetter, Jérôme Cornet, Bruno Galilée, Matthieu Moy, Pascal Vivet
Fast and accurate TLM simulations using temporal decoupling for FIFO-based communications. DATE (2013)
Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi, Jérôme Cornet, Laurent Maillet-Contoz, Ilija Materic
Co-simulation of Functional SystemC TLM Models with Power/Thermal Solvers. IPDPS Workshops (2013)
Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi
System-level modeling of energy in TLM for early validation of power and thermal management. DATE (2013)
Matthieu Moy
Parallel programming with SystemC for loosely timed models: a non-intrusive approach. DATE (2013)
Julien Henry, David Monniaux, Matthieu Moy
Succinct Representations for Abstract Interpretation CoRR (2012)
Julien Henry, David Monniaux, Matthieu Moy
Succinct Representations for Abstract Interpretation - Combined Analysis Algorithms and Experimental Evaluation. SAS (2012)
Julien Henry, David Monniaux, Matthieu Moy
PAGAI: a path sensitive static analyzer CoRR (2012)
Julien Henry, David Monniaux, Matthieu Moy
PAGAI: A Path Sensitive Static Analyser. Electron. Notes Theor. Comput. Sci. 289 (2012)
Matthieu Moy
Efficient and playful tools to teach Unix to new students. ITiCSE (2011)
Matthieu Moy
Efficient and Playful Tools to Teach Unix to New Students CoRR (2011)
Giovanni Funchal, Matthieu Moy
jTLM: An experimentation framework for the simulation of transaction-level models of Systems-on-Chip. DATE (2011)
Giovanni Funchal, Matthieu Moy
Modeling of time in discrete-event simulation of systems-on-chip. MEMOCODE (2011)
Matthieu Moy, Karine Altisen
Arrival Curves for Real-Time Calculus: The Causality Problem and Its Solutions. TACAS (2010)
Kevin Marquet, Matthieu Moy
PinaVM: a systemC front-end based on an executable intermediate representation. EMSOFT (2010)
Kevin Marquet, Bageshri Karkare, Matthieu Moy
A Theoretical and Experimental Review of SystemC Front-ends. FDL (2010)
Karine Altisen, Yanhong Liu, Matthieu Moy
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata CoRR (2010)
Karine Altisen, Yanhong Liu, Matthieu Moy
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata QAPL (2010)
Karine Altisen, Matthieu Moy
ac2lus: Bringing SMT-Solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. ECRTS (2010)
Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, Florence Maraninchi
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 23 (2009)
Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi
A SystemC/TLM Semantics in Promelaand Its Possible Applications. SPIN (2007)
Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy
Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. FMCAD (2006)
Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz
LusSy: An open tool for the analysis of systems-on-a-chip at the transaction level. Des. Autom. Embed. Syst. 10 (2-3) (2005)
Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz
Pinapa: an extraction tool for SystemC descriptions of systems-on-a-chip. EMSOFT (2005)
Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz
LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level. ACSD (2005)

Matthieu Moy.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Matthieu Moy