Publikationen

Kontakt

Portrait

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

Bücher

2023

D. W. Hoffmann: Grundlagen der Technischen Informatik, 7. Auflage Carl-Hanser-Verlag, 2023 ISBN 978-3-4464-7779-7

2022

D. W. Hoffmann: Theoretische Informatik, 5. Auflage Carl-Hanser-Verlag, 2022 ISBN 978-3-4464-7029-3

2020

D. W. Hoffmann: Grundlagen der Technischen Informatik, 6. Auflage Carl-Hanser-Verlag, 2020 ISBN 978-3-4464-6314-1

2018

D. W. Hoffmann: Forcing, 1. Auflage Eine Einführung in die Mathematik der Unabhängigkeitsbeweise BoD Norderstedt, 2018 ISBN 978-3-7460-4460-6

D. W. Hoffmann: Theoretische Informatik, 4. Auflage Carl-Hanser-Verlag, 2018 ISBN 978-3-4464-5793-5

D. W. Hoffmann: Grenzen der Mathematik, 3. Auflage Eine Reise durch die Kerngebiete der mathematischen Logik Springer Spektrum, 2018 ISBN 978-3-6625-6616-9

2017

D. W. Hoffmann: Die Gödel'schen Unvollständigkeitssätze, 2. Auflage Eine geführte Reise durch Kurt Gödels historischen Beweis Springer-Spektrum, 2012 ISBN 978-3-8274-2999-5

2016

D. W. Hoffmann: Grundlagen der Technischen Informatik, 5. Auflage Carl-Hanser-Verlag, 2016 ISBN 978-3446448674

2015

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

2014

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

2013

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

2012

D. W. Hoffmann: Die Gödel'schen Unvollständigkeitssätze, 1. Auflage Eine geführte Reise durch Kurt Gödels historischen Beweis Springer-Spektrum, 2012 ISBN 978-3-8274-2999-5

2011

D. W. Hoffmann: Theoretische Informatik, 2. Auflage Carl-Hanser-Verlag, 2011 ISBN 978-3-4464-2639-9

D. W. Hoffmann: Grenzen der Mathematik, 1. Auflage Eine Reise durch die Kerngebiete der mathematischen Logik Spektrum Akademischer Verlag, 2011 ISBN 978-3-8274-2559-1

2009

D. W. Hoffmann: Grundlagen der Technischen Informatik, 2. Auflage Carl-Hanser-Verlag, 2009 ISBN 978-3-446-42150-9

D. W. Hoffmann: Theoretische Informatik, 1. Auflage Carl-Hanser-Verlag, 2009 ISBN 3-446-41511-4

2008

D. W. Hoffmann: Software-Qualität, 1. Auflage Springer-Verlag, 2008 ISBN 3-540-76322-8

2007

D. W. Hoffmann: Grundlagen der Technischen Informatik, 1. Auflage Carl-Hanser-Verlag, 2007 ISBN 3-446-40691-3

Buchbeiträge

2022

D. W. Hoffmann: Kapitel "Zahlensysteme und Codierung", in C. Siemers, A. Sikora: Taschenbuch Digitaltechnik Carl-Hanser-Verlag, 4. Auflage, 2022 ISBN 978-3-4464-6914-3

2014

D. W. Hoffmann: Kapitel "Zahlensysteme und Codierung", in C. Siemers, A. Sikora: Taschenbuch Digitaltechnik Carl-Hanser-Verlag, 3. Auflage, 2014 ISBN 978-3-4464-3263-5

2007

D. W. Hoffmann: Kapitel "Zahlensysteme und Codierung", in C. Siemers, A. Sikora: Taschenbuch Digitaltechnik Carl-Hanser-Verlag, 2. Auflage, 2007 ISBN 978-3-4464-0903-3

D. W. Hoffmann: Kapitel "Smalltalk" und Kapitel "Eiffel", in P. A. Henning, H. Vogelsang: Taschenbuch Programmiersprachen Carl-Hanser-Verlag, 2. Auflage, 2007 ISBN 978-3-44640744-2

Dissertation

D. W. Hoffmann: Automatic Design Error Correction of Combinational Circuits Logos Verlag, 2001 ISBN 978-3-89722-609-8

Internationale Konferenzen

2001

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

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

2000

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

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

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

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

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

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

1999

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

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

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