 | 2006 |
|---|
| 7 |       | 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 |
|---|
| 6 | | 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 |
| 5 | | 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 |
|---|
| 4 |  | Werner Damm,
Christoph Schulte,
Hartmut Wittke,
Marc Segelken,
Uwe Higgen,
Michael Eckrich:
Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung.
GI Jahrestagung (1) 2003: 340-344 |
| 2001 |
|---|
| 3 | | Jochen Klose,
Hartmut Wittke:
An Automata Based Interpretation of Live Sequence Charts.
TACAS 2001: 512-527 |
| 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) |
| 2000 |
|---|
| 1 | | Tom Bienmüller,
Werner Damm,
Hartmut Wittke:
The STATEMATE Verification Environment - Making It Real.
CAV 2000: 561-567 |
