Claude Helmstetter

ORCID

Publication Activity (10 Years)

Years Active: 2006-2016
Publications (10 Years): 1

Top Venues

Leibniz Trans. Embed. Syst.

ASP-DAC

DATE

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Matthieu Moy, Claude Helmstetter, Tayeb Bouhadiba, Florence Maraninchi
Modeling Power Consumption and Temperature in TLM Models. Leibniz Trans. Embed. Syst. 3 (1) (2016)
Claude Helmstetter
TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox. Leibniz Trans. Embed. Syst. 1 (1) (2014)
Claude Helmstetter, Sylvain Basset, Romain Lemaire, Fabien Clermidy, Pascal Vivet, Michel Langevin, Chuck Pilkington, Pierre G. Paulin, Didier Fuin
A dynamic stream link for efficient data flow control in NoC based heterogeneous MPSoC. ASP-DAC (2013)
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. DATE (2013)
Frédéric Blanqui, Claude Helmstetter, Vania Joloboff, Jean-François Monin, Xiaomu Shi
Designing a CPU model: from a pseudo-formal document to fast code CoRR (2011)
Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe
Verification of an industrial SystemC/TLM model using LOTOS and CADP. MEMOCODE (2009)
Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz
Full simulation coverage for SystemC transaction-level models of systems-on-a-chip. Formal Methods Syst. Des. 35 (2) (2009)
Claude Helmstetter, Vania Joloboff
SimSoC: A SystemC TLM integrated ISS for full system simulation. APCCAS (2008)
Claude Helmstetter, Olivier Ponsini
A Comparison of Two SystemC/TLM Semantics for Formal Verification. MEMOCODE (2008)
Jiajia Song, HongWei Hao, Claude Helmstetter, Vania Joloboff
Generation of Executable Representation for Processor Simulation with Dynamic Translation. CSSE (4) (2008)
Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz
Test Coverage for Loose Timing Annotations. FMICS/PDMC (2006)
Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy
Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. FMCAD (2006)

Claude Helmstetter.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Claude Helmstetter