|
1451
|
A theory of timed automata
– Alur, Dill
- 1994
|
|
294
|
HyTech: A Model Checker for Hybrid Systems
– Henzinger, Ho, et al.
- 1997
|
|
241
|
Reactive modules
– Alur, Henzinger
- 1996
|
|
224
|
The tool kronos
– Daws, Olivero, et al.
- 1996
|
|
197
|
Model-checking in dense real-time
– Alur, Courcoubetis, et al.
- 1993
|
|
154
|
Model checking of probabilistic and nondeterministic systems
– Bianco, Alfaro
- 1995
|
|
119
|
PRISM: Probabilistic symbolic model checker
– Kwiatkowska, Norman, et al.
- 2002
|
|
110
|
Model checking for a probabilistic branching time logic with fairness
– Baier, Kwiatkowska
- 1998
|
|
96
|
Probabilistic Symbolic Model Checking with PRISM: A Hybrid Approach
– Kwiatkowska, Norman, et al.
- 2002
|
|
77
|
Model checking continuous-time Markov chains by transient analysis
– Baier, Haverkort, et al.
- 2000
|
|
64
|
Model checking of real-time reachability properties using abstractions
– Daws, Tripakis
- 1998
|
|
32
|
Computing minimum and maximum reachability times in probabilistic systems
– Alfaro
- 1999
|
|
29
|
Probabilistic model checking of deadline properties
– Kwiatkowska, Norman, et al.
- 2003
|
|
20
|
Uppaal in a nutshell. Software Tools for Technology Transfer
– Larsen, Pettersson, et al.
- 1997
|
|
15
|
Automatic veri of real-time systems with discrete probability distributions
– Kwiatkowska, Norman, et al.
- 1999
|
|
14
|
Automatic veri of probabilistic concurrent programs
– Vardi
- 1985
|
|
11
|
Mechanical veri of the IEEE 1394a root contention protocol using Uppaal2k
– Simons, Stoelinga
- 2001
|
|
1
|
Alea jacta est: veri of probabilistic, real-time and parametric systems
– Stoelinga
- 2002
|
|
