Jürgen Bohn

According to our database, Jürgen Bohn authored at least 6 papers between 1995 and 1999.

Collaborative distances:

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

1999

Verification of Automotive Control Units.

Tom Bienmüller, Jürgen Bohn, Henning Brinkmann, Udo Brockmeyer, Werner Damm, Hardi Hungar, Peter Jansen

Proceedings of the Correct System Design, 1999

1998

Mechanical support and validation of a design calculus for communicating systems by a logic based proof system.

Jürgen Bohn

PhD thesis, 1998

First-Order-CTL Model Checking.

Jürgen Bohn, Werner Damm, Orna Grumberg, Hardi Hungar, Karen Laster

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1998

1996

A Strategic Approach to Transformational Design.

Jürgen Bohn, Wil Janssen

Proceedings of the FME '96: Industrial Benefit and Advances in Formal Methods, 1996

1995

On Automatic and Interactive Design of Communication Systems.

Jürgen Bohn, Stephan Rössig

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

Traverdi - Transformation and Verification of Distributed Systems.

Jürgen Bohn, Hardi Hungar

Proceedings of the KORSO, 1995