Claude Helmstetter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
2006–2013
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2013 | ASPDAC | 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 |
| 2013 | DATE | Fast and accurate TLM simulations using temporal decoupling for FIFO-based communications. | Claude Helmstetter, Jrme Cornet, Bruno Galile, Matthieu Moy, Pascal Vivet |
| 2009 | MEMOCODE | Verification of an industrial SystemC/TLM model using LOTOS and CADP. | Hubert Garavel, Claude Helmstetter, Olivier Ponsini, Wendelin Serwe |
| 2008 | MEMOCODE | A Comparison of Two SystemC/TLM Semantics for Formal Verification. | Claude Helmstetter, Olivier Ponsini |
| 2006 | FMCAD | Automatic Generation of Schedulings for Improving the Test Coverage of Systems-on-a-Chip. | Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz, Matthieu Moy |
| 2006 | FMICS | Test Coverage for Loose Timing Annotations. | Claude Helmstetter, Florence Maraninchi, Laurent Maillet-Contoz |