The Rhapsody UML Verification Environment. - Ingo Schinz; Tobe Toben; Christian Mrugalla; Bernd Westphal (SEFM, 2004)

Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata. - Tobe Toben; Bernd Westphal (AVoCS, 2005)

Specification and Verification of Dynamic Communication Systems. - Jörg Bauer 001; Ina Schaefer; Tobe Toben; Bernd Westphal (ACSD, 2006)

On the Expressive Power of Live Sequence Charts. - Werner Damm; Tobe Toben; Bernd Westphal (Program Analysis and Compilation, 2006)

Check It Out: On the Efficient Formal Verification of Live Sequence Charts. - Jochen Klose; Tobe Toben; Bernd Westphal; Hartmut Wittke (CAV, 2006)

The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts. - Bernd Westphal; Tobe Toben (FASE, 2006)

Verification and Synthesis of OCL Constraints Via Topology Analysis. - Jörg Bauer 001; Werner Damm; Tobe Toben; Bernd Westphal (AGTIVE, 2007)

Mind the Shapes: Abstraction Refinement Via Topology Invariants. - Jörg Bauer 001; Tobe Toben; Bernd Westphal (ATVA, 2007)

Non-interference Properties for Data-Type Reduction of Communicating Systems. - Tobe Toben (IFM, 2007)

Counterexample Guided Spotlight Abstraction Refinement. - Tobe Toben (FORTE, 2008)

Analysis of dynamic evolution systems by spotlight abstraction refinement. - Tobe Toben (2009)

Spotlight Abstraction of Agents and Areas. - Tobe Toben; Bernd Westphal; Jan-Hendrik Rakow (Quantitative and Qualitative Analysis of Network Protocols, 2010)

A Formal Model of Reliable Sensor Perception. - Tobe Toben (EuroSSC, 2010)

Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments. - Tobe Toben; Sönke Eilers; Christian Kuka; Sören Schweigert; Hannes Winkelmann; Stefan Ruehrup (ISoLA Workshops, 2011)

Safety and Precision of Spatial Context Models for Autonomous Systems. - Tobe Toben; Jan-Hendrik Rakow (Hybrid Autonomous Systems@ETAPS, 2011)