Accéder directement au contenu

Matthieu Moy

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

Présentation

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

Publications

872666
Image document

Efficient Encoding of SystemC/TLM in Promela

 Kevin Marquet , Matthieu Moy , Bertrand Jeannet
DATICS-IMECS, Mar 2011, Hong Kong SAR China
Communication dans un congrès hal-00557515v1
Image document

PinaVM: a SystemC Front-End Based on an Executable Intermediate Representation

 Kevin Marquet , Matthieu Moy
International Conference on Embedded Software, Oct 2010, Scottsdale, United States. pp.79
Communication dans un congrès hal-00495874v1
Image document

A Theoretical and Experimental Review of SystemC Front-ends

 Kevin Marquet , Matthieu Moy , Bageshri Karkare
2010
Pré-publication, Document de travail hal-00495886v1