Bernhard Hohlfeld

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Gibt es sichere Software?
Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

2008
Workshop Automotive Software Engineering: Forschung, Lehre, Industrielle Praxis.
Proceedings of the Software Engineering 2008, 2008

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

2005
Editorial zum Themenheft "Automotive Software Engineering".
Inform. Forsch. Entwickl., 2005

1991
Werkzeuggestützter Nachweis von Verläßlichkeitseigenschaften.
Proceedings of the VIS'91, 1991

1988
Zur Verifikation von modular zerlegten Programmen.
PhD thesis, 1988

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

1985
Correctness Proofs of the Implementation of Abstract Data Types.
Proceedings of the EUROCAL '85, 1985

1984
Programmverifikation in lauffähigen Pascal-Programmen.
Proceedings of the Programmiersprachen und Programmentwicklung, 1984

1983
Implementation of Abstract Data Types in PASCAL Programs.
Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983


  Loading...