Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Jochen Klose
2000 – 2009
- 2006
[c7]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
- [c6]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
- [c5]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
- 2003
- [b1]Jochen Klose: Live sequence charts: a graphical formalism for the specification of communication behavior. Carl von Ossietzky University of Oldenburg 2003, ISBN kart., pp. 1-407
- 2002
- [c4]Jürgen Ruf, Thomas Kropf, Jochen Klose: A Visual Approach to Validating System Level Designs. ISSS 2002: 186-191
- 2001
- [j2]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)
- [j1]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)
- [c3]Jochen Klose, Hartmut Wittke: An Automata Based Interpretation of Live Sequence Charts. TACAS 2001: 512-527
- [c2]Marc Lettrari, Jochen Klose: Scenario-Based Monitoring and Testing of Real-Time UML Models. UML 2001: 317-328
1990 – 1999
- 1999
- [c1]Jochen Klose: Erweiterte Message Sequence Charts für die Verifikation von Statemate-Entwürfen. GI Jahrestagung 1999: 181-189
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-12 21:37 CEST by the dblp team