Bernhard Hohlfeld

According to our database, Bernhard Hohlfeld authored at least 10 papers between 1983 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Gibt es sichere Software?

Thomas Liedtke, Bernhard Hohlfeld

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

2008

Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis.

Bernhard Hohlfeld, Stefan Kowalewski, Michael Reinfrank, Gerhard Wirrer

Proceedings of the Software Engineering 2008. Fachtagung des GI-Fachbereichs Softwaretechnik, 2008

2006

Bericht über den <i> 4. Workshop Automotive Software Engineering</i> auf der Jahrestagung der GI, 5. Oktober 2006 in Dresden.

Bernhard Hohlfeld

Softwaretechnik-Trends, 2006

2005

Editorial zum Themenheft "Automotive Software Engineering".

Bernhard Hohlfeld, Stefan Kowalewski, Hans-Werner Six

Inform. Forsch. Entwickl., 2005

1991

Werkzeuggestützter Nachweis von Verläßlichkeitseigenschaften.

Bernhard Hohlfeld

Proceedings of the VIS'91, 1991

1988

Zur Verifikation von modular zerlegten Programmen.

Bernhard Hohlfeld

PhD thesis, 1988

1986

Formale Methoden in der Softwareentwicklung am Beispiel EDV-Sicherheit.

Bernhard Hohlfeld

it Inf. Technol., 1986

1985

Correctness Proofs of the Implementation of Abstract Data Types.

Bernhard Hohlfeld

Proceedings of the EUROCAL '85, 1985

1984

Programmverifikation in lauffähigen Pascal-Programmen.

Bernhard Hohlfeld

Proceedings of the Programmiersprachen und Programmentwicklung, 1984

1983

Implementation of Abstract Data Types in PASCAL Programs.

Bernhard Hohlfeld

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983