Travelled to:1 × Italy
2 × USA
Collaborated with:J.Klose T.Bienmüller W.Damm T.Toben B.Westphal
Talks about:sequenc (2) verif (2) chart (2) live (2) interpret (1) automata (1) environ (1) statem (1) formal (1) effici (1)
Person: Hartmut Wittke
DBLP: Wittke:Hartmut
Contributed to:
2006
20012000Wrote 3 papers:
- CAV-2006-KloseTWW #performance #sequence chart #verification
- Check It Out: On the Efficient Formal Verification of Live Sequence Charts (JK, TT, BW, HW), pp. 219–233.
- TACAS-2001-KloseW #automaton #sequence chart
- An Automata Based Interpretation of Live Sequence Charts (JK, HW), pp. 512–527.
- CAV-2000-BienmullerDW #verification
- The STATEMATE Verification Environment — Making It Real (TB, WD, HW), pp. 561–567.