Matthieu Moy Maître de conférences à l'UCBL/LIP

Identifiants chercheurs

IdHAL :

matthieu-moy

ORCID :

0000-0002-6054-8882

IdRef :

106984993

Présentation

Publications

Article dans une revue (9)

Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance vs. Precision Trade-offs Oussama Oulkaid,Bruno Ferres,Matthieu Moy,Pascal Raymond,Mehdi Khosravian IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2025, ⟨10.1109/TCAD.2025.3608647⟩ Article dans une revue hal-05290989v1
A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits Bruno Ferres,Oussama Oulkaid,Matthieu Moy,Gabriel Radanne,Ludovic Henrioet al. ACM Transactions on Design Automation of Electronic Systems, 2025, ⟨10.1145/3748327⟩ Article dans une revue hal-05185119v1
An Optimised Flow for Futures: From Theory to Practice Nicolas Chappe,Ludovic Henrio,Amaury Maillé,Matthieu Moy,Hadrien Renaud The Art, Science, and Engineering of Programming, 2021, 6 (1), pp.1-41. ⟨10.22152/programming-journal.org/2022/6/3⟩ Article dans une revue hal-03440766v1
Standard-compliant parallel SystemC simulation of loosely-timed transaction level models: From baremetal to Linux-based applications support Gabriel Busnot,Tanguy Sassolas,Nicolas Ventroux,Matthieu Moy Integration, the VLSI Journal, 2021, 79, pp.23-40. ⟨10.1016/j.vlsi.2020.12.006⟩ Article dans une revue hal-03487607v1
Parallel Simulation of Loosely Timed SystemC/TLM Programs: Challenges Raised by an Industrial Case Study Denis Becker,Matthieu Moy,Jérôme Cornet Electronics, 2016, 5 (2), pp.22. ⟨10.3390/electronics5020022⟩ Article dans une revue hal-01321055v1
Modeling Power Consumption and Temperature in TLM Models Matthieu Moy,Claude Helmstetter,Tayeb Bouhadiba,Florence Maraninchi Leibniz Transactions on Embedded Systems, 2016, 3 (1), pp.03:1-03:29. ⟨10.4230/LITES-v003-i001-a003⟩ Article dans une revue hal-01339441v1
Causality problem in real-time calculus Karine Altisen,Matthieu Moy Formal Methods in System Design, 2016, 48, pp.1 - 45. ⟨10.1007/s10703-016-0250-y⟩ Article dans une revue hal-01406162v1
Compte-rendu d'habilitation : Modélisation à haut niveau d'abstraction pour les systèmes embarqués Matthieu Moy Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2014, 33 (3), pp.285-293 Article dans une revue hal-00986536v1
LusSy: an Open Tool for the Analysis of Systems-on-a-Chip at the Transaction Level Matthieu Moy,Florence Maraninchi,Laurent Maillet-Contoz Design Automation for Embedded Systems, 2005, 10 (32), pp.73-104. ⟨10.1007/s10617-006-9044-6⟩ Article dans une revue hal-00310999v1

Communication dans un congrès (36)

A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving Oussama Oulkaid,Bruno Ferres,Matthieu Moy,Pascal Raymond,Mehdi Khosravianet al. Design, Automation and Test in Europe Conference, Mar 2024, Valencia, Spain. pp.1-6, ⟨10.23919/DATE58400.2024.10546537⟩ Communication dans un congrès hal-04527225v1
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory Bruno Ferres,Oussama Oulkaid,Ludovic Henrio,M. Khosravian G.,Matthieu Moyet al. DATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium. pp.1-2, ⟨10.23919/DATE56975.2023.10137147⟩ Communication dans un congrès hal-04007446v1
Affine Multibanking for High-Level Synthesis Ilham Lasfar,Christophe Alias,Matthieu Moy,Rémy Neveu,Alexis Carré IMPACT'22 - 12th International Workshop on Polyhedral Compilation Techniques, Jun 2022, Budapest, Hungary Communication dans un congrès hal-03862220v1
S4BXI: the MPI-ready Portals 4 Simulator Julien Emmanuel,Matthieu Moy,Ludovic Henrio,Grégoire Pichon MASCOTS 2021 - 29th IEEE International Symposium on the Modeling, Analysis, and Simulation of Computer and Telecommunication Systems, Nov 2021, Houston, United States. pp.1-8, ⟨10.1109/MASCOTS53633.2021.9614285⟩ Communication dans un congrès hal-03366573v1
Promise Plus: Flexible Synchronization for Parallel Computations on Arrays Amaury Maillé,Ludovic Henrio,Matthieu Moy FSEN 2021 - 9th IPM International Conference on Fundamentals of Software Engineering, May 2021, Tehran, Iran. pp.1-7, ⟨10.1007/978-3-030-89247-0_13⟩ Communication dans un congrès hal-03143269v1
Simulation of the Portals 4 protocol, and case study on the BXI interconnect Julien Emmanuel,Matthieu Moy,Ludovic Henrio,Grégoire Pichon HPCS 2020 - International Conference on High Performance Computing & Simulation, Dec 2020, Barcelona, Spain. pp.1-8 Communication dans un congrès hal-02972297v1
Scaling Up the Memory Interference Analysis for Hard Real-Time Many-Core Systems Maximilien Dupont de Dinechin,Matheus Schuh,Matthieu Moy,Claire Maïza DATE 2020 - Design, Automation and Test in Europe Conference, Mar 2020, Grenoble, France. pp.1-4 Communication dans un congrès hal-02431273v1
Standard-compliant parallel systemC simulation of loosely-timed Transaction Level Models Gabriel Busnot,Tanguy Sassolas,Nicolas Ventroux,Matthieu Moy ASP-DAC 2020 - 25th Asia and South Pacific Design Automation Conference, Jan 2020, Beijing, China. pp.1-6, ⟨10.1109/ASP-DAC47756.2020.9045568⟩ Communication dans un congrès hal-02416253v1
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,Benoît Dupont de Dinechin RTNS 2019 - 27th International Conference on Real-Time Networks and Systems, Nov 2019, Toulouse, France. pp.61-69, ⟨10.1145/3356401.3356416⟩ Communication dans un congrès hal-02320463v1
Estimating the Impact of Architectural and Software Design Choices on Dynamic Allocation of Heterogeneous Memories Tristan Delizy,Stéphane Gros,Kevin Marquet,Matthieu Moy,Tanguy Rissetet al. RSP 2018 - 29th International Symposium on Rapid System Prototyping, Oct 2018, Turin, Italy. pp.1-7 Communication dans un congrès hal-01891599v1
Quels objets en NVRAM ? Placement en mémoires de travail hétérogènes Tristan Delizy,Stéphane Gros,Kevin Marquet,Matthieu Moy,Tanguy Rissetet al. Compas 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8 Communication dans un congrès hal-01891398v1
Parallel Code Generation of Synchronous Programs for a Many-core Architecture Amaury Graillat,Matthieu Moy,Pascal Raymond,Benoît Dupont de Dinechin DATE 2018 - Design, Automation and Test in Europe, Mar 2018, Dresden, Germany. pp.1139-1142, ⟨10.23919/DATE.2018.8342182⟩ Communication dans un congrès hal-01667594v2
Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor Hamza Rihani,Matthieu Moy,Claire Maiza,Robert Davis,Sebastian Altmeyer RTNS, Nov 2016, Brest, France Communication dans un congrès hal-01406145v1
SycView: Visualize and Profile SystemC Simulations Denis Becker,Matthieu Moy,Jérôme Cornet 3rd Workshop on Design Automation for Understanding Hardware Designs, DUHDe 2016, Mar 2016, Dresden, Germany Communication dans un congrès hal-01295282v1
Efficient Execution of Dependent Tasks on Many-Core Processors Hamza Rihani,Claire Maiza,Matthieu Moy RTSOPS, Jul 2016, Toulouse, France Communication dans un congrès hal-01406057v1
WCET analysis in shared resources real-time systems with TDMA buses Hamza Rihani,Matthieu Moy,Claire Maiza,Sebastian Altmeyer RTNS 2015, Nov 2015, Lille, France. ⟨10.1145/2834848.2834871⟩ Communication dans un congrès hal-01243244v1
Challenges for the Parallelization of Loosely Timed SystemC Programs Denis Becker,Matthieu Moy,Jérôme Cornet IEEE International Symposium on Rapid System Prototyping, Oct 2015, Amsterdam, Netherlands Communication dans un congrès hal-01214891v1
Co-Simulation of Functional SystemC TLM Models with Power/Thermal Solvers Tayeb Bouhadiba,Matthieu Moy,Florence Maraninchi,Jérôme Cornet,Laurent Maillet-Contozet al. Virtual Prototyping of Parallel and Embedded Systems (VIPES), May 2013, Boston, United States Communication dans un congrès hal-00807354v1
Fast and Accurate TLM Simulations using Temporal Decoupling for FIFO-based Communications Claude Helmstetter,Jérôme Cornet,Bruno Galilée,Matthieu Moy,Pascal Vivet Design, Automation and Test in Europe (DATE), Mar 2013, Grenoble, France. pp.1185 Communication dans un congrès hal-00807046v1
System-Level Modeling of Energy in TLM for Early Validation of Power and Thermal Management Tayeb Bouhadiba,Matthieu Moy,Florence Maraninchi Design, Automation, and Test in Europe (DATE), Mar 2013, Grenoble, France. pp.1609 Communication dans un congrès hal-00807048v1
Parallel Programming with SystemC for Loosely Timed Models: A Non-Intrusive Approach Matthieu Moy DATE, Mar 2013, Grenoble, France. pp.9 Communication dans un congrès hal-00761047v1
PAGAI: a path sensitive static analyzer Julien Henry,David Monniaux,Matthieu Moy Tools for Automatic Program AnalysiS (TAPAS 2012), Sep 2012, Deauville, France. pp.3, ⟨10.1016/j.entcs.2012.11.003⟩ Communication dans un congrès hal-00718438v1
Co-Simulation of a SystemC TLM Virtual Platform with a Power Simulator at the Architectural Level: Case of a Set-Top Box Jérôme Cornet,Laurent Maillet-Contoz,Ilija Materic,Sylvian Kaiser,Hela Boussettaet al. DAC, Jun 2012, San Francisco, United States. pp.SESSION 10U: USER TRACK Communication dans un congrès hal-00716051v1
Succinct Representations for Abstract Interpretation Julien Henry,David Monniaux,Matthieu Moy Static analysis symposium (SAS), Sep 2012, Deauville, France. pp.283-299, ⟨10.1007/978-3-642-33125-1_20⟩ Communication dans un congrès hal-00709833v1
Faithfulness Considerations for Virtual Prototyping of Systems-on-Chip Giovanni Funchal,Matthieu Moy,Florence Maraninchi,Laurent Maillet-Contoz 3rd Workshop on: Rapid Simulation and Performance Evaluation: Methods and Tools, Jan 2011, Greece Communication dans un congrès hal-00559986v1
Causality closure for a new class of curves in real-time calculus Karine Altisen,Matthieu Moy Proceedings of the 1st International Workshop on Worst-Case Traversal Time, Nov 2011, Vienna, Austria. pp.3--10, ⟨10.1145/2071589.2071590⟩ Communication dans un congrès hal-00648628v1
Efficient Encoding of SystemC/TLM in Promela Kevin Marquet,Matthieu Moy,Bertrand Jeannet DATICS-IMECS, Mar 2011, Hong Kong SAR China Communication dans un congrès hal-00557515v1
Modeling of Time in Discrete-Event Simulation of Systems-on-Chip Giovanni Funchal,Matthieu Moy MEMOCODE, Jul 2011, Cambridge, United Kingdom Communication dans un congrès hal-00595637v1
Efficient and Playful Tools to Teach Unix to New Students Matthieu Moy ITiCSE, Jun 2011, Darmstadt, Germany. pp.0 Communication dans un congrès hal-00574783v1
Arrival Curves for Real-Time Calculus: the Causality Problem and its Solutions Matthieu Moy,Karine Altisen Tools and Algorithms for the Construction and Analysis of Systems, Mar 2010, Paphos, Cyprus. pp.358 Communication dans un congrès hal-00442257v1
PinaVM: a SystemC Front-End Based on an Executable Intermediate Representation Kevin Marquet,Matthieu Moy International Conference on Embedded Software, Oct 2010, Scottsdale, United States. pp.79 Communication dans un congrès hal-00495874v1
Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata Karine Altisen,Yanhong Liu,Matthieu Moy 8th Workshop on Quantitative Aspects of Programming Languages, Mar 2010, Paphos, Cyprus. pp.166, ⟨10.4204/EPTCS⟩ Communication dans un congrès hal-00450292v1
SystemC/TLM Semantics for Heterogeneous System-on-Chip Validation Florence Maraninchi,Matthieu Moy,Jérôme Cornet,Laurent Maillet-Contoz,Claude Helmstetteret al. 2008 Joint IEEE-NEWCAS and TAISA Conference, Jun 2008, Montréal, Canada Communication dans un congrès hal-00311011v1
Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip Claude Helmstetter,Florence Maraninchi,Laurent Maillet-Contoz,Matthieu Moy Formal Methods in Computer Aided Design (FMCAD'06), Nov 2006, San Jose, United States. pp.171-178, ⟨10.1109/FMCAD.2006.10⟩ Communication dans un congrès hal-00311006v1
Pinapa: An extraction tool for systemc descriptions of systems-on-a-chip Matthieu Moy,Florence Maraninchi,Laurent Maillet-Contoz ACM international conference on Embedded software, Jun 2005, New-York, United States. pp.317 - 324, ⟨10.1145/1086228.1086286⟩ Communication dans un congrès hal-00198669v1
LusSy: A toolbox for the analysis of systems-on-a-chip at the transactional level Matthieu Moy,Florence Maraninchi,Laurent Maillet-Contoz International Conference on Application of Concurrency to System Design (ACSD), Jun 2005, Saint-Malo, France. pp.26 - 35, ⟨10.1109/ACSD.2005.23⟩ Communication dans un congrès hal-00198681v1

Poster de conférence (1)

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory Bruno Ferres,Oussama Oulkaid,Ludovic Henrio,Mehdi Khosravian,Matthieu Moyet al. Colloque du GDR SoC2, Jun 2023, Lyon, France Poster de conférence hal-04750092v1

Chapitre d'ouvrage (1)

Chapter &quot;Formal Verification Matthieu Moy Frank Ghenassia. Transaction-Level Modeling with SystemC. TLM Concepts and Applications for Embedded Systems, Springer, 15 p., 2005, ISBN: 0-387-26232-6 Chapitre d'ouvrage hal-00311014v1

Pré-publication, Document de travail (3)

A Theoretical and Experimental Review of SystemC Front-ends Kevin Marquet,Matthieu Moy,Bageshri Karkare 2010 Pré-publication, Document de travail hal-00495886v1
ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre Karine Altisen,Matthieu Moy 2010 Pré-publication, Document de travail hal-00475745v1
A SystemC/TLM semantics in Promela and its Possible Applications Claus Traulsen,Jérôme Cornet,Matthieu Moy,Florence Maraninchi 2007 Pré-publication, Document de travail hal-00294143v1

Rapport (2)

Affine Multibanking for High-Level Synthesis Ilham Lasfar,Christophe Alias,Matthieu Moy,Rémy Neveu,Alexis Carré [Research Report] RR-9440, Inria - Research Centre Grenoble – Rhône-Alpes. 2021 Rapport (rapport de recherche) hal-03481328v1
Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form Loïc Besnard,Thierry Gautier,Matthieu Moy,Jean-Pierre Talpin,Kenneth Johnsonet al. [Research Report] RR-6976, INRIA. 2009, pp.16 Rapport (rapport de recherche) inria-00400272v1

Thèse (1)

Techniques and Tools for the Verification of Systems-on-a-Chip at the Transaction Level Matthieu Moy Computer Science [cs]. Institut National Polytechnique de Grenoble - INPG, 2005. English. ⟨NNT : ⟩ Thèse tel-00311033v1

HDR (1)

Modélisation à haut niveau d'abstraction pour les systèmes embarqués Matthieu Moy Systèmes embarqués. Université de Grenoble, 2014 HDR tel-01054555v1