Loading
|
Automated Analysis of an Audio Control Protocol Using UPPAAL (2002) Johan Bengtsson, W. O. David Griffioen, Kåre J. Kristoffersen, Kim G. Larsen, Fredrik Larsson, Paul Pettersson, and Wang Yi |
||
|
Testing Preorders for Probabilistic Processes can be Characterized by Simulations (2002) Bengt Jonsson and Wang Yi |
||
|
Clocks, DBM's and States in Timed Systems (2002) Johan Bengtsson |
||
|
Axiomatizing Timed Automata (2002) Huimin Lin and Wang Yi |
||
|
Workshop on Real-Time Tools (2002) Paul Pettersson and Wang Yi (eds.) |
||
|
UPPAAL Implementation Secrets (2002) Gerd Behrmann, Johan Bengtsson, Alexandre David, Kim G. Larsen, Paul Pettersson, and Wang Yi |
||
|
Formal Verification of UML Statecharts with Real-time Extensions (2002) Alexandre David, Oliver Möller, and Wang Yi |
||
|
Timed Automata with Asynchrounous Processes: Schedulability and Decidability (2002) Elena Fersman, Paul Pettersson, and Wang Yi |
||
|
TIMES: A Tool for Modelling and Implementation of Embedded Systems (2002) Tobias Amnell, Elena Fersman, Leonid Mokrushin, Paul Pettersson, and Wang Yi |
||
|
A Tool Architecture for the Next Generation of Uppaal (2002) Alexandre David, Gerd Behrmann, Kim Guldstrand Larsen, Wang Yi |
||
|
Code Synthesis for Timed Automata (2002) Tobias Amnell, Elena Fersman, Paul Pettersson, Hongyan Sun, Wang Yi |
