Dirk W. Hoffmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
2
Active years
1999–2001
Best venue rank
A
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2001 | DATE | The simulation semantics of systemC. | Jrgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Mller |
| 2001 | DATE | Simulation-guided property checking based on a multi-valued AR-automata. | Jrgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel |
| 2000 | DATE | Exploiting Hierarchy for Multiple Error Correction in Combinational Circuits. | Dirk W. Hoffmann, Thomas Kropf |
| 2000 | ICCD | Efficient Design Error Correction of Digital Circuits. | Dirk W. Hoffmann, Thomas Kropf |
| 1999 | ICCD | Automatic Error Correction of Tri-State Circuits. | Dirk W. Hoffmann, Thomas Kropf |