A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. - Dimitri Bohlender; Harold Bruintjes; Sebastian Junges; Jens Katelaan; Viet Yen Nguyen; Thomas Noll 001 (ISoLA (2), 2014)

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. - Christian Dehnert; Sebastian Junges; Nils Jansen 001; Florian Corzilius; Matthias Volk 001; Harold Bruintjes; Joost-Pieter Katoen; Erika Ábrahám (CAV (1), 2015)

A Statistical Approach for Timed Reachability in AADL Models. - Harold Bruintjes; Joost-Pieter Katoen; David Lesens (DSN, 2015)

Parameter Synthesis for Probabilistic Systems. - Christian Dehnert; Sebastian Junges; Nils Jansen 001; Florian Corzilius; Matthias Volk 001; Joost-Pieter Katoen; Erika Ábrahám; Harold Bruintjes (MBMV, 2016)

Catalogue of System and Software Properties. - Victor Bos; Harold Bruintjes; Stefano Tonetta (SAFECOMP, 2016)

Model-based reliability analysis of aerospace systems. - Harold Bruintjes (2018)

COMPASS 3.0. - Marco Bozzano; Harold Bruintjes; Alessandro Cimatti; Joost-Pieter Katoen; Thomas Noll 001; Stefano Tonetta (TACAS (1), 2019)