Claude Helmstetter

According to our database, Claude Helmstetter authored at least 13 papers between 2006 and 2016.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2016

Modeling Power Consumption and Temperature in TLM Models.

Matthieu Moy, Claude Helmstetter, Tayeb Bouhadiba, Florence Maraninchi

Leibniz Trans. Embed. Syst., 2016

2014

TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox.

Claude Helmstetter

Leibniz Trans. Embed. Syst., 2014

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

Proceedings of the Design, Automation and Test in Europe, 2013

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

Proceedings of the 18th Asia and South Pacific Design Automation Conference, 2013

2011

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

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

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

Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe

Proceedings of the 7th ACM/IEEE International Conference on Formal Methods and Models for Codesign (MEMOCODE 2009), 2009

2008

A Comparison of Two SystemC/TLM Semantics for Formal Verification.

Claude Helmstetter, Olivier Ponsini

Proceedings of the 6th ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2008), 2008

Generation of Executable Representation for Processor Simulation with Dynamic Translation.

Jiajia Song, HongWei Hao, Claude Helmstetter, Vania Joloboff

Proceedings of the International Conference on Computer Science and Software Engineering, 2008

SimSoC: A SystemC TLM integrated ISS for full system simulation.

Claude Helmstetter, Vania Joloboff

Proceedings of the IEEE Asia Pacific Conference on Circuits and Systems, 2008

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

PhD thesis, 2007

2006

Test Coverage for Loose Timing Annotations.

Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz

Proceedings of the Formal Methods: Applications and Technology, 2006

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

Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy

Proceedings of the Formal Methods in Computer-Aided Design, 6th International Conference, 2006