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:54 - 22 self

Active Bibliography

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