Implementation of Abstract Data Types in PASCAL Programs. - Bernhard Hohlfeld (ADT, 1983)

Programmverifikation in lauffähigen Pascal-Programmen. - Bernhard Hohlfeld (Fachtagung über Programmiersprachen, 1984)

Correctness Proofs of the Implementation of Abstract Data Types. - Bernhard Hohlfeld (European Conference on Computer Algebra (2), 1985)

Formale Methoden in der Softwareentwicklung am Beispiel EDV-Sicherheit. - Bernhard Hohlfeld (it Inf. Technol., 1986)

Zur Verifikation von modular zerlegten Programmen. - Bernhard Hohlfeld (1988)

Werkzeuggestützter Nachweis von Verläßlichkeitseigenschaften. - Bernhard Hohlfeld (VIS, 1991)

Editorial zum Themenheft "Automotive Software Engineering". - Bernhard Hohlfeld; Stefan Kowalewski; Hans-Werner Six (Inform. Forsch. Entwickl., 2005)

Bericht über den 4. Workshop Automotive Software Engineering auf der Jahrestagung der GI, 5. Oktober 2006 in Dresden. - Bernhard Hohlfeld (Softwaretechnik-Trends, 2006)

Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis. - Bernhard Hohlfeld; Stefan Kowalewski; Michael Reinfrank; Gerhard Wirrer (Software Engineering (Workshops), 2008)

Gibt es sichere Software? - Thomas Liedtke; Bernhard Hohlfeld (GI-Jahrestagung, 2014)