D. W. Hoffmann

A HOL Conversion for Translating Linear Time Temporal Logic to ω-Automata ?

K. Schneider, D. W. Hoffmann, 1999 .

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

Wolfgang Rosenstiel, Thomas Kropf, Jürgen Ruf, 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.

Checking temporal properties under simulation of executable system descriptions

Wolfgang Rosenstiel, Thomas Kropf, Jürgen Ruf, 2000, Proceedings IEEE International High-Level Design Validation and Test Workshop (Cat. No.PR00786).

Simulation meets verification-checking temporal properties in SystemC

Wolfgang Rosenstiel, Thomas Kropf, Jürgen Ruf, 2000, Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future.

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

Klaus Schneider, Dirk W. Hoffmann, K. Schneider, 1999, TPHOLs.

Efficient design error correction of digital circuits

Thomas Kropf, Dirk W. Hoffmann, D. W. Hoffmann, 2000, Proceedings 2000 International Conference on Computer Design.

Can automatic design error correction be applied to large circuits?

Thomas Kropf, Dirk W. Hoffmann, D. W. Hoffmann, 2000, Proceedings of the 26th Euromicro Conference. EUROMICRO 2000. Informatics: Inventing the Future.

The simulation semantics of SystemC

Wolfgang Rosenstiel, Wolfgang Müller, Thomas Kropf, 2001, Proceedings Design, Automation and Test in Europe. Conference and Exhibition 2001.