Tobe Toben

According to our database, Tobe Toben authored at least 16 papers between 2004 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

BTC Embedded Systems - Bringing Formal Methods from Norddeutschland to the World.

Tom Bienmüller, Matthias Büker, Udo Brockmeyer, Jürgen Bohn, Hans Jürgen Holberg, Tobe Toben, Hartmut Wittke

Proceedings of the Engineering Safe and Trustworthy Cyber Physical Systems, 2026

2011

Safety and Precision of Spatial Context Models for Autonomous Systems.

Tobe Toben, Jan-Hendrik Rakow

Proceedings of the First Workshop on Hybrid Autonomous Systems, 2011

Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments.

Tobe Toben, Sönke Eilers, Christian Kuka, Sören Schweigert, Hannes Winkelmann, Stefan Ruehrup

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2011

2010

A Formal Model of Reliable Sensor Perception.

Tobe Toben

Proceedings of the Smart Sensing and Context - 5th European Conference, 2010

Spotlight Abstraction of Agents and Areas.

Tobe Toben, Bernd Westphal, Jan-Hendrik Rakow

Proceedings of the Quantitative and Qualitative Analysis of Network Protocols, 31.01., 2010

2009

Analysis of dynamic evolution systems by spotlight abstraction refinement.

Tobe Toben

PhD thesis, 2009

2008

Counterexample Guided Spotlight Abstraction Refinement.

Tobe Toben

Proceedings of the Formal Techniques for Networked and Distributed Systems, 2008

2007

Non-interference Properties for Data-Type Reduction of Communicating Systems.

Tobe Toben

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

Mind the Shapes: Abstraction Refinement Via Topology Invariants.

Jörg Bauer, Tobe Toben, Bernd Westphal

Proceedings of the Automated Technology for Verification and Analysis, 2007

Verification and Synthesis of OCL Constraints Via Topology Analysis.

Jörg Bauer, Werner Damm, Tobe Toben, Bernd Westphal

Proceedings of the Applications of Graph Transformations with Industrial Relevance, 2007

2006

The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts.

Bernd Westphal, Tobe Toben

Proceedings of the Fundamental Approaches to Software Engineering, 2006

Check It Out: On the Efficient Formal Verification of Live Sequence Charts.

Jochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke

Proceedings of the Computer Aided Verification, 18th International Conference, 2006

On the Expressive Power of Live Sequence Charts.

Werner Damm, Tobe Toben, Bernd Westphal

Proceedings of the Program Analysis and Compilation, 2006

Specification and Verification of Dynamic Communication Systems.

Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal

Proceedings of the Sixth International Conference on Application of Concurrency to System Design (ACSD 2006), 2006

2005

Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata.

Tobe Toben, Bernd Westphal

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005

2004

The Rhapsody UML Verification Environment.

Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal

Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), 2004