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 × Canada
1 × Italy
1 × USA
Collaborated with:
H.Wittke M.Lettrari T.Toben B.Westphal
Talks about:
sequenc (2) chart (2) live (2) base (2) interpret (1) scenario (1) automata (1) monitor (1) formal (1) effici (1)

Person: Jochen Klose

DBLP DBLP: Klose:Jochen

Contributed to:

CAV 20062006
TACAS 20012001
UML 20012001

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.
UML-2001-LettrariK #modelling #monitoring #realtime #testing #uml
Scenario-Based Monitoring and Testing of Real-Time UML Models (ML, JK), pp. 317–328.

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.