Claude Helmstetter

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