Tobe Toben

Publication Activity (10 Years)

Years Active: 2004-2013
Publications (10 Years): 0

Top Venues

Electron. Notes Theor. Comput. Sci.

University of Oldenburg, Germany (PHD)

Education History

University of Oldenburg, Germany

PHD

Publications

Tobe Toben, Jan-Hendrik Rakow
Safety and Precision of Spatial Context Models for Autonomous Systems. Electron. Notes Theor. Comput. Sci. 297 (2013)
Tobe Toben, Sönke Eilers, Christian Kuka, Sören Schweigert, Hannes Winkelmann, Stefan Ruehrup
Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments. ISoLA Workshops (2011)
Tobe Toben
A Formal Model of Reliable Sensor Perception. EuroSSC (2010)
Tobe Toben, Bernd Westphal, Jan-Hendrik Rakow
Spotlight Abstraction of Agents and Areas. Quantitative and Qualitative Analysis of Network Protocols (2010)
Tobe Toben
Counterexample Guided Spotlight Abstraction Refinement. FORTE (2008)
Jörg Bauer, Werner Damm, Tobe Toben, Bernd Westphal
Verification and Synthesis of OCL Constraints Via Topology Analysis. AGTIVE (2007)
Tobe Toben
Non-interference Properties for Data-Type Reduction of Communicating Systems. IFM (2007)
Jörg Bauer, Tobe Toben, Bernd Westphal
Mind the Shapes: Abstraction Refinement Via Topology Invariants. ATVA (2007)
Bernd Westphal, Tobe Toben
The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts. FASE (2006)
Jochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke
Check It Out: On the Efficient Formal Verification of Live Sequence Charts. CAV (2006)
Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal
Specification and Verification of Dynamic Communication Systems. ACSD (2006)
Werner Damm, Tobe Toben, Bernd Westphal
On the Expressive Power of Live Sequence Charts. Program Analysis and Compilation (2006)
Tobe Toben, Bernd Westphal
Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata. Electron. Notes Theor. Comput. Sci. 145 (2006)
Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal
The Rhapsody UML Verification Environment. SEFM (2004)

Tobe Toben.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tobe Toben