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

1975 A theory of timed automata – Rajeev Alur - 1999
218 Automatic verification of probabilistic concurrent finite-state programs – M Vardi - 1985
270 Probabilistic Simulations for Probabilistic Processes – Roberto Segala, Nancy Lynch - 1994
116 Model Checking for a Probabilistic Branching Time Logic with Fairness – Christel Baier, Marta Kwiatkowska - 1998
200 Model Checking of Probabilistic and Nondeterministic Systems – Andrea Bianco, Luca De Alfaro - 1995
162 M.: The complexity of probabilistic verification – C Courcoubetis, Yannakakis - 1995
247 A Logic for Reasoning about Time and Reliability – Hans Hansson, Bengt Jonsson - 1994
233 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
124 Approximate symbolic model checking of continuous-time Markov chains (Extended Abstract) – Christel Baier, Joost-pieter Katoen, Holger Hermanns - 1999
405 Bisimulation through probabilistic testing – Kim G. Larsen, Arne Skou - 1989
491 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
71 A logic for reasoning about time and probability – H Hansson, B Jonsson - 1994
156 Multi-terminal binary decision diagrams: An efficient data structure for matrix representation – M Fujita, P C McGeer, J C-Y Yang - 1997
23 Automatic Verification of the IEEE-1394 Root Contention Protocol with KRONOS and PRISM – Conrado Daws, Marta Kwiatkowska, Gethin Norman