The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Tobe Toben: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002