Searching for authors named "Carsten Weise" – sorted by Relevance.
-
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

