 | 2001 |
|---|
| 9 |       | Jürgen Ruf,
Dirk W. Hoffmann,
Joachim Gerlach,
Thomas Kropf,
Wolfgang Rosenstiel,
Wolfgang Müller:
The simulation semantics of systemC.
DATE 2001: 64-70 |
| 8 | | Jürgen Ruf,
Dirk W. Hoffmann,
Thomas Kropf,
Wolfgang Rosenstiel:
Simulation-guided property checking based on a multi-valued AR-automata.
DATE 2001: 742-748 |
| 2000 |
|---|
| 7 | | Dirk W. Hoffmann,
Thomas Kropf:
Exploiting Hierarchy for Multiple Error Correction in Combinational Circuits.
DATE 2000: 758 |
| 6 | | Dirk W. Hoffmann,
Thomas Kropf:
Can Automatic Design Error Correction be Applied to Large Circuits?
EUROMICRO 2000: 1114-1121 |
| 5 | | Dirk W. Hoffmann,
Jürgen Ruf,
Thomas Kropf,
Wolfgang Rosenstiel:
Simulation Meets Verification: Checking Temporal Properties in SystemC.
EUROMICRO 2000: 1435- |
| 4 | | Dirk W. Hoffmann,
Thomas Kropf:
Efficient Design Error Correction of Digital Circuits.
ICCD 2000: 465-472 |
| 1999 |
|---|
| 3 | | Dirk W. Hoffmann,
Thomas Kropf:
Automatic Error Correction of Large Circuits Using Boolean Decomposition and Abstraction.
CHARME 1999: 157-171 |
| 2 | | Dirk W. Hoffmann,
Thomas Kropf:
Automatic Error Correction of Tri-State Circuits.
ICCD 1999: 51- |
| 1 | | Klaus Schneider,
Dirk W. Hoffmann:
A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata.
TPHOLs 1999: 255-272 |
