Tobe Toben

16 papers A* 1B 4C 1Unranked 9
YearRankTypeTitle / Venue / Authors
2026 — conf
BTC Embedded Systems - Bringing Formal Methods from Norddeutschland to the World.
Engineering Safe and Trustworthy Cyber Physical Systems
Tom Bienmüller, Matthias Büker, Udo Brockmeyer, Jürgen Bohn, Hans Jürgen Holberg, Tobe Toben, Hartmut Wittke
2011 — conf
Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments.
ISoLA Workshops
Tobe Toben, Sönke Eilers, Christian Kuka, Sören Schweigert, Hannes Winkelmann, Stefan Ruehrup
2011 — conf
Safety and Precision of Spatial Context Models for Autonomous Systems.
Hybrid Autonomous Systems@ETAPS
Tobe Toben, Jan-Hendrik Rakow
2010 — conf
A Formal Model of Reliable Sensor Perception.
EuroSSC
Tobe Toben
2010 — conf
Spotlight Abstraction of Agents and Areas.
Quantitative and Qualitative Analysis of Network Protocols
Tobe Toben, Bernd Westphal, Jan-Hendrik Rakow
2009 — —
Analysis of dynamic evolution systems by spotlight abstraction refinement.
Tobe Toben
2008 C conf
Counterexample Guided Spotlight Abstraction Refinement.
FORTE
Tobe Toben
2007 B conf
Mind the Shapes: Abstraction Refinement Via Topology Invariants.
ATVA
Jörg Bauer, Tobe Toben, Bernd Westphal
2007 B conf
Non-interference Properties for Data-Type Reduction of Communicating Systems.
IFM
Tobe Toben
2007 — conf
Verification and Synthesis of OCL Constraints Via Topology Analysis.
AGTIVE
Jörg Bauer, Werner Damm, Tobe Toben, Bernd Westphal
2006 A* conf
Check It Out: On the Efficient Formal Verification of Live Sequence Charts.
CAV
Jochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke
2006 — conf
On the Expressive Power of Live Sequence Charts.
Program Analysis and Compilation
Werner Damm, Tobe Toben, Bernd Westphal
2006 — conf
Specification and Verification of Dynamic Communication Systems.
ACSD
Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal
2006 B conf
The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts.
FASE
Bernd Westphal, Tobe Toben
2005 — conf
Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata.
AVoCS
Tobe Toben, Bernd Westphal
2004 B conf
The Rhapsody UML Verification Environment.
SEFM
Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal