Erweiterte Message Sequence Charts für die Verifikation von Statemate-Entwürfen. - Jochen Klose (GI Jahrestagung, 1999)

An Automata Based Interpretation of Live Sequence Charts. - Jochen Klose; Hartmut Wittke (TACAS, 2001)

Scenario-Based Monitoring and Testing of Real-Time UML Models. - Marc Lettrari; Jochen Klose (UML, 2001)

Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment. - Werner Damm; Jochen Klose (Formal Methods Syst. Des., 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)

A Visual Approach to Validating System Level Designs. - Jürgen Ruf; Thomas Kropf; Jochen Klose (ISSS, 2002)

Live sequence charts: a graphical formalism for the specification of communication behavior. - Jochen Klose (2003)

Formal Verification of LSCs in the Development Process. - Matthias Brill; Ralf Buschermöhle; Werner Damm; Jochen Klose; Bernd Westphal; Hartmut Wittke (SoftSpez Final Report, 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 (SoftSpez Final Report, 2004)

Check It Out: On the Efficient Formal Verification of Live Sequence Charts. - Jochen Klose; Tobe Toben; Bernd Westphal; Hartmut Wittke (CAV, 2006)