BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Wittke:Hartmut

Contributed to:

CAV 20062006
TACAS 20012001
CAV 20002000

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.