dblp.uni-trier.dewww.uni-trier.de

Hartmut Wittke Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2006
6EEJochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke: Check It Out: On the Efficient Formal Verification of Live Sequence Charts. CAV 2006: 219-233
2004
5EEMatthias 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
4EEMatthias 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
3 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
2EEJochen Klose, Hartmut Wittke: An Automata Based Interpretation of Live Sequence Charts. TACAS 2001: 512-527
2000
1 Tom Bienmüller, Werner Damm, Hartmut Wittke: The STATEMATE Verification Environment - Making It Real. CAV 2000: 561-567

Coauthor Index

1Tom Bienmüller [1]
2Matthias Brill [4] [5]
3Ralf Buschermöhle [4]
4Werner Damm [1] [3] [4] [5]
5Michael Eckrich [3]
6Uwe Higgen [3]
7Jochen Klose [2] [4] [5] [6]
8Christoph Schulte [3]
9Marc Segelken [3]
10Tobe Toben [6]
11Bernd Westphal [4] [5] [6]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)