MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named "Bernd Westphal" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

8 documents found, showing 1 through 8.

ATOM

On the expressive power of Live Sequence Charts
by Tobe Toben, Bernd Westphal — 2006 — in: Proceedings of the SofSem 2006 Poster Session
…On the Expressive Power of Live Sequence Charts ⋆ Tobe Toben and Bernd Westphal Carl von Ossietzky…
Cited by 2 (2 self) – Add To MetaCart

T.: The good, the bad and the ugly: Well-formedness of Live Sequence Charts
by Bernd Westphal, Tobe Toben — 2006 — Proc. FASE 2006. Volume 3922 of Lecture Notes in Computer Science., Springer-Verlag
…The Good, the Bad and the Ugly: Well-formedness of Live Sequence Charts ⋆ Bernd Westphal and Tobe…
Cited by 1 (1 self) – Add To MetaCart

Relating LSC Specifications to UML models
by Jochen Klose, Bernd Westphal — 2002 — In Hartmut Ehrig and Martin Grosse-Rhode, editors, Proceedings INT2002- International Workshop on Integration of Specification Techniques for Applications in Engineering
…Relating LSC Specifications to UML models Jochen Klose and Bernd Westphal Universitat Oldenburg…
Cited by 6 (3 self) – Add To MetaCart

On the expressive power of live sequence charts
by Werner Damm, Tobe Toben, Bernd Westphal — 2006 — In: Program Analysis and Compilation, Lect
…On the Expressive Power of Live Sequence Charts ⋆ Werner Damm, Tobe Toben, and Bernd Westphal Carl…
Cited by 2 (0 self) – Add To MetaCart

The Rhapsody UML Verification Environment
by Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd Westphal — 2004 — Proc. SEFM 2004
…The Rhapsody UML Verification Environment Ingo Schinz, Tobe Toben, Christian Mrugalla, Bernd…
Cited by 14 (6 self) – Add To MetaCart

Specification and verification of dynamic communication systems
by Jörg Bauer, Ina Schaefer, Tobe Toben Bernd Westphal — 2006 — In Proc. ACSD 2006. IEEE
… (inschaef@(email omitted);) Max-Planck-Institut für Informatik, 66123 Saarbrücken, Germany Tobe Toben, Bernd…
Cited by 4 (3 self) – Add To MetaCart

Formal verification of LSC’s in the development process
by Matthias Brill, Ralf Buschermöhle, Werner Damm, Jochen Klose, Bernd Westphal, Hartmut Wittke — 2004 — Integration of Software Specification Techniques for Applications in Engineering, number 3147 in LNCS
… , Werner Damm 1 , Jochen Klose 3 , Bernd Westphal 1 , and Hartmut Wittke 2 1 Carl von Ossietzky Universität…
Cited by 1 (0 self) – Add To MetaCart

Live and let die: LSC-based verification of UMLmodels
by Werner Damm, Bernd Westphal, Carl Von Ossietzky Universität — 2003 — Science of of Computer Programming
…Live and Let Die: LSC-based Verification of UML-Models Werner Damm and Bernd Westphal Carl von…
Cited by 15 (9 self) – Add To MetaCart

Showing 1 through 8.

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB