Home > Research > Publications

Publications

Latest update : 13 March 2014.

2023

Conference papers

ref_biblio
Bruno Ferres, Oussama Oulkaid, Ludovic Henrio, Mehdi Khosravian, 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. ⟨hal-04007446⟩
Accès au texte intégral et bibtex
https://hal.science/hal-04007446/file/date2023.pdf 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
https://inria.hal.science/hal-03862220/file/impact22mb.pdf 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
https://inria.hal.science/hal-03440766/file/2107.07298.pdf 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
https://hal.science/hal-03487607/file/aspdac20-journal.pdf 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
https://inria.hal.science/hal-03366573/file/s4bxi-the-mpi-ready-portals-4-simulator.pdf 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
https://hal.science/hal-03143269/file/promise_plus.pdf 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
https://inria.hal.science/hal-03481328/file/RR-9440.pdf 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
https://hal.science/hal-02972297/file/HPCS-2020.pdf 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
https://hal.science/hal-02431273/file/mia-date-2020.pdf 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. ⟨hal-02416253⟩
Accès au texte intégral et bibtex
https://hal.science/hal-02416253/file/aspdac2019.pdf 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
https://hal.science/hal-02320463/file/rtns2019.pdf 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
https://hal.science/hal-01891599/file/rsp2018.pdf 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
https://hal.science/hal-01891398/file/compas2018.pdf 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
https://inria.hal.science/hal-01667594/file/date2018.pdf 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
https://hal.science/hal-01321055/file/electronics-05-00022.pdf 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
https://hal.science/hal-01339441/file/63-285-3-PB.pdf 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
https://hal.science/hal-01406162/file/causality-springer.pdf 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
https://hal.science/hal-01406145/file/rtns16-conf.pdf 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
https://hal.science/hal-01406057/file/rtsops2016.pdf 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
https://hal.science/hal-01295282/file/paper.pdf 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
https://hal.science/hal-01243244/file/rtns-2015.pdf 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
https://hal.science/hal-01214891/file/paper.pdf 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
https://hal.science/hal-00986536/file/hdr-matthieu-moy-fr.pdf 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
https://theses.hal.science/tel-01054555/file/hdr.pdf 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
https://hal.science/hal-00807354/file/vipes2013.pdf 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
https://hal.science/hal-00807048/file/granu-date2013.pdf 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
https://hal.science/hal-00807046/file/TDpaper.pdf 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
https://hal.science/hal-00761047/file/expanded.pdf 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. ⟨hal-00718438⟩
Accès au texte intégral et bibtex
https://hal.science/hal-00718438/file/pagai_article.pdf 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
https://hal.science/hal-00709833/file/implicitization_article.pdf 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
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
https://hal.science/hal-00648628/file/wctt2011-final.pdf 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
https://hal.science/hal-00595637/file/paper.pdf 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
https://hal.science/hal-00574783/file/unix-course.pdf 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
https://hal.science/hal-00557515/file/conf.pdf 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
https://hal.science/hal-00559986/file/paper.pdf 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
https://hal.science/hal-00495874/file/emsoft.pdf 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
https://hal.science/hal-00450292/file/gran-paper.pdf 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
https://hal.science/hal-00442257/file/conf-paper.pdf 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
https://hal.science/hal-00495886/file/rsp.pdf 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
https://hal.science/hal-00475745/file/ac2lus-conf.pdf 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
https://inria.hal.science/inria-00400272/file/RR-6976.pdf 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
https://hal.science/hal-00311011/file/paper.pdf 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
https://hal.science/hal-00294143/file/MicMacToSpin.pdf 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
https://hal.science/hal-00311006/file/Helmstetter_FMCAD06.pdf 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
https://hal.science/hal-00310999/file/springer.pdf 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
https://hal.science/hal-00198669/file/sc-compil.pdf 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
https://hal.science/hal-00198681/file/acsd05.pdf 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
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
https://theses.hal.science/tel-00311033/file/these-en.pdf https://theses.hal.science/tel-00311033/file/these-fr.pdf BibTex

Articles in this section

  • 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 (...)
    Read more...
  • Habilitation à Diriger des Recherches (HDR)

    Defense: March 13th, 2014. Title: High-level Models for Embedded Systems Jury: – Gérard Berry (Professeur au Collège de France), Rapporteur – Rolf Drechsler (Professor at Bremen University, Germany), Rapporteur – Marco Roveri (Senior Researcher, Fondazione Bruno Kessler, Italy), Rapporteur – Samarjit Chakraborty (Professor at TU Munchen, Germany), Examinateur – Benoît Dupont de Dinechin (CTO, Kalray, France), Examinateur – Frédéric Pétrot (Professor at Grenoble INP, France), Examinateur Abstract: Modern embedded systems have reached a level of complexity such that it is no longer possible to (...)
    Read more...
  • 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 (...)
    Read more...
  • Thèse d’informatique : Techniques et outils pour la vérification de Systèmes-sur-Puce au niveau transaction

    Read more...
  • Ph.D thesis of Computer Science: Techniques and Tools for the Verification of Systems-on-a-Chip at the Transaction Level

    Read more...
Valid XHTML 1.0 Transitional
SPIP | | Site Map | Follow site activity RSS 2.0
Graphic design (c) styleshout under License Creative Commons Attribution 2.5 License