| 2007 |
|---|
| 16 | EE | Jörg Bauer,
Werner Damm,
Tobe Toben,
Bernd Westphal:
Verification and Synthesis of OCL Constraints Via Topology Analysis.
AGTIVE 2007: 361-376 |
| 15 | EE | Jörg Bauer,
Tobe Toben,
Bernd Westphal:
Mind the Shapes: Abstraction Refinement Via Topology Invariants.
ATVA 2007: 35-50 |
| 14 | EE | Björn Wachter,
Bernd Westphal:
The Spotlight Principle.
VMCAI 2007: 182-198 |
| 2006 |
|---|
| 13 | EE | Jörg Bauer,
Ina Schaefer,
Tobe Toben,
Bernd Westphal:
Specification and Verification of Dynamic Communication Systems.
ACSD 2006: 189-200 |
| 12 | EE | Jochen Klose,
Tobe Toben,
Bernd Westphal,
Hartmut Wittke:
Check It Out: On the Efficient Formal Verification of Live Sequence Charts.
CAV 2006: 219-233 |
| 11 | EE | Bernd Westphal,
Tobe Toben:
The Good, the Bad and the Ugly: Well-Formedness of Live Sequence Charts.
FASE 2006: 230-246 |
| 10 | EE | Werner Damm,
Tobe Toben,
Bernd Westphal:
On the Expressive Power of Live Sequence Charts.
Program Analysis and Compilation 2006: 225-246 |
| 9 | EE | Bernd Westphal:
LSC Verification for UML Models with Unbounded Creation and Destruction.
Electr. Notes Theor. Comput. Sci. 144(3): 133-145 (2006) |
| 8 | EE | Tobe Toben,
Bernd Westphal:
Concurrent LSC Verification: On Decomposition Properties of Partially Ordered Symbolic Automata.
Electr. Notes Theor. Comput. Sci. 145: 95-111 (2006) |
| 2005 |
|---|
| 7 | EE | Werner Damm,
Bernd Westphal:
Live and let die: LSC based verification of UML models.
Sci. Comput. Program. 55(1-3): 117-159 (2005) |
| 2004 |
|---|
| 6 | EE | Ingo Schinz,
Tobe Toben,
Christian Mrugalla,
Bernd Westphal:
The Rhapsody UML Verification Environment.
SEFM 2004: 174-183 |
| 5 | EE | Werner Damm,
Bernd Westphal:
Introduction to Subject Area 'Charts'.
SoftSpez Final Report 2004: 322-324 |
| 4 | EE | 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.
SoftSpez Final Report 2004: 374-399 |
| 3 | EE | Matthias Brill,
Ralf Buschermöhle,
Werner Damm,
Jochen Klose,
Bernd Westphal,
Hartmut Wittke:
Formal Verification of LSCs in the Development Process.
SoftSpez Final Report 2004: 494-516 |
| 2002 |
|---|
| 2 | EE | Werner Damm,
Bernd Westphal:
Live and Let Die: LSC-Based Verification of UML-Models.
FMCO 2002: 99-135 |
| 2000 |
|---|
| 1 | EE | 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.
ISMDA 2000: 169-182 |
