Jochen Klose

Publication Activity (10 Years)

Years Active: 1999-2006
Publications (10 Years): 0

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Jochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke
Check It Out: On the Efficient Formal Verification of Live Sequence Charts. CAV (2006)
Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke
Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification. SoftSpez Final Report (2004)
Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke
Formal Verification of LSCs in the Development Process. SoftSpez Final Report (2004)
Jürgen Ruf, Thomas Kropf, Jochen Klose
A Visual Approach to Validating System Level Designs. ISSS (2002)
Werner Damm, Jochen Klose
Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment. Formal Methods Syst. Des. 19 (2) (2001)
Marc Lettrari, Jochen Klose
Scenario-Based Monitoring and Testing of Real-Time UML Models. UML (2001)
Tom Bienmüller, Werner Damm, Jochen Klose, Hartmut Wittke
Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs). Informationstechnik Tech. Inform. 43 (1) (2001)
Jochen Klose, Hartmut Wittke
An Automata Based Interpretation of Live Sequence Charts. TACAS (2001)
Jochen Klose
Erweiterte Message Sequence Charts für die Verifikation von Statemate-Entwürfen. GI Jahrestagung (1999)