Automatic verification of real-time systems with discrete probability distributions (1999)

by Marta Kwiatkowska , Gethin Norman , Roberto Segala , Jeremy Sproston
Venue:Theoretical Computer Science
Citations:72 - 27 self

Active Bibliography

1 SYMBOLIC IMPLEMENTATION OF MODEL-CHECKING PROBABILISTIC TIMED AUTOMATA – Fuzhi Wang - 2006
23 Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM – Conrado Daws, Marta Kwiatkowska, Gethin Norman
33 Verifying quantitative properties of continuous probabilistic timed automata – Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston - 2000
1 Timed Automata for the Development of Real-Time Systems – Md Tawhid Bin Waez, Juergen Dingel, Karen Rudie - 2011
9 Analysing randomized distributed algorithms – Gethin Norman - 2004
35 Probabilistic Model Checking of Deadline Properties in the IEEE1394 FireWire Root Contention Protocol – Marta Kwiatkowska, Gethin Norman, Jeremy Sproston
1975 A theory of timed automata – Rajeev Alur - 1999
1 Discrete-Time Verification and Control for Probabilistic Rectangular Hybrid Automata – Jeremy Sproston
Model Checking of Probabilistic Systems Against Temporal Logic Specifications – Marta Kwiatkowska - 1999
1 Strict Divergence for Probabilistic Timed Automata – Jeremy Sproston - 2009
55 On probabilistic model checking – Marta Kwiatkowska, Gethin Norman, David Parker - 1996
1 Modeling, Verification and Testing using Timed and Hybrid Automata – Stavros Tripakis, Thao Dang
50 Implementation of Symbolic Model Checking for Probabilistic Systems – David Anthony Parker - 2002
6 Automated Verification Techniques for Probabilistic Systems – Vojtěch Forejt, Marta Kwiatkowska, Gethin Norman, David Parker
38 How to Specify and Verify the Long-Run Average Behavior of Probabilistic Systems – Luca De Alfaro - 1998
17 Model checking probabilistic timed automata with one or two clocks – Marcin Jurdziński, François Laroussinie, Jeremy Sproston - 2007
3 Timed Automata May Cause Some Troubles – Patricia Bouyer - 2002
128 Model-checking algorithms for continuous-time Markov chains – Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen - 2003
10 Correctness and Reduction in Timed Circuit Analysis – Eric G Mercer - 2002