Author pages are created from data sourced from our academic publisher partnerships and public sources.
- Publications
- Influence
PRISM 4.0: Verification of Probabilistic Real-Time Systems
- M. Kwiatkowska, G. Norman, D. Parker
- Computer Science
- CAV
- 14 July 2011
TLDR
PRISM: A Tool for Automatic Verification of Probabilistic Systems
- A. Hinton, M. Kwiatkowska, G. Norman, D. Parker
- Computer Science
- TACAS
- 25 March 2006
TLDR
PRISM: Probabilistic Symbolic Model Checker
- M. Kwiatkowska, G. Norman, D. Parker
- Computer Science
- Computer Performance Evaluation / TOOLS
- 14 April 2002
TLDR
Stochastic Model Checking
- M. Kwiatkowska, G. Norman, D. Parker
- Computer Science
- SFM
- 28 May 2007
TLDR
Probabilistic symbolic model checking with PRISM: a hybrid approach
- M. Kwiatkowska, G. Norman, D. Parker
- Computer Science
- International Journal on Software Tools for…
- 1 August 2004
TLDR
PRISM: probabilistic model checking for performance and reliability analysis
- M. Kwiatkowska, G. Norman, D. Parker
- Computer Science
- PERV
- 25 March 2009
TLDR
PRISM 2.0: a tool for probabilistic model checking
- M. Kwiatkowska, G. Norman, D. Parker
- Computer Science
- First International Conference on the…
- 2004
TLDR
Automated Verification Techniques for Probabilistic Systems
- Vojtech Forejt, M. Kwiatkowska, G. Norman, D. Parker
- Computer Science
- SFM
- 13 June 2011
TLDR
Performance Analysis of Probabilistic Timed Automata Using Digital Clocks
- M. Kwiatkowska, G. Norman, D. Parker, J. Sproston
- Computer Science
- FORMATS
- 6 September 2003
TLDR
Mathematical techniques for analyzing concurrent and probabilistic systems
- J. Rutten, M. Kwiatkowska, G. Norman, D. Parker, P. Panangaden
- Computer Science
- CRM monograph series
- 9 March 2004
On streams and coinduction: Preface Acknowledgments Streams and coinduction Stream calculus Analytical differential equations Coinductive counting Component connectors Key differential equations… Expand