Claude Helmstetter

Statistics

Publications

Citations

193

H-Index

Active since

2006

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Centre Inria de l'Université Grenoble Alpes

Verimag

STMicroelectronics (France)

Claude Helmstetter is an author at Institut national de recherche en sciences et technologies du numérique specializing in computer engineering, system software, and systems engineering.

ORCID

Top concepts

EngineeringSystem SoftwareSystems EngineeringComputer EngineeringComputer ArchitectureComputer ScienceProgram AnalysisSoftware EngineeringModeling And SimulationSimulation

Publications per year

2006–2009

Publications

Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip

Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz et al. · 2006 · 52 citations · Full text

Engineering, Test Coverage, Computer Architecture +26

Verification of an industrial SystemC/TLM model using LOTOS and CADP

Hubert Garavel, Claude Helmstetter, Olivier Ponsini et al. · 2009 · 34 citations

Engineering, Hardware Verification Language, Industrial Engineering +28

SimSoC: A SystemC TLM integrated ISS for full system simulation

Claude Helmstetter, Vania Joloboff · 2008 · 29 citations

Emulation Technique, Engineering, Computer Architecture +23

Verification of an industrial systemC/TLM model using LOTOS and CADP

Hubert Garavel, Claude Helmstetter, Olivier Ponsini et al. · Formal Methods · 2009 · 27 citations

Engineering, Hardware Verification Language, Industrial Engineering +28

A Comparison of Two SystemC/TLM Semantics for Formal Verification

Claude Helmstetter, Olivier Ponsini · 2008 · 22 citations

Engineering, Hardware Verification Language, Cadp Toolbox +25

1–5 of 7