Searching for authors named "Carsten Weise" – sorted by Relevance.
13 documents found, showing 1 through 10.
Next 10 →
-
An incremental formal semantics for PROMELA
- …An incremental formal semantics for PROMELA Carsten Weise Lehrstuhl fur Informatik I, Aachen…
- Cited by 3 (0 self) – Add To MetaCart
-
Efficient Scaling-Invariant Checking of Timed Bisimulation
- …Efficient Scaling-Invariant Checking of Timed Bisimulation Carsten Weise and Dirk Lenzkes…
- Cited by 5 (1 self) – Add To MetaCart
-
Experimental Batch Plant - CS1 Using Timed Automata and UPPAAL
- … Pettersson Carsten Weise BRICS Institute of Computer Science Aalborg University, Denmark Draft Version May…
- Cited by 1 (0 self) – Add To MetaCart
-
Fischer's Protocol Revisited: A Simple Proof Using Modal Constraints
- … Steffen 2 , Carsten Weise 3 1 BRICS y , Aalborg Univ., Denmark, kgl@(email omitted); 2 FB Math. u…
- Cited by 1 (1 self) – Add To MetaCart
-
The Methodology of Modal Constraints
- …The Methodology of Modal Constraints Kim G. Larsen ?1 , Bernhard Steffen 2 , Carsten Weise 3…
- Cited by 2 (0 self) – Add To MetaCart
-
A Constraint Oriented Proof Methodology Based on Modal Transition Systems
- … Aalborg Univ., Denmark, Bernhard Steffen FB Math. und Informatik, Univ. of Passau, Germany, Carsten Weise…
- Cited by 29 (6 self) – Add To MetaCart
-
From Timed Automata to Logic -- and Back
- … Laroussinie Kim G. Larsen Carsten Weise BRICS Report Series RS-95-2 ISSN 0909-0878 January 1995 Copyright c…
- Cited by 41 (4 self) – Add To MetaCart
-
A Constraint Oriented Proof Methodology based on Modal Transition Systems
- … Transition Systems Kim G. Larsen Bernhard Steffen Carsten Weise BRICS Report Series RS-94-47 ISSN 0909…
- Add To MetaCart
-
Clock Difference Diagrams
- … Clock Difference Diagrams Kim G. Larsen Carsten Weise Wang Yi Justin Pearson BRICS Report Series RS-98…
- Cited by 15 (3 self) – Add To MetaCart
-
New Generation of UPPAAL
- … 2 Yi Wang 2 Carsten Weise 1 1 BRICS, Dept of Computer Science, Aalborg University, Denmark. 2…
- Cited by 41 (3 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
