Dirk W. Hoffmann

Publication Activity (10 Years)

Years Active: 1999-2001
Publications (10 Years): 0

University of Tübingen, Germany (PHD)

Education History

University of Tübingen, Germany

PHD

Publications

Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller
The simulation semantics of systemC. DATE (2001)
Jürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel
Simulation-guided property checking based on a multi-valued AR-automata. DATE (2001)
Dirk W. Hoffmann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel
Simulation Meets Verification: Checking Temporal Properties in SystemC. EUROMICRO (2000)
Dirk W. Hoffmann, Thomas Kropf
Can Automatic Design Error Correction be Applied to Large Circuits? EUROMICRO (2000)
Dirk W. Hoffmann, Thomas Kropf
Efficient Design Error Correction of Digital Circuits. ICCD (2000)
Dirk W. Hoffmann, Thomas Kropf
Exploiting Hierarchy for Multiple Error Correction in Combinational Circuits. DATE (2000)
Jürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel
Checking temporal properties under simulation of executable system descriptions. HLDVT (2000)
Klaus Schneider, Dirk W. Hoffmann
A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata. TPHOLs (1999)
Dirk W. Hoffmann, Thomas Kropf
Automatic Error Correction of Large Circuits Using Boolean Decomposition and Abstraction. CHARME (1999)
Dirk W. Hoffmann, Thomas Kropf
Automatic Error Correction of Tri-State Circuits. ICCD (1999)