Get started
Keyword

probabilistic model checking

Description: A formal verification method that analyzes probabilistic models of systems to determine whether they satisfy specified properties or performance requirements.
OpenAlex ID: keywords/probabilistic-model-checking
PRISM 4.0: Verification of Probabilistic Real-Time Systems
2011 · Marta Kwiatkowska, Gethin Norman, et al. · Lecture notes in computer science · 2,366
PRISM: Probabilistic Symbolic Model Checker
2002 · Marta Kwiatkowska, Gethin Norman, et al. · Lecture notes in computer science · 708
PRISM: A Tool for Automatic Verification of Probabilistic Systems
2006 · Andrew Hinton, Marta Kwiatkowska, et al. · Lecture notes in computer science · 553
Statistical Model Checking: An Overview
2010 · Axel Legay, Benoît Delahaye, et al. · Lecture notes in computer science · 438
Probabilistic symbolic model checking with PRISM: a hybrid approach
2004 · Marta Kwiatkowska, Gethin Norman, et al. · International Journal on Software Tools for Technology Transfer · 435
A Storm is Coming: A Modern Probabilistic Model Checker
2017 · Christian Dehnert, Sebastian Junges, et al. · Lecture notes in computer science · 417
Automatic verification of real-time systems with discrete probability distributions
2002 · Marta Kwiatkowska, Gethin Norman, et al. · Theoretical Computer Science · 333
PDF
Automated Verification Techniques for Probabilistic Systems
2011 · Vojtěch Forejt, Marta Kwiatkowska, et al. · Lecture notes in computer science · 329
The ins and outs of the probabilistic model checker MRMC
2010 · Joost-Pieter Katoen, Ivan S. Zapreev, et al. · Performance Evaluation · 254
The probabilistic model checker Storm
2021 · Christian Hensel, Sebastian Junges, et al. · International Journal on Software Tools for Technology Transfer · 253
PDF
PRISM
2009 · Marta Kwiatkowska, Gethin Norman, et al. · ACM SIGMETRICS Performance Evaluation Review · 252
Probabilistic model checking of complex biological pathways
2007 · John Heath, Marta Kwiatkowska, et al. · Theoretical Computer Science · 238
PDF
Numerical vs. statistical probabilistic model checking
2006 · Håkan L. S. Younes, Marta Kwiatkowska, et al. · International Journal on Software Tools for Technology Transfer · 209
Statistical probabilistic model checking with a focus on time-bounded properties
2006 · Håkan L.S. Younes, Reid G. Simmons · Information and Computation · 193
Run-time efficient probabilistic model checking
2011 · Antonio Filieri, Carlo Ghezzi, et al. · Proceedings/Proceedings - International Conference on Software Engineering · 192
Mathematical Techniques for Analyzing Concurrent and Probabilistic Systems
2004 · J. J. Rutten, Marta Kwiatkowska, et al. · CRM monograph series · 192
Proactive self-adaptation under uncertainty: a probabilistic model checking approach
2015 · Gabriel A. Moreno, Javier Cámara, et al. · ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering (ESEC/FSE) · 184
Implementation of symbolic model checking for probabilistic systems
2003 · David Parker · University of Birmingham Institutional Research Archive (University of Birmingham) · 166
PDF
The Probabilistic Model Checking Landscape
2016 · Joost-Pieter Katoen · Proceedings - Symposium on Logic in Computer Science · 165
Verification and planning for stochastic processes with asynchronous events
2004 · Håkan L. S. Younes, Reid Simmons · 157
Symmetry Reduction for Probabilistic Model Checking
2006 · Marta Kwiatkowska, Gethin Norman, et al. · Lecture notes in computer science · 142
PDF
PRISM 2.0: A Tool for Probabilistic Model Checking
2004 · Marta Kwiatkowska, Gethin Norman, et al. · 142
Robust control of uncertain Markov Decision Processes with temporal logic specifications
2012 · Eric M. Wolff, Ufuk Topcu, et al. · 140
Quantitative analysis and model checking
2002 · M. Huth, M. Kwiatkowska · 135
Automatic verification of competitive stochastic systems
2013 · Taolue Chen, Vojtěch Forejt, et al. · Formal Methods in System Design · 134
Works count: 2,116
Citation count: 27,140
Year
Topic
Type