Accéder directement au contenu

Matthieu Moy

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

Présentation

<https://matthieu-moy.fr/>

Publications

ludovic-henrio
Image document

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

Oussama Oulkaid , Bruno Ferres , Matthieu Moy , Pascal Raymond , Mehdi Khosravian
Design, Automation and Test in Europe Conference, Mar 2024, Valencia, Spain
Communication dans un congrès hal-04527225v1
Image document

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory

Bruno Ferres , Oussama Oulkaid , Ludovic Henrio , Mehdi Khosravian , Matthieu Moy
DATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium
Communication dans un congrès hal-04007446v1
Image document

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
Image document

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
Image document

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