Accueil > Recherche > Publications
Publications
Dernier ajout : 13 mars 2014.
matthieu-moy
2025
Journal articles
- ref_biblio
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian. Modeling Techniques for the Formal Verification of Integrated Circuits at Transistor-Level: Performance vs. Precision Trade-offs. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 2025, ⟨10.1109/TCAD.2025.3608647⟩. ⟨hal-05290989⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Bruno Ferres, Oussama Oulkaid, Matthieu Moy, Gabriel Radanne, Ludovic Henrio, et al.. A Survey on Transistor-Level Electrical Rule Checking of Integrated Circuits. ACM Transactions on Design Automation of Electronic Systems, 2025, ⟨10.1145/3748327⟩. ⟨hal-05185119⟩
- Accès au texte intégral et bibtex
-
2024
Conference papers
- ref_biblio
- Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, et al.. A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving. Design, Automation and Test in Europe Conference, Mar 2024, Valencia, Spain. pp.1-6, ⟨10.23919/DATE58400.2024.10546537⟩. ⟨hal-04527225⟩
- Accès au texte intégral et bibtex
-
Software
- ref_biblio
- Julien Emmanuel, Ludovic Henrio, Matthieu Moy, Grégoire Pichon. S4BXI. 2024, ⟨swh:1:dir:a8b9f2cbefac423e6882ac2c63aa0436ae54647f;origin=https://github.com/S4BXI/S4BXI;visit=swh:1:snp:a30301a26aa8108ce124d4e7de8f5a0c057fa033;anchor=swh:1:rev:eaf06b9320cd8bc8fb0f32ca5eeee16231179e84⟩. ⟨hal-04999268⟩
- Accès au bibtex
-
2023
Conference papers
- ref_biblio
- Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, M. Khosravian G., Matthieu Moy, et al.. Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. DATE 2023 - Design, Automation and Test in Europe Conference, Apr 2023, Anvers (Antwerpen), Belgium. pp.1-2, ⟨10.23919/DATE56975.2023.10137147⟩. ⟨hal-04007446⟩
- Accès au texte intégral et bibtex
-
Poster communications
- ref_biblio
- Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian, Matthieu Moy, et al.. Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. Colloque du GDR SoC2, Jun 2023, Lyon, France. ⟨hal-04750092⟩
- Accès au texte intégral et bibtex
-
2022
Conference papers
- ref_biblio
- Ilham Lasfar, Christophe Alias, Matthieu Moy, Rémy Neveu, Alexis Carré. Affine Multibanking for High-Level Synthesis. IMPACT'22 - 12th International Workshop on Polyhedral Compilation Techniques, Jun 2022, Budapest, Hungary. ⟨hal-03862220⟩
- Accès au texte intégral et bibtex
-
Software
- ref_biblio
- Nicolas Chappe, Amaury Maillé, Hadrien Renaud, Ludovic Henrio, Matthieu Moy. Encore language with dataflow explicit futures. 2022, ⟨swh:1:dir:60eafbab23496304be3ceb2bffb2aeabd29f39cd;origin=https://gitlab.inria.fr/lhenrio/encorewithdatafuts.git;visit=swh:1:snp:141bcce12e8332929b40f7fac00c9952f6559589;anchor=swh:1:rev:863181c1578464fee18a6976b0ae624da8b0e125⟩. ⟨hal-04999320⟩
- Accès au bibtex
-
2021
Journal articles
- ref_biblio
- Nicolas Chappe, Ludovic Henrio, Amaury Maillé, Matthieu Moy, Hadrien Renaud. An Optimised Flow for Futures: From Theory to Practice. The Art, Science, and Engineering of Programming, 2021, 6 (1), pp.1-41. ⟨10.22152/programming-journal.org/2022/6/3⟩. ⟨hal-03440766⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Gabriel Busnot, Tanguy Sassolas, Nicolas Ventroux, Matthieu Moy. Standard-compliant parallel SystemC simulation of loosely-timed transaction level models: From baremetal to Linux-based applications support. Integration, the VLSI Journal, 2021, 79, pp.23-40. ⟨10.1016/j.vlsi.2020.12.006⟩. ⟨hal-03487607⟩
- Accès au texte intégral et bibtex
-
Conference papers
- ref_biblio
- Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Grégoire Pichon. S4BXI: the MPI-ready Portals 4 Simulator. 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⟩. ⟨hal-03366573⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Amaury Maillé, Ludovic Henrio, Matthieu Moy. Promise Plus: Flexible Synchronization for Parallel Computations on Arrays. 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⟩. ⟨hal-03143269⟩
- Accès au texte intégral et bibtex
-
Reports
- ref_biblio
- Ilham Lasfar, Christophe Alias, Matthieu Moy, Rémy Neveu, Alexis Carré. Affine Multibanking for High-Level Synthesis. [Research Report] RR-9440, Inria - Research Centre Grenoble – Rhône-Alpes. 2021. ⟨hal-03481328⟩
- Accès au texte intégral et bibtex
-
2020
Conference papers
- ref_biblio
- Julien Emmanuel, Matthieu Moy, Ludovic Henrio, Grégoire Pichon. Simulation of the Portals 4 protocol, and case study on the BXI interconnect. HPCS 2020 - International Conference on High Performance Computing & Simulation, Dec 2020, Barcelona, Spain. pp.1-8. ⟨hal-02972297⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Maximilien Dupont de Dinechin, Matheus Schuh, Matthieu Moy, Claire Maïza. Scaling Up the Memory Interference Analysis for Hard Real-Time Many-Core Systems. DATE 2020 - Design, Automation and Test in Europe Conference, Mar 2020, Grenoble, France. pp.1-4. ⟨hal-02431273⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Gabriel Busnot, Tanguy Sassolas, Nicolas Ventroux, Matthieu Moy. Standard-compliant parallel systemC simulation of loosely-timed Transaction Level Models. ASP-DAC 2020 - 25th Asia and South Pacific Design Automation Conference, Jan 2020, Beijing, China. pp.1-6, ⟨10.1109/ASP-DAC47756.2020.9045568⟩. ⟨hal-02416253⟩
- Accès au texte intégral et bibtex
-
2019
Conference papers
- ref_biblio
- Amaury Graillat, Claire Maiza, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin. Response Time Analysis of Dataflow Applications on a Many-Core Processor with Shared-Memory and Network-on-Chip. RTNS 2019 - 27th International Conference on Real-Time Networks and Systems, Nov 2019, Toulouse, France. pp.61-69, ⟨10.1145/3356401.3356416⟩. ⟨hal-02320463⟩
- Accès au texte intégral et bibtex
-
2018
Conference papers
- ref_biblio
- Tristan Delizy, Stéphane Gros, Kevin Marquet, Matthieu Moy, Tanguy Risset, et al.. Estimating the Impact of Architectural and Software Design Choices on Dynamic Allocation of Heterogeneous Memories. RSP 2018 - 29th International Symposium on Rapid System Prototyping, Oct 2018, Turin, Italy. pp.1-7. ⟨hal-01891599⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Tristan Delizy, Stéphane Gros, Kevin Marquet, Matthieu Moy, Tanguy Risset, et al.. Quels objets en NVRAM ? Placement en mémoires de travail hétérogènes. Compas 2018 - Conférence d’informatique en Parallélisme, Architecture et Système, Jul 2018, Toulouse, France. pp.1-8. ⟨hal-01891398⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin. Parallel Code Generation of Synchronous Programs for a Many-core Architecture. DATE 2018 - Design, Automation and Test in Europe, Mar 2018, Dresden, Germany. pp.1139-1142, ⟨10.23919/DATE.2018.8342182⟩. ⟨hal-01667594v2⟩
- Accès au texte intégral et bibtex
-
2016
Journal articles
- ref_biblio
- Denis Becker, Matthieu Moy, Jérôme Cornet. Parallel Simulation of Loosely Timed SystemC/TLM Programs: Challenges Raised by an Industrial Case Study. Electronics, 2016, 5 (2), pp.22. ⟨10.3390/electronics5020022⟩. ⟨hal-01321055⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Matthieu Moy, Claude Helmstetter, Tayeb Bouhadiba, Florence Maraninchi. Modeling Power Consumption and Temperature in TLM Models. Leibniz Transactions on Embedded Systems, 2016, 3 (1), pp.03:1-03:29. ⟨10.4230/LITES-v003-i001-a003⟩. ⟨hal-01339441⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Karine Altisen, Matthieu Moy. Causality problem in real-time calculus. Formal Methods in System Design, 2016, 48, pp.1 - 45. ⟨10.1007/s10703-016-0250-y⟩. ⟨hal-01406162⟩
- Accès au texte intégral et bibtex
-
Conference papers
- ref_biblio
- Hamza Rihani, Matthieu Moy, Claire Maiza, Robert Davis, Sebastian Altmeyer. Response Time Analysis of Synchronous Data Flow Programs on a Many-Core Processor. RTNS, Nov 2016, Brest, France. ⟨hal-01406145⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Hamza Rihani, Claire Maiza, Matthieu Moy. Efficient Execution of Dependent Tasks on Many-Core Processors. RTSOPS, Jul 2016, Toulouse, France. ⟨hal-01406057⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Denis Becker, Matthieu Moy, Jérôme Cornet. SycView: Visualize and Profile SystemC Simulations. 3rd Workshop on Design Automation for Understanding Hardware Designs, DUHDe 2016, Mar 2016, Dresden, Germany. ⟨hal-01295282⟩
- Accès au texte intégral et bibtex
-
2015
Conference papers
- ref_biblio
- Hamza Rihani, Matthieu Moy, Claire Maiza, Sebastian Altmeyer. WCET analysis in shared resources real-time systems with TDMA buses. RTNS 2015, Nov 2015, Lille, France. ⟨10.1145/2834848.2834871⟩. ⟨hal-01243244⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Denis Becker, Matthieu Moy, Jérôme Cornet. Challenges for the Parallelization of Loosely Timed SystemC Programs. IEEE International Symposium on Rapid System Prototyping, Oct 2015, Amsterdam, Netherlands. ⟨hal-01214891⟩
- Accès au texte intégral et bibtex
-
2014
Journal articles
- ref_biblio
- Matthieu Moy. Compte-rendu d'habilitation : Modélisation à haut niveau d'abstraction pour les systèmes embarqués. Revue des Sciences et Technologies de l'Information - Série TSI : Technique et Science Informatiques, 2014, 33 (3), pp.285-293. ⟨hal-00986536⟩
- Accès au texte intégral et bibtex
-
Habilitation à diriger des recherches
- ref_biblio
- Matthieu Moy. Modélisation à haut niveau d'abstraction pour les systèmes embarqués. Systèmes embarqués. Université de Grenoble, 2014. ⟨tel-01054555⟩
- Accès au texte intégral et bibtex
-
2013
Conference papers
- ref_biblio
- Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi, Jérôme Cornet, Laurent Maillet-Contoz, et al.. Co-Simulation of Functional SystemC TLM Models with Power/Thermal Solvers. Virtual Prototyping of Parallel and Embedded Systems (VIPES), May 2013, Boston, United States. ⟨hal-00807354⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Tayeb Bouhadiba, Matthieu Moy, Florence Maraninchi. System-Level Modeling of Energy in TLM for Early Validation of Power and Thermal Management. Design, Automation, and Test in Europe (DATE), Mar 2013, Grenoble, France. pp.1609. ⟨hal-00807048⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Claude Helmstetter, Jérôme Cornet, Bruno Galilée, Matthieu Moy, Pascal Vivet. Fast and Accurate TLM Simulations using Temporal Decoupling for FIFO-based Communications. Design, Automation and Test in Europe (DATE), Mar 2013, Grenoble, France. pp.1185. ⟨hal-00807046⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Matthieu Moy. Parallel Programming with SystemC for Loosely Timed Models: A Non-Intrusive Approach. DATE, Mar 2013, Grenoble, France. pp.9. ⟨hal-00761047⟩
- Accès au texte intégral et bibtex
-
2012
Conference papers
- ref_biblio
- Julien Henry, David Monniaux, Matthieu Moy. PAGAI: a path sensitive static analyzer. Tools for Automatic Program AnalysiS (TAPAS 2012), Sep 2012, Deauville, France. pp.3, ⟨10.1016/j.entcs.2012.11.003⟩. ⟨hal-00718438⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Julien Henry, David Monniaux, Matthieu Moy. Succinct Representations for Abstract Interpretation. Static analysis symposium (SAS), Sep 2012, Deauville, France. pp.283-299, ⟨10.1007/978-3-642-33125-1_20⟩. ⟨hal-00709833⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Jérôme Cornet, Laurent Maillet-Contoz, Ilija Materic, Sylvian Kaiser, Hela Boussetta, et al.. Co-Simulation of a SystemC TLM Virtual Platform with a Power Simulator at the Architectural Level: Case of a Set-Top Box. DAC, Jun 2012, San Francisco, United States. pp.SESSION 10U: USER TRACK. ⟨hal-00716051⟩
- Accès au bibtex
-
2011
Conference papers
- ref_biblio
- Karine Altisen, Matthieu Moy. Causality closure for a new class of curves in real-time calculus. Proceedings of the 1st International Workshop on Worst-Case Traversal Time, Nov 2011, Vienna, Austria. pp.3--10, ⟨10.1145/2071589.2071590⟩. ⟨hal-00648628⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Giovanni Funchal, Matthieu Moy. Modeling of Time in Discrete-Event Simulation of Systems-on-Chip. MEMOCODE, Jul 2011, Cambridge, United Kingdom. ⟨hal-00595637⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Matthieu Moy. Efficient and Playful Tools to Teach Unix to New Students. ITiCSE, Jun 2011, Darmstadt, Germany. pp.0. ⟨hal-00574783⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Kevin Marquet, Matthieu Moy, Bertrand Jeannet. Efficient Encoding of SystemC/TLM in Promela. DATICS-IMECS, Mar 2011, Hong Kong SAR China. ⟨hal-00557515⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Giovanni Funchal, Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz. Faithfulness Considerations for Virtual Prototyping of Systems-on-Chip. 3rd Workshop on: Rapid Simulation and Performance Evaluation: Methods and Tools, Jan 2011, Greece. ⟨hal-00559986⟩
- Accès au texte intégral et bibtex
-
2010
Conference papers
- ref_biblio
- Kevin Marquet, Matthieu Moy. PinaVM: a SystemC Front-End Based on an Executable Intermediate Representation. International Conference on Embedded Software, Oct 2010, Scottsdale, United States. pp.79. ⟨hal-00495874⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Karine Altisen, Yanhong Liu, Matthieu Moy. Performance Evaluation of Components Using a Granularity-based Interface Between Real-Time Calculus and Timed Automata. 8th Workshop on Quantitative Aspects of Programming Languages, Mar 2010, Paphos, Cyprus. pp.166, ⟨10.4204/EPTCS⟩. ⟨hal-00450292⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Matthieu Moy, Karine Altisen. Arrival Curves for Real-Time Calculus: the Causality Problem and its Solutions. Tools and Algorithms for the Construction and Analysis of Systems, Mar 2010, Paphos, Cyprus. pp.358. ⟨hal-00442257⟩
- Accès au texte intégral et bibtex
-
Preprints, Working Papers, ...
- ref_biblio
- Kevin Marquet, Matthieu Moy, Bageshri Karkare. A Theoretical and Experimental Review of SystemC Front-ends. 2010. ⟨hal-00495886⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Karine Altisen, Matthieu Moy. ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre. 2010. ⟨hal-00475745⟩
- Accès au texte intégral et bibtex
-
2009
Reports
- ref_biblio
- Loïc Besnard, Thierry Gautier, Matthieu Moy, Jean-Pierre Talpin, Kenneth Johnson, et al.. Automatic translation of C/C++ parallel code into synchronous formalism using an SSA intermediate form. [Research Report] RR-6976, INRIA. 2009, pp.16. ⟨inria-00400272⟩
- Accès au texte intégral et bibtex
-
2008
Conference papers
- ref_biblio
- Florence Maraninchi, Matthieu Moy, Jérôme Cornet, Laurent Maillet-Contoz, Claude Helmstetter, et al.. SystemC/TLM Semantics for Heterogeneous System-on-Chip Validation. 2008 Joint IEEE-NEWCAS and TAISA Conference, Jun 2008, Montréal, Canada. ⟨hal-00311011⟩
- Accès au texte intégral et bibtex
-
2007
Preprints, Working Papers, ...
- ref_biblio
- Claus Traulsen, Jérôme Cornet, Matthieu Moy, Florence Maraninchi. A SystemC/TLM semantics in Promela and its Possible Applications. 2007. ⟨hal-00294143⟩
- Accès au texte intégral et bibtex
-
2006
Conference papers
- ref_biblio
- Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy. Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. Formal Methods in Computer Aided Design (FMCAD'06), Nov 2006, San Jose, United States. pp.171-178, ⟨10.1109/FMCAD.2006.10⟩. ⟨hal-00311006⟩
- Accès au texte intégral et bibtex
-
2005
Journal articles
- ref_biblio
- Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz. LusSy: an Open Tool for the Analysis of Systems-on-a-Chip at the Transaction Level. Design Automation for Embedded Systems, 2005, 10 (32), pp.73-104. ⟨10.1007/s10617-006-9044-6⟩. ⟨hal-00310999⟩
- Accès au texte intégral et bibtex
-
Conference papers
- ref_biblio
- Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz. Pinapa: An extraction tool for systemc descriptions of systems-on-a-chip. ACM international conference on Embedded software, Jun 2005, New-York, United States. pp.317 - 324, ⟨10.1145/1086228.1086286⟩. ⟨hal-00198669⟩
- Accès au texte intégral et bibtex
-
- ref_biblio
- Matthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz. LusSy: A toolbox for the analysis of systems-on-a-chip at the transactional level. International Conference on Application of Concurrency to System Design (ACSD), Jun 2005, Saint-Malo, France. pp.26 - 35, ⟨10.1109/ACSD.2005.23⟩. ⟨hal-00198681⟩
- Accès au texte intégral et bibtex
-
Book sections
- ref_biblio
- Matthieu Moy. Chapter "Formal Verification". Frank Ghenassia. Transaction-Level Modeling with SystemC. TLM Concepts and Applications for Embedded Systems, Springer, 15 p., 2005, ISBN: 0-387-26232-6. ⟨hal-00311014⟩
- Accès au bibtex
-
Theses
- ref_biblio
- Matthieu Moy. Techniques and Tools for the Verification of Systems-on-a-Chip at the Transaction Level. Computer Science [cs]. Institut National Polytechnique de Grenoble - INPG, 2005. English. ⟨NNT : ⟩. ⟨tel-00311033⟩
- Accès au texte intégral et bibtex
-
Articles de cette rubrique
-
BibTeX list of Publications
@inproceedingslussy, author = Matthieu Moy and Florence Maraninchi and Laurent Maillet-Contoz, title = LusSy: A Toolbox for the Analysis of Systems-on-a-Chip at the Transactional Level, booktitle = International Conference on Application of Concurrency to System Design, year = 2005, month = June, url = http://www-verimag.imag.fr/~moy/publications/acsd05.pdf, pages = 26--35, abstract = We describe a toolbox for the analysis of Systems-on-a-chip described in SystemC at the transactional level. The tools are able to extract information from SystemC code, and to build a (...) -
Habilitation à Diriger des Recherches (HDR)
Soutenance : le 13 mars 2014. Titre : Modélisation à haut niveau d’abstraction pour les systèmes embarqués Composition du jury : – Gérard Berry (Professeur au Collège de France), Rapporteur – Rolf Drechsler (Professeur à l’Université de Brême, Allemagne), Rapporteur – Marco Roveri (Senior Researcher, Fondazione Bruno Kessler, Italie), Rapporteur – Samarjit Chakraborty (Professeur à l’université technique de Munich, Allemagne), Examinateur – Benoît Dupont de Dinechin (Directeur Technique, Kalray, France), Examinateur – Frédéric Pétrot (Professeur à Grenoble INP, France), Examinateur Résumé : Les (...) -
ACM Authorizer links
Efficient and playful tools to teach Unix to new studentsMatthieu Moy ITiCSE ’11 Proceedings of the 16th annual joint conference on Innovation and technology in computer science education, 2011 frames are not supported PinaVM : a systemC front-end based on an executable intermediate representationKevin Marquet, Matthieu Moy EMSOFT ’10 Proceedings of the tenth ACM international conference on Embedded software, frames are not supported Pinapa : an extraction tool for SystemC descriptions of systems-on-a-chipMatthieu Moy, Florence Maraninchi, Laurent Maillet-Contoz EMSOFT ’05 (...) -
Thèse d’informatique : Techniques et outils pour la vérification de Systèmes-sur-Puce au niveau transaction
-
Ph.D thesis of Computer Science : Techniques and Tools for the Verification of Systems-on-a-Chip at the Transaction Level
| Se connecter |
Plan du site |
Habillage visuel © styleshout sous Licence Creative Commons Attribution 2.5 License