The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Bernd Westphal: [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. Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke
    Formal Verification of LSCs in the Development Process. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:494-516 [Conf]
  4. Matthias Brill, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke
    Live Sequence Charts: An Introduction to Lines, Arrows, and Strange Boxes in the Context of Formal Verification. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:374-399 [Conf]
  5. Werner Damm, Bernd Westphal
    Introduction to Subject Area 'Charts'. [Citation Graph (0, 0)][DBLP]
    SoftSpez Final Report, 2004, pp:322-324 [Conf]
  6. 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]
  7. Werner Damm, Bernd Westphal
    Live and Let Die: LSC-Based Verification of UML-Models. [Citation Graph (0, 0)][DBLP]
    FMCO, 2002, pp:99-135 [Conf]
  8. Frank Köster, Roland Radtke, Bernd Westphal, Michael Sonnenschein
    Combining Methodical Procedures from Knowledge Discovery in Databases and Individual-Oriented Simulation -- Data Mining in Time Series. [Citation Graph (0, 0)][DBLP]
    ISMDA, 2000, pp:169-182 [Conf]
  9. Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal
    The Rhapsody UML Verification Environment. [Citation Graph (0, 0)][DBLP]
    SEFM, 2004, pp:174-183 [Conf]
  10. 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]
  11. Bernd Westphal
    LSC Verification for UML Models with Unbounded Creation and Destruction. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:144, n:3, pp:133-145 [Journal]
  12. Werner Damm, Bernd Westphal
    Live and let die: LSC based verification of UML models. [Citation Graph (0, 0)][DBLP]
    Sci. Comput. Program., 2005, v:55, n:1-3, pp:117-159 [Journal]
  13. 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]
  14. 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]

  15. Verification and Synthesis of OCL Constraints Via Topology Analysis. [Citation Graph (, )][DBLP]


  16. The Spotlight Principle. [Citation Graph (, )][DBLP]


Search in 0.014secs, Finished in 0.015secs
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