dblp.uni-trier.dewww.uni-trier.de

Bernd Westphal Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

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

Coauthor Index

1Matthias Brill [3] [4]
2Ralf Buschermöhle [3]
3Werner Damm [2] [3] [4] [5] [7] [10] [16]
4Jochen Klose [3] [4] [12]
5Frank Köster [1]
6Jörg Kreiker (Jörg Bauer) [13] [15] [16]
7Christian Mrugalla [6]
8Roland Radtke [1]
9Ina Schaefer [13]
10Ingo Schinz [6]
11Michael Sonnenschein [1]
12Tobe Toben [6] [8] [10] [11] [12] [13] [15] [16]
13Björn Wachter [14]
14Hartmut Wittke [3] [4] [12]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)