Search the dblp DataBase

Publications of Author

1. Jörg Bauer, Ina Schaefer, Tobe Toben, Bernd Westphal
   Specification and Verification of Dynamic Communication Systems. [Citation Graph (0, 0)][DBLP]
   ACSD, 2006, pp:189-200 [Conf]
   
2. Jochen Klose, Tobe Toben, Bernd Westphal, Hartmut Wittke
   Check It Out: On the Efficient Formal Verification of Live Sequence Charts. [Citation Graph (0, 0)][DBLP]
   CAV, 2006, pp:219-233 [Conf]
   
3. Bernd Westphal, Tobe Toben
   The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts. [Citation Graph (0, 0)][DBLP]
   FASE, 2006, pp:230-246 [Conf]
   
4. Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal
   The Rhapsody UML Verification Environment. [Citation Graph (0, 0)][DBLP]
   SEFM, 2004, pp:174-183 [Conf]
   
5. Tobe Toben, Bernd Westphal
   Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2006, v:145, n:, pp:95-111 [Journal]
   
6. Jörg Bauer, Tobe Toben, Bernd Westphal
   Mind the Shapes: Abstraction Refinement Via Topology Invariants. [Citation Graph (0, 0)][DBLP]
   ATVA, 2007, pp:35-50 [Conf]
   
7. Werner Damm, Tobe Toben, Bernd Westphal
   On the Expressive Power of Live Sequence Charts. [Citation Graph (0, 0)][DBLP]
   Program Analysis and Compilation, 2006, pp:225-246 [Conf]
   
8. Tobe Toben
   Non-interference Properties for Data-Type Reduction of Communicating Systems. [Citation Graph (0, 0)][DBLP]
   IFM, 2007, pp:619-638 [Conf]
   
9. 
   Verification and Synthesis of OCL Constraints Via Topology Analysis. [Citation Graph (, )][DBLP]
   
   
10. 
    Counterexample Guided Spotlight Abstraction Refinement. [Citation Graph (, )][DBLP]