Tobe Toben
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
7
Active years
2004–2011
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2011 | ISoLA | Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments. | Tobe Toben, Snke Eilers, Christian Kuka, Sren Schweigert, Hannes Winkelmann, Stefan Ruehrup |
| 2008 | FORTE | Counterexample Guided Spotlight Abstraction Refinement. | Tobe Toben |
| 2007 | ATVA | Mind the Shapes: Abstraction Refinement Via Topology Invariants. | Jrg Bauer, Tobe Toben, Bernd Westphal |
| 2007 | IFM | Non-interference Properties for Data-Type Reduction of Communicating Systems. | Tobe Toben |
| 2006 | CAV | Check It Out: On the Efficient Formal Verification of Live Sequence Charts. | Jochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke |
| 2006 | FASE | The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts. | Bernd Westphal, Tobe Toben |
| 2004 | SEFM | The Rhapsody UML Verification Environment. | Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal |