A SystemC/TLM Semantics in Promelaand Its Possible Applications. - Claus Traulsen; Jérôme Cornet; Matthieu Moy; Florence Maraninchi (SPIN, 2007)

A Method for the Efficient Development of Timed and Untimed Transaction-Level Models of Systems-on-Chip. - Jérôme Cornet; Florence Maraninchi; Laurent Maillet-Contoz (DATE, 2008)

Fast and accurate TLM simulations using temporal decoupling for FIFO-based communications. - Claude Helmstetter; Jérôme Cornet; Bruno Galilée; Matthieu Moy; Pascal Vivet (DATE, 2013)

Co-simulation of Functional SystemC TLM Models with Power/Thermal Solvers. - Tayeb Bouhadiba; Matthieu Moy; Florence Maraninchi; Jérôme Cornet; Laurent Maillet-Contoz; Ilija Materic (IPDPS Workshops, 2013)

Challenges for the parallelization of loosely timed SystemC programs. - Denis Becker; Matthieu Moy; Jérôme Cornet (RSP, 2015)