Accéder directement au contenu

Matthieu Moy

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

Présentation

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

Publications

pascal-raymond
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

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

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