Home > Research > Publications

Publications

Latest update : 13 March 2014.

Publications HAL de Matthieu,Moy

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, MDPI, 2016, 5 (2), pp.22. <10.3390/electronics5020022>. <hal-01321055>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, European Design and Automation Association (EDAA) \ EMbedded Systems Special Interest Group (EMSIG) and Schloss Dagstuhl -- Leibniz-Zentrum für Informatik GmbH, Dagstuhl Publishing., 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.archives-ouvertes.fr/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, Springer Verlag, 2016, 48, pp.1 - 45. <10.1007/s10703-016-0250-y>. <hal-01406162>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/hal-01295282/file/paper.pdf BibTex
ref_biblio
Denis Becker, Matthieu Moy, Jérôme Cornet. SycView: Visualize and Profile SystemC Simulations. DUHDe, Mar 2016, Dresden, Germany. 3rd Workshop on Design Automation for Understanding Hardware Designs. <http://www.informatik.uni-bremen.de/duhde/2016/>. <hal-01243265>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-01243265/file/duhde2016.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. RTNS: 23rd International Conference on Real-Time Networks and Systems, 2015, 23rd International Conference on Real-Time Networks and Systems. <http://rtns2015.lifl.fr/>. <10.1145/2834848.2834871>. <hal-01243244>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/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. Technique et Science Informatiques, Hermès-Lavoisier, 2014, 33 (3), pp.285-293. <hal-00986536>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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://tel.archives-ouvertes.fr/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. 2013. <hal-00807354>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, 2013. <hal-00807048>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, 2013. <hal-00807046>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, 2013. <hal-00761047>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, 2012. <hal-00718438>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. Springer, pp.283-299, 2012, Lecture notes in Computer Science. <10.1007/978-3-642-33125-1_20>. <hal-00709833>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, 2012. <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. ACM, pp.3--10, 2011, <10.1145/2071589.2071590>. <hal-00648628>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. 2011. <hal-00595637>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, 2011. <hal-00574783>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. 2011. <hal-00557515>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. 2011. <hal-00559986>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, 2010. <hal-00495874>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00495874/file/emsoft.pdf BibTex
ref_biblio
Karine Altisen, Yanhong Lui, 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, 2010, <10.4204/EPTCS>. <hal-00450292>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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. Javier Esparza and Rupak Majumdar. Tools and Algorithms for the Construction and Analysis of Systems, Mar 2010, Paphos, Cyprus. Springer, pp.358, 2010, LNCS. <hal-00442257>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/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.archives-ouvertes.fr/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://hal.inria.fr/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. IEEE. 2008 Joint IEEE-NEWCAS and TAISA Conference, Jun 2008, Montréal, Canada. 2008. <hal-00311011>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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.archives-ouvertes.fr/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. IEEE. Formal Methods in Computer Aided Design (FMCAD'06), Nov 2006, San Jose, United States. pp.171-178, 2006, <10.1109/FMCAD.2006.10>. <hal-00311006>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/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, Springer Verlag, 2005, 10 (32), pp.73-104. <10.1007/s10617-006-9044-6>. <hal-00310999>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00310999/file/springer.pdf BibTex

Conference papers

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. ISBN ~ ISSN:1550-4808 0-7695-2363-3, pp.26 - 35, 2005, <10.1109/ACSD.2005.23>. <hal-00198681>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00198681/file/acsd05.pdf BibTex
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, 2005, <10.1145/1086228.1086286>. <hal-00198669>
Accès au texte intégral et bibtex
https://hal.archives-ouvertes.fr/hal-00198669/file/sc-compil.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. <tel-00311033>
Accès au texte intégral et bibtex
https://tel.archives-ouvertes.fr/tel-00311033/file/these-en.pdf https://tel.archives-ouvertes.fr/tel-00311033/file/these-fr.pdf BibTex

Articles in this section

  • 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 (...)
    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...
  • 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...
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