Hartmut Wittke

Publication Activity (10 Years)

Years Active: 2000-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)
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)
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)
Tom Bienmüller, Werner Damm, Hartmut Wittke
The STATEMATE Verification Environment - Making It Real. CAV (2000)