Matthieu Moy

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