A Survey of Statistical Model Checking

Command-based importance sampling for statistical model checking

(2016) Cyrille Jegourel et al.   THEORETICAL COMPUTER SCIENCE

HASL: A new approach for performance evaluation and model checking from concepts to experimentation

(2015) Paolo Ballarini et al.   PERFORMANCE EVALUATION

Smart sampling for lightweight verification of Markov decision processes

(2015) Pedro D’Argenio et al.   International Journal on Software Tools for Technology Transfer

Statistical model checking for unbounded until formulas

(2015) Nima Roohi et al.   International Journal on Software Tools for Technology Transfer

Statistical model checking for biological applications

(2014) Paolo Zuliani   International Journal on Software Tools for Technology Transfer

Approximate planning and verification for large Markov decision processes

(2014) Richard Lassaigne et al.   International Journal on Software Tools for Technology Transfer

Statistical model checking QoS properties of systems with SBIP

(2014) Ayoub Nouri et al.   International Journal on Software Tools for Technology Transfer

Performance evaluation of sensor networks by statistical modeling and euclidean model checking

(2013) Youngmin Kwon et al.   ACM Transactions on Sensor Networks

Bayesian statistical model checking with application to Stateflow/Simulink verification

(2013) Paolo Zuliani et al.   FORMAL METHODS IN SYSTEM DESIGN

Exploring behaviors of stochastic differential equation models of biological systems using change of measures

(2012) Sumit Jha et al.   BMC BIOINFORMATICS

Approximate Model Checking of Stochastic Hybrid Systems

(2011) Alessandro Abate et al.   EUROPEAN JOURNAL OF CONTROL

Verifying the Evolution of Probability Distributions Governed by a DTMC

(2010) YoungMin Kwon et al.   IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

Formal verification of a realistic compiler

(2009) Xavier Leroy   COMMUNICATIONS OF THE ACM