Dr. rer. nat. Tobe Toben OFFIS - Institut für Informatik Escherweg 2 26121 Oldenburg Germany tel:  +49-441-779 222 28 fax:  +49-441-9722 502 mail: toben_@_offis.de (remove the _s)

Welcome

I'm working at the OFFIS - Institut for Computer Science in Oldenburg, Germany, in the Research and Development Area Transportation. My research interests include formal methods in the system development lifecycle, the application of safety standards, and formal languages for system requirements. Please find a list of my publications below. If you are interested in my private activities, please have a look at the DownStairs page.

Publications

Conference Proceedings

• 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.

• 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.

• 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.

• 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.

Collections

• 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.

Workshops

• 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 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.

Technical Reports

• 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.

• 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.

Thesis

• Tobe Toben. Analysis of Dynamic Evolution Systems by Spotlight Abstraction Refinement.
  PhD thesis, Carl von Ossietzky Universität Oldenburg, Germany, 2009.
  [Abstract] [PDF] [BibTeX]