Harold Bruintjes

Publication Activity (10 Years)

Years Active: 2014-2019
Publications (10 Years): 5

Top Topics

Marginal Distributions

Stochastic Models

Temporal Properties

Statistical Approaches

Top Venues

RWTH Aachen University, Germany (PHD)

Education History

RWTH Aachen University, Germany

PHD

Publications

Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta
COMPASS 3.0. TACAS (1) (2019)
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes
Parameter Synthesis for Probabilistic Systems. MBMV (2016)
Victor Bos, Harold Bruintjes, Stefano Tonetta
Catalogue of System and Software Properties. SAFECOMP (2016)
Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám
PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. CAV (1) (2015)
Harold Bruintjes, Joost-Pieter Katoen, David Lesens
A Statistical Approach for Timed Reachability in AADL Models. DSN (2015)
Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. ISoLA (2) (2014)