Searching for authors named "Werner Damm" – sorted by Relevance.
25 documents found, showing 1 through 10.
Next 10 →
-
Verification of a Radio-Based Signaling System Using the STATEMATE Verification Environment
- … Verification Environment WERNER DAMM damm@(email omitted); OFFIS, Germany JOCHEN KLOSE jochen…
- Cited by 11 (1 self) – Add To MetaCart
-
LSCs: Breathing Life into Message Sequence Charts
- …–80, 2001 c○ 2001 Kluwer Academic Publishers. Manufactured in The Netherlands. WERNER DAMM damm…
- Cited by 235 (37 self) – Add To MetaCart
-
Distributed Implementation of Programmed Graph Reduction
- … Indermark RWTH Aachen, Lehrstuhl fur Informatik II Ahornstra��e 55, 5100 Aachen, West Germany Werner Damm FB…
- Cited by 17 (1 self) – Add To MetaCart
-
An Extended Gradient Model for NUMA Multiprocessor Systems
- … and Werner Damm FB Informatik, Oldenburg Universit��at, 26111 Oldenburg, Germany Abstract. In this paper, we…
- Cited by 1 (1 self) – Add To MetaCart
-
On the expressive power of live sequence charts
- …On the Expressive Power of Live Sequence Charts ⋆ Werner Damm, Tobe Toben, and Bernd Westphal Carl…
- Cited by 2 (0 self) – Add To MetaCart
-
Secure Decentralized Control of Railway Crossings
- …Secure Decentralized Control of Railway Crossings Werner Damm Gert Dohmen Jochen Klose y…
- Cited by 4 (1 self) – Add To MetaCart
-
Understanding UML: A Formal Semantics of Concurrency and Communication in Real-Time UML
- … Systems). 2 Werner Damm, Bernhard Josko, Amir Pnueli, and Angelika Votintseva formal analysis methods…
- Cited by 37 (2 self) – Add To MetaCart
-
What if Model Checking Must Be Truly Symbolic
- …@(email omitted); Orna Grumberg The Technion, Haifa orna@(email omitted); Werner Damm University Oldenburg damm…
- Cited by 9 (3 self) – Add To MetaCart
-
Specification and Verification of System-Level Hardware Designs using Timing Diagrams
- … and Werner Damm Fachbereich Informatik, Abteilung Rechnerarchitektur Universitt Oldenburg, Postfach 2503…
- Cited by 5 (2 self) – Add To MetaCart
-
A Compositional Real-time Semantics of STATEMATE Designs
- …A Compositional Real-time Semantics of STATEMATE Designs Werner Damm 1 , Bernhard Josko 1…
- Cited by 46 (6 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
