Verifying quantitative properties of continuous probabilistic timed automata (2000)

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

Documents Related by Co-Citation

1975 A theory of timed automata – Rajeev Alur - 1999
124 Approximate symbolic model checking of continuous-time Markov chains (Extended Abstract) – Christel Baier, Joost-pieter Katoen, Holger Hermanns - 1999
200 Model Checking of Probabilistic and Nondeterministic Systems – Andrea Bianco, Luca De Alfaro - 1995
184 PRISM: Probabilistic symbolic model checker – Marta Kwiatkowska, Gethin Norman, David Parker - 2002
75 Probabilistic Verification of Discrete Event Systems using Acceptance Sampling – Håkan L. S. Younes, H˚akan L. S. Younes, Reid G. Simmons - 2002
84 Model-checking for Probabilistic Real-time Systems – Rajeev Alur, Costas Courcoubetis, David L. Dill - 1991
72 Automatic verification of real-time systems with discrete probability distributions – Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston - 1999
58 Model-checking continuous-time Markov chains – A Aziz, K Sanwal, V Singhal, R Brayton - 2000
116 Model Checking for a Probabilistic Branching Time Logic with Fairness – Christel Baier, Marta Kwiatkowska - 1998
83 Symbolic model checking for probabilistic processes – Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-garmhausen, Marta Kwiatkowska, Mark Ryan - 1997
247 A Logic for Reasoning about Time and Reliability – Hans Hansson, Bengt Jonsson - 1994
67 A GSMP Formalism for Discrete Event Systems – P W Glynn - 1989
91 Verifying Continuous Time Markov Chains – Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert Brayton - 1996
69 Model checking continuous-time Markov chains by transient analysis – Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen - 2000
162 M.: The complexity of probabilistic verification – C Courcoubetis, Yannakakis - 1995
578 Introduction to the Numerical Solution of Markov Chains – W J Stewart - 1994
472 Symbolic Model Checking for Real-time Systems – Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine - 1992
24 Beyond Memoryless Distributions: Model Checking Semi-Markov Chains – Gabriel G. Infante Lopez, Holger Hermanns, Joost-pieter Katoen - 2001
45 Verifying continuous-time Markov Chains – A Aziz, K Sanwal, V Singhal, R K Brayton - 1996