Bernhard Hohlfeld

Publication Activity (10 Years)

Years Active: 1983-2014
Publications (10 Years): 0

Top Topics

Software Testing

Top Venues

GI-Jahrestagung

Kaiserslautern University of Technology, Germany (PHD)

Education History

Kaiserslautern University of Technology, Germany

PHD

Publications

Thomas Liedtke, Bernhard Hohlfeld
Gibt es sichere Software? GI-Jahrestagung (2014)
Bernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer
Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. Software Engineering (Workshops) (2008)
Bernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer
Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. Software Engineering (2008)
Bernhard Hohlfeld
auf der Jahrestagung der GI, 5. Oktober 2006 in Dresden. Softwaretechnik-Trends 26 (4) (2006)
Bernhard Hohlfeld, Stefan Kowalewski, Hans-Werner Six
Editorial zum Themenheft "Automotive Software Engineering". Inform. Forsch. Entwickl. 19 (4) (2005)
Bernhard Hohlfeld
Werkzeuggestützter Nachweis von Verläßlichkeitseigenschaften. VIS (1991)
Bernhard Hohlfeld
Formale Methoden in der Softwareentwicklung am Beispiel EDV-Sicherheit. it Inf. Technol. 28 (5) (1986)
Bernhard Hohlfeld
Correctness Proofs of the Implementation of Abstract Data Types. European Conference on Computer Algebra (2) (1985)
Bernhard Hohlfeld
Programmverifikation in lauffähigen Pascal-Programmen. Fachtagung über Programmiersprachen (1984)
Bernhard Hohlfeld
Implementation of Abstract Data Types in PASCAL Programs. ADT (1983)