Hans Jürgen Holberg

According to our database, Hans Jürgen Holberg authored at least 4 papers between 2002 and 2026.

Collaborative distances:

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

2026

BTC Embedded Systems - Bringing Formal Methods from Norddeutschland to the World.

Tom Bienmüller, Matthias Büker, Udo Brockmeyer, Jürgen Bohn, Hans Jürgen Holberg, Tobe Toben, Hartmut Wittke

Proceedings of the Engineering Safe and Trustworthy Cyber Physical Systems, 2026

2021

Two Decades of Formal Methods in Industrial Products at BTC Embedded Systems.

Tino Teige, Andreas Eggers, Karsten Scheibler, Matthias Stasch, Udo Brockmeyer, Hans Jürgen Holberg, Tom Bienmüller

Proceedings of the Formal Methods - 24th International Symposium, 2021

2016

Universal Pattern: Formalization, Testing, Coverage, Verification, and Test Case Generation for Safety-Critical Requirements.

Tino Teige, Tom Bienmüller, Hans Jürgen Holberg

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

2002

Model Checking im Automotivbereich.

Hans-Werner Wiesbrock, Heiko Dörr, Hans Jürgen Holberg

Proceedings of the 32. Jahrestagung der Gesellschaft für Informatik, Informatik bewegt, INFORMATIK 2002, Dortmund, Germany, September 30, 2002