Hartmut Wittke

According to our database, Hartmut Wittke authored at least 8 papers between 2000 and 2006.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2006

Check It Out: On the Efficient Formal Verification of Live Sequence Charts.

Jochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

2005

An environment for compositional specification verification of complex embedded systems.

Hartmut Wittke

PhD thesis, 2005

2004

Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification.

Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

Formal Verification of LSCs in the Development Process.

Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke

Proceedings of the Integration of Software Specification Techniques for Applications in Engineering, 2004

2003

Formale Verifikation von ASCET Modellen im Rahmen der Entwicklung der Aktivlenkung.

Werner Damm, Christoph Schulte, Hartmut Wittke, Marc Segelken, Uwe Higgen, Michael Eckrich

Proceedings of the 33. Jahrestagung der Gesellschaft für Informatik, Innovative Informatikanwendungen, INFORMATIK 2003, Frankfurt am Main, Germany, September 29, 2003

2001

Formale Analyse und Verifikation von Statemate-Entwürfen (Formal Analysis and Verification of Statemate Designs).

Tom Bienmüller, Werner Damm, Jochen Klose, Hartmut Wittke

Informationstechnik Tech. Inform., 2001

An Automata Based Interpretation of Live Sequence Charts.

Jochen Klose, Hartmut Wittke

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

2000

The STATEMATE Verification Environment - Making It Real.

Tom Bienmüller, Werner Damm, Hartmut Wittke

Proceedings of the Computer Aided Verification, 12th International Conference, 2000