Verifying quantitative properties of continuous probabilistic timed automata (2000)

by Marta Kwiatkowska , Gethin Norman , Roberto Segala , Jeremy Sproston
Citations:29 - 7 self

Documents Related by Co-Citation

112 Approximate symbolic model checking of continuous-time Markov chains (Extended Abstract) – Christel Baier, Joost-pieter Katoen, Holger Hermanns - 1999
1659 A theory of timed automata – Rajeev Alur - 1999
80 Model-checking for Probabilistic Real-time Systems – Rajeev Alur, Costas Courcoubetis, David L. Dill - 1991
172 Model Checking of Probabilistic and Nondeterministic Systems – Andrea Bianco, Luca De Alfaro - 1995
135 PRISM: Probabilistic symbolic model checker – Marta Kwiatkowska, Gethin Norman, David Parker - 2002
53 Probabilistic Verification of Discrete Event Systems using Acceptance Sampling – Håkan L. S. Younes, H˚akan L. S. Younes, Reid G. Simmons - 2002
60 A GSMP formalism for discrete event systems – P W Glynn - 1989
192 A Logic for Reasoning about Time and Reliability – Hans Hansson, Bengt Jonsson - 1994
54 Automatic verification of real-time systems with discrete probability distributions – Marta Kwiatkowska, Gethin Norman, Roberto Segala, Jeremy Sproston - 1999
104 Model Checking for a Probabilistic Branching Time Logic with Fairness – Christel Baier, Marta Kwiatkowska - 1998
71 Symbolic model checking for probabilistic processes – Christel Baier, Edmund M. Clarke, Vasiliki Hartonas-garmhausen, Marta Kwiatkowska, Mark Ryan, Universität Mannheim - 1997
63 Model checking continuous-time Markov chains by transient analysis – Christel Baier, Boudewijn Haverkort, Holger Hermanns, Joost-Pieter Katoen - 2000
42 Model-checking continuous-time Markov chains – A Aziz, K Sanwal, V Singhal, R Brayton - 2000
54 Regenerative Stochastic Simulation – Gerald S Shedler - 1993
40 A logic for reasoning about time and reliability. Formal Aspects of Computing 6(5 – H Hansson, B Jonsson - 1994
51 Performance Analysis of Communication Systems: Modeling with NonMarkovian Stochastic Petri Nets – R German - 2000
76 Verifying Continuous Time Markov Chains – Adnan Aziz, Kumud Sanwal, Vigyan Singhal, Robert Brayton - 1996
129 The complexity of probabilistic verification – C Courcoubetis, M Yannakakis - 1995
483 WJ: Introduction to the numerical solution of Markov chains – Stewart - 1994