UPPAAL in a Nutshell (1997)

Cached

Download Links

by Kim G. Larsen , Paul Pettersson , Wang Yi
Citations:491 - 38 self

Active Bibliography

42 The Bounded Retransmission Protocol must be on time! – Pedro R. D'Argenio, Joost-Pieter Katoen, Theo C. Ruys, G. Jan Tretmans - 1997
Timed and Hybrid Automata – Kim Guldstrand Larsen, Mogens Nielsen, P. S. Thiagarajan, J-p. Katoen - 2000
5 Uppaal: a Tool Suite for Validation and Verification of Real-Time Systems – Johan Bengtsson, Fredrik Larsson, Paul Pettersson, Wang Yi, Palle Christensen, Jesper Jensen, Per Jensen, Kim Larsen, Thomas Sorensen - 1996
6 Continuous Modelling of Real Time and Hybrid Systems: From Concepts to Tools – K. G. Larsen, B. Steffen, C. Weise - 1997
56 Efficient Verification of Real-Time Systems: Compact Data Structure and State--Space Reduction – Kim Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi - 1997
15 Diagnostic Model-Checking for Real-Time Systems – Kim G. Larsen, Paul Pettersson, Wang Yi - 1996
4 UPPAAL in 1995 – Johan Bengtsson, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, Wang Yi
53 Partial order reductions for timed systems – Johan Bengtsson, Bengt Jonsson, Johan Lilius, Wang Yi - 1998
3 Enhancing UPPAAL by Exploiting Symmetry – Martijn Hendriks - 2002
19 Adding Symmetry Reduction to UPPAAL – Martijn Hendriks, Gerd Behrmann, Kim Larsen, Peter Niebert, Frits Vaandrager - 2004
11 Analysing Bang & Olufsen's BeoLink Audio/Video System Using Coloured Petri Nets – Søren Christensen, Jens Bæk Jørgensen, Jens Baek J��rgensen - 1997
Verification of Timeliness QoS Properties in Multimedia Systems – Behzad Bordbar, Kozo Okano
1 TIOA and UPPAAL – Christine Margaret Robson - 2004
14 Timed automaton models for simple programmable logic controllers – Angelika Mader, Hanno Wupper - 1999
44 Model Checking via Reachability Testing for Timed Automata – Augusto Burgueño, Kim G. Larsen, Luca Aceto, Luca Aceto - 1997
Avoidance Protocol using SPIN and UPPAAL – Henrik Ejersbo Jensen, Kim G. Larsen, Arne Skou, Henrik Ejersbo, Jensen Kim, G. Larsen, Arne Skou
Formal Verification of a TDMA Protocol Start-Up Mechanism – This Work Was, Henrik Lönn - 1997
6 Formal Verification of an Audio/Video Power Controller using the Real-Time Model Checker UPPAAL – Klaus Havelund, Kim Guldstrand Larsen, Arne Skou - 1998
25 Scaling up UPPAAL: automatic verification of real-time systems using compositionality and abstraction – Henrik Ejersbo Jensen, Kim Guldstrand, Arne Skou - 2000