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: Klose:Jochen
Contributed to:
2006
2001
2001Wrote 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.