Dirk W. Hoffmann

According to our database, Dirk W. Hoffmann authored at least 12 papers between 1999 and 2009.

Collaborative distances:

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

2009

Theoretische Informatik.

Dirk W. Hoffmann

Hanser Fachbuchverlag, ISBN: 978-3-446-41511-9, 2009

2001

Automatic design error correction of combinational circuits.

Dirk W. Hoffmann

PhD thesis, 2001

Simulation-guided property checking based on a multi-valued AR-automata.

Jürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

The simulation semantics of systemC.

Jürgen Ruf, Dirk W. Hoffmann, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel, Wolfgang Müller

Proceedings of the Conference on Design, Automation and Test in Europe, 2001

2000

Efficient Design Error Correction of Digital Circuits.

Dirk W. Hoffmann, Thomas Kropf

Proceedings of the IEEE International Conference On Computer Design: VLSI In Computers & Processors, 2000

Checking temporal properties under simulation of executable system descriptions.

Jürgen Ruf, Dirk W. Hoffmann, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the IEEE International High-Level Design Validation and Test Workshop 2000, 2000

Simulation Meets Verification: Checking Temporal Properties in SystemC.

Dirk W. Hoffmann, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel

Proceedings of the 26th EUROMICRO 2000 Conference, 2000

Can Automatic Design Error Correction be Applied to Large Circuits?

Dirk W. Hoffmann, Thomas Kropf

Proceedings of the 26th EUROMICRO 2000 Conference, 2000

Exploiting Hierarchy for Multiple Error Correction in Combinational Circuits.

Dirk W. Hoffmann, Thomas Kropf

Proceedings of the 2000 Design, 2000

1999

A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata.

Klaus Schneider, Dirk W. Hoffmann

Proceedings of the Theorem Proving in Higher Order Logics, 12th International Conference, 1999

Automatic Error Correction of Tri-State Circuits.

Dirk W. Hoffmann, Thomas Kropf

Proceedings of the IEEE International Conference On Computer Design, 1999

Automatic Error Correction of Large Circuits Using Boolean Decomposition and Abstraction.

Dirk W. Hoffmann, Thomas Kropf

Proceedings of the Correct Hardware Design and Verification Methods, 1999