Verifying quantitative properties of continuous probabilistic timed automata (2000)

by Marta Kwiatkowska , Gethin Norman , Roberto Segala , Jeremy Sproston
Citations:33 - 9 self

Active Bibliography

1 SYMBOLIC IMPLEMENTATION OF MODEL-CHECKING PROBABILISTIC TIMED AUTOMATA – Fuzhi Wang - 2006
35 Probabilistic Model Checking of Deadline Properties in the IEEE1394 FireWire Root Contention Protocol – Marta Kwiatkowska, Gethin Norman, Jeremy Sproston
Model Checking of Probabilistic Systems Against Temporal Logic Specifications – Marta Kwiatkowska - 1999
72 Automatic verification of real-time systems with discrete probability distributions – Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston - 1999
24 Symbolic model checking for probabilistic processes using MTBDDs and the Kronecker representation – Luca De Alfaro, Marta Kwiatkowska, Gethin Norman, David Parker, Roberto Segala - 2000
9 Analysing randomized distributed algorithms – Gethin Norman - 2004
35 Symbolic Model Checking of Concurrent Probabilistic Systems Using MTBDDs – Marta Kwiatkowska, Gethin Norman, David Parker, Roberto Segala - 2000
1 PCTL model checking of symbolic probabilistic systems – Marta Kwiatkowska, Gethin Norman, Jeremy Sproston - 2003
55 On probabilistic model checking – Marta Kwiatkowska, Gethin Norman, David Parker - 1996
2 J.Sproston. Verifying soft deadlines with probabilistic timed automata – Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston - 2000
23 Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM – Conrado Daws, Marta Kwiatkowska, Gethin Norman
49 Symbolic Model Checking of Probabilistic Timed Automata Using Backwards Reachability – Marta Kwiatkowska, Gethin Norman, Jeremy Sproston - 2000
Symbolic Computation of Minimal Probabilistic Reachability – Marta Kwiatkowska, Gethin Norman, Jeremy Sproston - 2003
9 Symbolic Computation of Maximal Probabilistic Reachability – Marta Kwiatkowska, Gethin Norman, Jeremy Sproston - 2001
128 Model-checking algorithms for continuous-time Markov chains – Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen - 2003
47 Model Checking for Probability and Time: From Theory to Practice – Marta Kwiatkowska - 2003
14 Quantitative Verification: Models, Techniques and Tools – Marta Kwiatkowska - 2007
139 Bisimulation for Labelled Markov Processes – Jos Ee Desharnais, Josee Desharnais, Richard Blute, Richard Blute, Abbas Edalat, Abbas Edalat, Prakash Panagaden, Prakash Panangaden - 1997
1 Strict Divergence for Probabilistic Timed Automata – Jeremy Sproston - 2009