Searching for authors named "Johan Bengtsson" – sorted by Relevance.
16 documents found, showing 1 through 10.
Next 10 →
-
Reducing memory usage in symbolic state-space exploration for timed systems
- … of Information Technology UPPSALA UNIVERSITY Box 337, SE-751 05 Uppsala, Sweden Johan Bengtsson Technical report…
- Cited by 4 (1 self) – Add To MetaCart
-
Timed Automata: Semantics, Algorithms and Tools
- …Timed Automata: Semantics, Algorithms and Tools Johan Bengtsson and Wang Yi Uppsala University…
- Cited by 40 (0 self) – Add To MetaCart
-
Modeling and Assessment of Systems Security
- …Modeling and Assessment of Systems Security Jonas Hallberg, Johan Bengtsson, and Niklas Hallberg…
- Add To MetaCart
-
Partial order reductions for timed systems
- …Partial Order Reductions for Timed Systems Johan Bengtsson 1 Bengt Jonsson 1 Johan Lilius 2 Wang…
- Cited by 37 (4 self) – Add To MetaCart
-
UPPAAL - a Tool Suite for Automatic Verification of Real-Time Systems
- …UPPAAL --- a Tool Suite for Automatic Verification of Real--Time Systems ? Johan Bengtsson 2 Kim…
- Cited by 120 (13 self) – Add To MetaCart
-
UPPAAL in 1995
- …UPPAAL in 1995 Johan Bengtsson y Kim G. Larsen z Fredrik Larsson y Paul Pettersson y Wang…
- Cited by 3 (1 self) – Add To MetaCart
-
New Generation of UPPAAL
- …New Generation of UPPAAL ? Johan Bengtsson 2 Kim Larsen 1 Fredrik Larsson 2 Paul Pettersson…
- Cited by 41 (3 self) – Add To MetaCart
-
UPPAAL - a Tool Suite for Symbolic and Compositional Verification of Real-Time Systems
- …ConfigConfigConfigConfig Config Config Config Config Config Config Config Config // 1995-05-17 - Johan Bengtsson // 1995…
- Cited by 4 (4 self) – Add To MetaCart
-
Automated Analysis of an Audio Control Protocol Using
- …Automated Analysis of an Audio Control Protocol Using UPPAAL JOHAN BENGTSSON, W. O. DAVID…
- Cited by 4 (1 self) – Add To MetaCart
-
Copyright C
- … of Real--Time Systems Johan Bengtsson Kim G. Larsen Fredrik Larsson Paul Pettersson Wang Yi BRICS Report…
- Add To MetaCart
Showing 1 through 10.
Next 10 →
