Home > Research > Publications

Publications

Latest update : 12 February 2014.

2016

2015

2014

2013

2012

2011

2010

2009

2008

2007

2006

2005


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