 | 2006 |
|---|
| 9 |       | Jochen Klose,
Tobe Toben,
Bernd Westphal,
Hartmut Wittke:
Check It Out: On the Efficient Formal Verification of Live Sequence Charts.
CAV 2006: 219-233 |
| 2004 |
|---|
| 8 | | 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: 374-399 |
| 7 | | 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: 494-516 |
| 2002 |
|---|
| 6 | | Jürgen Ruf,
Thomas Kropf,
Jochen Klose:
A Visual Approach to Validating System Level Designs.
ISSS 2002: 186-191 |
| 2001 |
|---|
| 5 | | Jochen Klose,
Hartmut Wittke:
An Automata Based Interpretation of Live Sequence Charts.
TACAS 2001: 512-527 |
| 4 | | Marc Lettrari,
Jochen Klose:
Scenario-Based Monitoring and Testing of Real-Time UML Models.
UML 2001: 317-328 |
| 3 | | Werner Damm,
Jochen Klose:
Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment.
Formal Methods in System Design 19(2): 121-141 (2001) |
| 2 | | Tom Bienmüller,
Werner Damm,
Jochen Klose,
Hartmut Wittke:
Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs).
it+ti - Informationstechnik und Technische Informatik 43(1): 29-34 (2001) |
| 1999 |
|---|
| 1 |  | Jochen Klose:
Erweiterte Message Sequence Charts für die Verifikation von Statemate-Entwürfen.
GI Jahrestagung 1999: 181-189 |
Data released under the ODC-BY 1.0 license — See also our legal information page