Travelled to:1 × Austria
1 × China
1 × Germany
1 × USA
1 × United Kingdom
Collaborated with:B.Westphal ∅ J.Bauer W.Damm J.Klose H.Wittke I.Schinz C.Mrugalla
Talks about:verif (3) sequenc (2) chart (2) live (2) constraint (1) synthesi (1) rhapsodi (1) properti (1) interfer (1) communic (1)
Person: Tobe Toben
DBLP: Toben:Tobe
Contributed to:
2007
2007
2006
2006
2004Wrote 5 papers:
- AGTIVE-2007-BauerDTW #analysis #constraints #ocl #synthesis #verification
- Verification and Synthesis of OCL Constraints Via Topology Analysis (JB, WD, TT, BW), pp. 361–376.
- IFM-2007-Toben #communication #data type #reduction
- Non-interference Properties for Data-Type Reduction of Communicating Systems (TT), pp. 619–638.
- 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.
- FASE-2006-WestphalT #sequence chart
- The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts (BW, TT), pp. 230–246.
- SEFM-2004-SchinzTMW #uml #verification
- The Rhapsody UML Verification Environment (IS, TT, CM, BW), pp. 174–183.