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

Documents Related by Co-Citation

1964 A theory of timed automata – Rajeev Alur - 1999
215 Automatic Verification of Probabilistic Concurrent Finite-State Programs – M Vardi - 1985
266 Probabilistic Simulations for Probabilistic Processes – Roberto Segala, Nancy Lynch - 1994
115 Model Checking for a Probabilistic Branching Time Logic with Fairness – Christel Baier, Marta Kwiatkowska - 1998
198 Model Checking of Probabilistic and Nondeterministic Systems – Andrea Bianco, Luca De Alfaro - 1995
158 The complexity of probabilistic verification – C Courcoubetis, M Yannakakis - 1995
244 A Logic for Reasoning about Time and Reliability – Hans Hansson, Bengt Jonsson - 1994
230 Modeling and Verification of Randomized Distributed Real-Time Systems – R Segala - 1995
50 Performance analysis of probabilistic timed automata using digital clocks – Marta Kwiatkowska, Gethin Norman, David Parker, Jeremy Sproston - 2003
49 Symbolic Model Checking of Probabilistic Timed Automata Using Backwards Reachability – Marta Kwiatkowska, Gethin Norman, Jeremy Sproston - 2000
122 Approximate symbolic model checking of continuous-time Markov chains (Extended Abstract) – Christel Baier, Joost-pieter Katoen, Holger Hermanns - 1999
401 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
490 UPPAAL in a Nutshell – Kim G. Larsen, Paul Pettersson, Wang Yi - 1997
17 Model Checking Probabilistic Real Time Systems – Henrik Ejersbo Jensen - 1996
35 Probabilistic Model Checking of Deadline Properties in the IEEE1394 FireWire Root Contention Protocol – Marta Kwiatkowska, Gethin Norman, Jeremy Sproston
75 Probabilistic Verification of Discrete Event Systems using Acceptance Sampling – Håkan L. S. Younes, H˚akan L. S. Younes, Reid G. Simmons - 2002
69 A logic for reasoning about time and probability – H Hansson, B Jonsson - 1994
154 Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation – E Clarke, M Fujita, P C McGeer, K McMillan, J Yang - 1993
23 Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM – Conrado Daws, Marta Kwiatkowska, Gethin Norman