|
Search the dblp DataBase
Bernd Westphal:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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]
- 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]
- 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]
- 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]
- Werner Damm, Bernd Westphal
Introduction to Subject Area 'Charts'. [Citation Graph (0, 0)][DBLP] SoftSpez Final Report, 2004, pp:322-324 [Conf]
- 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]
- 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]
- 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]
- Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal
The Rhapsody UML Verification Environment. [Citation Graph (0, 0)][DBLP] SEFM, 2004, pp:174-183 [Conf]
- 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]
- 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]
- 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]
- 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]
- 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]
Verification and Synthesis of OCL Constraints Via Topology Analysis. [Citation Graph (, )][DBLP]
The Spotlight Principle. [Citation Graph (, )][DBLP]
Search in 0.004secs, Finished in 0.005secs
|