Tobe Toben, BTC Embedded Systems AG, Oldenburg, Germany

Dr. rer. nat. Tobe Toben
BTC Embedded Systems AG
An der Schmiede 4
26135 Oldenburg
Germany

Welcome

My focus is on the development and usage of model-based design- and verification methods within the development lifecycle of (safety-critical) embedded systems. This includes the application of (semi-)formal methods for testing and analysing software components, the integration of safety standards (like IEC 61508 and ISO 26262) into the development process, and the definition of formal specification languages (like Automata, Temporal Logic, or Sequence Diagrams) for testing and verification purposes.

Please find a list of my projects and publications and teaching activities below. If you are interested in my private activities, please have a look at the DownStairs page.

Projects

OMEGA : Correct Development of Real-Time Embedded Systems (2002-2005)
AVACS : Automatic Verification And Analysis of Complex Systems (2004-2007)
GIF 152.6/2005 : Modular and Reusable Scenario-based Behavioral Specifications (2007-2009)
SaLsA : Sichere autonome Logistik- und Transportfahrzeuge im Außenbereich (2009-2011)

Publications

Peer-Reviewed

Tobe Toben and Jan-Hendrik Rakow.
Safety and Precision of Spatial Context Models for Autonomous Systems.
To appear in: Proceedings of the 1st ETAPS Workshop on "Hybrid Autonomous Systems" (HAS 2011), ENTCS, Saarbrücken, Germany, April 2011.
Sönke Eilers, Christian Kuka, Stefan Rührup, Sören Schweigert, Tobe Toben and Hannes Winkelmann.
Safe Autonomous Transport Vehicles in Heterogeneous Outdoor Environments.
In: 1st ISoLA Workshop on "Software Aspects of Robotic Systems" (ISoLA/SARS 2011), Springer, Vienna, October 2011.
© Springer-Verlag.
Sönke Eilers, Thomas Peikenkamp, Stefan Rührup, Sören Schweigert, Tobe Toben and Hannes Winkelmann.
Eine Generische Gefährdungsliste für Fahrerlose Transportfahrzeuge in der Intralogistik.
In: 12. Braunschweiger Symposium "Automatisierungs-, Assistenzsysteme und eingebettete Systeme für Transportmittel" (AAET 2011), pages 245-259, ITS Niedersachsen e.V., Germany, February 2011.
[PDF] [BibTeX] © ITS Niedersachsen e.V.
Tobe Toben.
A Formal Model of Reliable Sensor Perception.
In: P. Lukowitz, G. Kortuem, K. Kunze (Eds.), Proceddings of the 5th European Conference on Smart Sensing and Context (EuroSSC 2010), Passau, Germany, November 2010, pages 94-107, Lecture Notes in Computer Science, Volume 6446, Springer-Verlag, 2010. (nominated for the Best Paper Award)
[PDF] [BibTeX] [BibTeX (DBLP)] [ElectronicEdition] © Springer-Verlag.
Tobe Toben, Bernd Westphal and Jan-Hendrik Rakow.
Spotlight Abstraction of Agents and Areas (Extended Abstract).
In: B. Jonsson, J. Kreiker, M. Kwiatkowska (Eds.), Quantitative and Qualitative Analysis of Network Protocols, Dagstuhl Seminar Proceedings, 10051, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Germany, ISSN: 1862-4405, 31.01.-05.02.2010.
[Abstract] [PDF] [Slides] [BibTeX] [ElectronicEdition]
Tobe Toben.
Counterexample Guided Spotlight Abstraction Refinement.
In: K. Suzuki and T. Higashino and K. Yasumoto and K. El-Fakih (Eds.), Proceedings of the 28th IFIP WG6.1 International Conference on Formal Techniques for Networked and Distributed Systems (FORTE 2008), Tokyo, Japan, June 2008, pages 21-36, Lecture Notes in Computer Science, Volume 5048, Springer-Verlag, 2008. (Best Paper Award)
[PDF] [BibTeX] [BibTeX (DBLP)] [ElectronicEdition] © Springer-Verlag.
Jörg Bauer, Tobe Toben, and Bernd Westphal.
Mind the Shapes: Abstraction Refinement via Topology Invariants.
In: K. S. Namjoshi and T. Yoneda and T. Higashino and Y. Okamura (Eds.), Proceedings of the 5th International Symposium on Automated Technology for Verification and Analysis (ATVA 2007), Tokyo, Japan, October 2007, pages 35-50, Lecture Notes in Computer Science, Volume 4762, Springer-Verlag, 2007.
[PDF] [BibTeX] [BibTeX (DBLP)] [ElectronicEdition] © Springer-Verlag.
Jörg Bauer, Werner Damm, Tobe Toben and Bernd Westphal.
Verification and Synthesis of OCL Constraints via Topology Analysis.
In: Andy Schürr, Manfred Nagl, Albert Zündorf (Eds.), Proceedings of the 3rd International Workshop on Applications of Graph Transformation with Industrial releVancE (AGTIVE 2007), Revised Selected and Invited Papers, Kassel, Germany, pages 361-376, Lecture Notes in Computer Science, Volume 5088, Springer-Verlag, October 2007.
[PDF] [BibTeX] [BibTeX (DBLP)] [ElectronicEdition] © Springer-Verlag.
Tobe Toben.
Non-Interference Properties for Data-Type Reduction of Communicating Systems.
In: Jim Davies and Jeremy Gibbons (Eds.), Proceedings of the 6th International Conference on Integrated Formal Methods (IFM 2007), Oxford, UK, July 2007, pages 619-638, Lecture Notes in Computer Science, Volume 4591, Springer-Verlag, 2007.
[PDF] [BibTeX] [BibTeX (DBLP)] [ElectronicEdition] © Springer-Verlag.
Werner Damm, Tobe Toben, and Bernd Westphal.
On the Expressive Power of Live Sequence Charts.
In: Thomas Reps, Mooly Sagiv, and Jörg Bauer (Eds.), Program Analysis and Compilation, Theory and Practice: Essays Dedicated to Reinhard Wilhelm, pages 225-246, Lecture Notes in Computer Science, Volume 4444, Springer-Verlag, 2007. Full version of [TW06].
[PDF] [BibTeX] [BibTeX (DBLP)] [ElectronicEdition] © Springer-Verlag.
Jochen Klose, Tobe Toben, Bernd Westphal, and Hartmut Wittke.
Check It Out: On the Efficient Formal Verification of Live Sequence Charts.
In: Thomas Ball and Robert B. Jones (Eds.), Computer Aided Verification, 18th International Conference, CAV 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings, pages 219-233, Lecture Notes in Computer Science, Volume 4144, Springer-Verlag, 2006.
[PDF] [BibTeX] [BibTeX (DBLP)] [ElectronicEdition] © Springer-Verlag.
Jörg Bauer, Ina Schaefer, Tobe Toben, and Bernd Westphal.
Specification and Verification of Dynamic Communication Systems.
In: Proceedings of the 6th International Conference on Application of Concurrency to System Design (ACSD 2006), pages 189-200, June 26-30, 2006, IEEE Computer Society Press.
[PDF] [BibTeX] [BibTeX (IEEE)] [BibTeX (DBLP)] [ElectronicEdition] © IEEE CS Press.
Bernd Westphal and Tobe Toben.
The Good, the Bad and the Ugly: Well-formedness of Live Sequence Charts.
In: Luciano Baresi and Reiko Heckel (Eds.), Fundamental Approaches to Software Engineering, 9th International Conference, FASE 2006, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2006, Vienna, Austria, March 27-28, 2006, Proceedings, pages 230-246, Lecture Notes in Computer Science, Volume 3922, Springer-Verlag, March 2006.
[PDF] [BibTeX] [BibTeX (DBLP)] [ElectronicEdition] © Springer-Verlag.
Tobe Toben and Bernd Westphal.
On the Expressive Power of Live Sequence Charts.
In: Jiri Wiedermann, Gerard Tel, Jaroslav Pokorny, Maria Bielikova, and Julius Stuller (Eds.), SOFSEM 2006: Theory and Practice of Computer Science, 32nd Conference on Current Trends in Theory and Practice of Computer Science, Merin, Czech Republic, January 2006, Volume II, pages 33-43, January 2006, Institute of Computer Science AS CR, Prague.
[PDF] [BibTeX] © AS CR.
Tobe Toben and Bernd Westphal.
Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata.
In: R. Lazic and R. Nagarajan (Eds.), Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, AVoCS 2005, ENTCS, 145:95--111, Elsevier B.V., Warwick, UK, January 2006.
[PDF] [BibTeX] [BibTeX (DBLP)] [ElectronicEdition] © Elsevier B.V.
Christian Mrugalla, Oliver Robbe, Ingo Schinz, Tobe Toben, and Bernd Westphal.
Formal Verification of a Sensor Voting and Monitoring UML Model.
In: S. H. Houmb, J. Jürjens, R. France (Eds.), Proceedings of the 4th International Workshop on Critical Systems Development Using Modeling Languages (CSDUML 2005), Fredrikstad, Norway, September 2005, Technische Universität München.
[PDF] [BibTeX] © TUM.
Ingo Schinz, Tobe Toben, Christian Mrugalla and Bernd Westphal.
The Rhapsody UML Verification Environment.
In: Jorge R. Cuellar, Zhiming Liu (Eds.), Proceedings of the 2nd International Conference on Software Engineering and Formal Methods (SEFM 2004), Beijing, China, pages 174-183, IEEE Computer Society Press, September 2004.
[PDF] [BibTeX] [BibTeX (IEEE)] [BibTeX (DBLP)] [ElectronicEdition] © IEEE CS Press.

Technical Reports

Rüdiger Ehlers, E. Moritz Hahn, Martin Mehlmann, Hans-Jörg Peter, Jan Rakow, Tobe Toben, and Bernd Westphal.
Dynamic Communicating Probabilistic Timed Automata Playing Games
In: B. Becker, W. Damm, M. Fränzle, E.-R. Olderog, A. Podelski, and R. Wilhelm (Eds.), Reports of SFB/TR 14 AVACS, Number 75, ISSN: 1860-9821, July 2011.
[PDF] [BibTeX] © SFB/TR 14 AVACS.
Jörg Bauer, Tobe Toben and Bernd Westphal.
Mind the shapes: Abstraction refinement via topology invariants
In: B. Becker, W. Damm, M. Fränzle, E.-R. Olderog, A. Podelski, and R. Wilhelm (Eds.), Reports of SFB/TR 14 AVACS, Number 22, ISSN: 1860-9821, June 2007.
[PDF] [BibTeX] © SFB/TR 14 AVACS.
Jörg Bauer, Werner Damm, Tobe Toben and Bernd Westphal.
Verification and synthesis of OCL constraints via topology analysis: A case study
In: B. Becker, W. Damm, M. Fränzle, E.-R. Olderog, A. Podelski, and R. Wilhelm (Eds.), Reports of SFB/TR 14 AVACS, Number 23, ISSN: 1860-9821, June 2007.
[PDF] [BibTeX] © SFB/TR 14 AVACS.
Jörg Bauer, Tobe Toben and Bernd Westphal.
The Temporal Logic of Appearance and Disappearance.
In: B. Becker, W. Damm, M. Fränzle, E.-R. Olderog, A. Podelski, and R. Wilhelm (Eds.), Reports of SFB/TR 14 AVACS, Number 24, ISSN: 1860-9821, June 2007.
[PDF] [BibTeX] © SFB/TR 14 AVACS.

Zeitschriften

Mark Eikötter, Stefan Rührup and Tobe Toben, Autonom Unterwegs, Computer & AUTOMATION, Ausgabe 2-2011, WEKA Fachmedien GmbH, Heilbronn, 2011.
Tobe Toben, Rangieren ohne Fahrer, Logistra, Ausgabe 1-2 2011, HUSS-Verlag GmbH, München, 2011.

Theses

Tobe Toben. Analysis of Dynamic Evolution Systems by Spotlight Abstraction Refinement.
PhD thesis, Carl von Ossietzky Universität Oldenburg, Germany, 2009.
[Abstract] [PDF] [BibTeX]
Tobe Toben. Diskretes Model-Checking für SPS-Automaten.
Diploma thesis, Carl von Ossietzky Universität Oldenburg, Germany, 2002.

Teaching

I have supervised and/or reviewed the following Theses:

S. Sieverding. Sequenzdiagrammbasierte Test- und Analysemethoden von AUTOSAR Softwarekomponenten. Master Thesis, 2011.
S. Wischmeyer. Entwicklung eines Scope-Konzeptes für Live Sequence Charts. Diploma Thesis, 2009.
S. Wischmeyer. Probabilistische Live Sequence Charts. Bachelor Thesis, 2008.
C. Ammann. Verifikation von DCS-Beschreibungen mit dem Modelchecker SPIN. Bachelor Thesis, 2007.
H. Jost. Eliminating FIFO Message Queues From Dynamic Communication Systems. Diploma Thesis, December 2006.
J. Rakow: Verification of Dynamic Communication Systems. Diploma Thesis, April 2006.

Courses where I have been involved in:

Proseminar Kooperative und mobile Systeme (WS 2010/2011)
Projektgruppe ReACT (2010/2011)
VL Technische Informatik I (Einführung in UML/Rapsody) (WS 2009/10)
Projektgruppe Car Platooning (2005/06)
VL Requirements Engineering (Einführung in LSCs) (SS 2005)
Seminar Statistische Analysen (WS 2003/04)

04.10.2011