Matthieu Moy

Maître de conférences à l'UCBL/LIP
54
Documents
Identifiants chercheurs

Présentation

Publications

12
8
7
7
6
5
5
5
4
4
3
3
3
3
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
2
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
1
1
2
5
3
1
3
6
2
2
4
3
5
5
1
1
1
1
5
27
15
11
7
6
3
2

Publications

Deposit thumbnail

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
Deposit thumbnail

A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits

Bruno Ferres , Oussama Oulkaid , Matthieu Moy , Gabriel Radanne , Ludovic Henrio et al.

ACM Transactions on Design Automation of Electronic Systems, 2025, ⟨10.1145/3748327⟩

Article dans une revue hal-05185119v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving

Oussama Oulkaid , Bruno Ferres , Matthieu Moy , Pascal Raymond , Mehdi Khosravian et 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
Deposit thumbnail

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory

Bruno Ferres , Oussama Oulkaid , Ludovic Henrio , M. Khosravian G. , Matthieu Moy et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Quels objets en NVRAM ? Placement en mémoires de travail hétérogènes

Tristan Delizy , Stéphane Gros , Kevin Marquet , Matthieu Moy , Tanguy Risset et 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
Deposit thumbnail

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 Risset et al.

RSP 2018 - 29th International Symposium on Rapid System Prototyping, Oct 2018, Turin, Italy. pp.1-7

Communication dans un congrès hal-01891599v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

Co-Simulation of Functional SystemC TLM Models with Power/Thermal Solvers

Tayeb Bouhadiba , Matthieu Moy , Florence Maraninchi , Jérôme Cornet , Laurent Maillet-Contoz et al.

Virtual Prototyping of Parallel and Embedded Systems (VIPES), May 2013, Boston, United States

Communication dans un congrès hal-00807354v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 Boussetta et al.

DAC, Jun 2012, San Francisco, United States. pp.SESSION 10U: USER TRACK

Communication dans un congrès hal-00716051v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

SystemC/TLM Semantics for Heterogeneous System-on-Chip Validation

Florence Maraninchi , Matthieu Moy , Jérôme Cornet , Laurent Maillet-Contoz , Claude Helmstetter et al.

2008 Joint IEEE-NEWCAS and TAISA Conference, Jun 2008, Montréal, Canada

Communication dans un congrès hal-00311011v1
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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

Chapter "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
Deposit thumbnail

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
Deposit thumbnail

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 Johnson et al.

[Research Report] RR-6976, INRIA. 2009, pp.16

Rapport (rapport de recherche) inria-00400272v1
Deposit thumbnail

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