Logo Prof. Dr. Dirk W. Hoffmann
Portrait
Prof. Dr. Dirk W. Hoffmann
Adresse:
Hochschule Karlsruhe
Moltkestraße 30
D - 76133 Karlsruhe
Germany
Telefon:+49 721 925-1496
Fax:+49 721 925-1509

Publikationen

Bücher


D. W. Hoffmann:
Einführung in die Spezielle Relativitätstheorie, 1. Auflage
BoD Norderstedt, 2015
ISBN 978-3-738-65807-1
D. W. Hoffmann:
Einsteins Relativitätstheorie, 1. Auflage
Eine geführte Reise durch Raum, Zeit und die Geschichte der Physik
BoD Norderstedt, 2015
ISBN 978-3-738-61578-4
D. W. Hoffmann:
Theoretische Informatik, 3. Auflage
Carl-Hanser-Verlag, 2015
ISBN 978-3-446-44446-1
D. W. Hoffmann:
Grundlagen der Technischen Informatik, 4. Auflage
Carl-Hanser-Verlag, 2014
ISBN 978-3-446-44251-1
D. W. Hoffmann:
Einführung in die Informations- und Codierungstheorie, 1. Auflage
Springer-Verlag, 2014
ISBN 978-3-642-54002-8
D. W. Hoffmann:
Grundlagen der Technischen Informatik, 3. Auflage
Carl-Hanser-Verlag, 2013
ISBN 978-3-446-43757-9
D. W. Hoffmann:
Software-Qualität, 2. Auflage
Springer-Verlag, 2013
ISBN 978-3-6423-5699-5
D. W. Hoffmann:
Grenzen der Mathematik, 2. Auflage
Eine Reise durch die Kerngebiete der mathematischen Logik
Springer Spektrum, 2013
ISBN 978-3-6423-4719-1
D. W. Hoffmann:
Die Gödel'schen Unvollständigkeitssätze
Eine geführte Reise durch Kurt Gödels historischen Beweis
Springer-Spektrum, 2012
ISBN 978-3-8274-2999-5
D. W. Hoffmann:
Theoretische Informatik, 2. Auflage
Carl-Hanser-Verlag, 2011
ISBN 978-3-4464-2639-9
D. W. Hoffmann:
Grenzen der Mathematik
Eine Reise durch die Kerngebiete der mathematischen Logik
Spektrum Akademischer Verlag, 2011
ISBN 978-3-8274-2559-1
D. W. Hoffmann:
Grundlagen der Technischen Informatik, 2. Auflage
Carl-Hanser-Verlag, 2009
ISBN 978-3-446-42150-9
D. W. Hoffmann:
Theoretische Informatik
Carl-Hanser-Verlag, 2009
ISBN 3-446-41511-4
D. W. Hoffmann:
Software-Qualität
Springer-Verlag, 2008
ISBN 3-540-76322-8
D. W. Hoffmann:
Grundlagen der Technischen Informatik
Carl-Hanser-Verlag, 2007
ISBN 3-446-40691-3

Buchbeiträge


D. W. Hoffmann:
Kapitel "Zahlensysteme und Codierung", in
C. Siemers, A. Sikora:
Taschenbuch Digitaltechnik
Carl-Hanser-Verlag, 3. Auflage, 2014
ISBN 978-3446432635
D. W. Hoffmann:
Kapitel "Zahlensysteme und Codierung", in
C. Siemers, A. Sikora:
Taschenbuch Digitaltechnik
Carl-Hanser-Verlag, 2. Auflage, 2007
ISBN 978-3446409033
D. W. Hoffmann:
Kapitel "Smalltalk" und Kapitel "Eiffel", in
P. A. Henning, H. Vogelsang:
Taschenbuch Programmiersprachen
Carl-Hanser-Verlag, 2. Auflage, 2007
ISBN 978-3446407442
D. W. Hoffmann:
Kapitel "Eiffel" und Kapitel "Smalltalk", in
P. A. Henning, H. Vogelsang:
Handbuch Programmiersprachen
Carl-Hanser-Verlag, 2006
ISBN 978-3446405585

Dissertation


D. W. Hoffmann:
Automatic Design Error Correction of Combinational Circuits
Logos Verlag, 2001
ISBN 389722609X

Nationale und internationale Konferenzen


W. Müller, J. Ruf, D. W. Hoffmann, J. Gerlach, T. Kropf, W. Rosenstiel:
The simulation semantics of SystemC
Proceedings of the 4th Design, Automation, and Test Conference in Europe (DATE)
Munich, Germany, 2001
[ pdf ]
J. Ruf, D. W. Hoffmann, T. Kropf, W. Rosenstiel:
Simulation-guided property checking based on multi-valued AR-automata
Proceedings of the 4th Design, Automation, and Test Conference in Europe (DATE)
Munich, Germany, 2001
[ ps ]
D. W. Hoffmann, T. Kropf:
Efficient design error correction of digital circuits
Proceedings of the 18th IEEE Conference on Computer Design (ICCD)
Austin, Texas, USA, 2000
[ ps ]
D. W. Hoffmann, T. Kropf:
Can automatic design error correction be applied to large circuits?
Proceedings of the Symposium on Digital System Design (DSD)
Maastricht, The Netherlands, 2000
[ ps ]
D. W. Hoffmann, T. Kropf, W. Rosenstiel:
Simiulation meets verification - verifying temporal properties in SystemC
Proceedings of the Symposium on Digital System Design (DSD)
Maastricht, The Netherlands, 2000
[ ps ]
J. Ruf, D. W. Hoffmann, T. Kropf, W. Rosenstiel:
Simulation based validation of FLTL formulas in executable system descriptions
Proceedings of the Forum on Design Languages (FDL)
Tübingen, Germany, 2000
[ ps ]
D. W. Hoffmann, T. Kropf:
Exploiting hierarchy for multiple error correction of combinational circuits
Proceedings of the 3rd Design, Automation, and Test Conference in Europe (DATE)
Paris, France, 2000
[ ps ]
J. Ruf, D. W. Hoffmann, T. Kropf, W. Rosenstiel:
Checking temporal properties under simulation of executable system descriptions
Proceedings of the IEEE International High-level Design and Test Workshop (HLDVT)
San Francisco, USA, 2000
[ ps ]
D. W. Hoffmann, T. Kropf:
Automatic error correction of tri-state circuits
Proceedings of the 17th IEEE International Conference on Computer Design (ICCD)
Austin, Texas, USA, 1999
[ ps ]
D. W. Hoffmann, T. Kropf:
Automatic error correction of large circuits using boolean decomposition and abstraction
Proceedings of the Conference on Correct Hardware Design and Verification Methods (CHARME)
Bad Herrenalb, Germany, 1999
[ ps ]
K. Schneider, D. W. Hoffmann:
A HOL conversion for translating LTL to omega-automata
Proceedings of the Conference of Theorem Proving in Higher-order Logic (TPHOL)
Nice, France, 1999
[ ps ]