Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. - Claude Helmstetter; Florence Maraninchi; Laurent Maillet-Contoz; Matthieu Moy (FMCAD, 2006)

Test Coverage for Loose Timing Annotations. - Claude Helmstetter; Florence Maraninchi; Laurent Maillet-Contoz (FMICS/PDMC, 2006)

Validation de modèles de systèmes sur puce en présence d'ordonnancements indéterministes et de temps imprécis. (Validating Models of Systems-on-a-Chip in the Presence of Nondeterministic Schedulings and Loose Timings). - Claude Helmstetter (2007)

SimSoC: A SystemC TLM integrated ISS for full system simulation. - Claude Helmstetter; Vania Joloboff (APCCAS, 2008)

Generation of Executable Representation for Processor Simulation with Dynamic Translation. - Jiajia Song; HongWei Hao; Claude Helmstetter; Vania Joloboff (CSSE (4), 2008)

A Comparison of Two SystemC/TLM Semantics for Formal Verification. - Claude Helmstetter; Olivier Ponsini (MEMOCODE, 2008)

Verification of an industrial SystemC/TLM model using LOTOS and CADP. - Hubert Garavel; Claude Helmstetter; Olivier Ponsini; Wendelin Serwe (MEMOCODE, 2009)

Full simulation coverage for SystemC transaction-level models of systems-on-a-chip. - Claude Helmstetter; Florence Maraninchi; Laurent Maillet-Contoz (Formal Methods Syst. Des., 2009)

Designing a CPU model: from a pseudo-formal document to fast code - Frédéric Blanqui; Claude Helmstetter; Vania Joloboff; Jean-François Monin; Xiaomu Shi (CoRR, 2011)

A dynamic stream link for efficient data flow control in NoC based heterogeneous MPSoC. - Claude Helmstetter; Sylvain Basset; Romain Lemaire; Fabien Clermidy; Pascal Vivet; Michel Langevin; Chuck Pilkington; Pierre G. Paulin; Didier Fuin (ASP-DAC, 2013)

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)

TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox. - Claude Helmstetter (Leibniz Trans. Embed. Syst., 2014)

Modeling Power Consumption and Temperature in TLM Models. - Matthieu Moy; Claude Helmstetter; Tayeb Bouhadiba; Florence Maraninchi (Leibniz Trans. Embed. Syst., 2016)