Jochen Klose

According to our database, Jochen Klose authored at least 10 papers between 1999 and 2006.

Collaborative distances:

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

2006

Check It Out: On the Efficient Formal Verification of Live Sequence Charts.

Jochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2004

Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification.

Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Formal Verification of LSCs in the Development Process.

Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2003

Live sequence charts: a graphical formalism for the specification of communication behavior.

Jochen Klose

PhD thesis, 2003

2002

A Visual Approach to Validating System Level Designs.

Jürgen Ruf, Thomas Kropf, Jochen Klose

Proceedings of the 15th International Symposium on System Synthesis (ISSS 2002), 2002

2001

Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs).

Tom Bienmüller, Werner Damm, Jochen Klose, Hartmut Wittke

Informationstechnik Tech. Inform., 2001

Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment.

Werner Damm, Jochen Klose

Formal Methods Syst. Des., 2001

Scenario-Based Monitoring and Testing of Real-Time UML Models.

Marc Lettrari, Jochen Klose

Proceedings of the «UML» 2001, 2001

An Automata Based Interpretation of Live Sequence Charts.

Jochen Klose, Hartmut Wittke

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

1999

Erweiterte Message Sequence Charts für die Verifikation von Statemate-Entwürfen.

Jochen Klose

Proceedings of the Informatik '99, 1999