Harold Bruintjes

Bridging GROOVE to the world using a conceptual language model

Harold Bruintjes, 2012 .

A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models

Sebastian Junges, Dimitri Bohlender, Thomas Noll, 2014, ISoLA.

Perspective corrected view on (touch-)table surfaces Depth perception on flat surfaces using head tracking

Harold Bruintjes, 2009 .

Catalogue of System and Software Properties

Stefano Tonetta, Harold Bruintjes, Victor Bos, 2016, SAFECOMP.

A Statistical Approach for Timed Reachability in AADL Models

Joost-Pieter Katoen, Harold Bruintjes, David Lesens, 2015, 2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks.

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2015, CAV.

Model-based reliability analysis of aerospace systems

Harold Bruintjes, H. Bruintjes, 2018 .

Parameter Synthesis for Probabilistic Systems

Sebastian Junges, Nils Jansen, Joost-Pieter Katoen, 2016, MBMV.

Compass 3.0

Joost-Pieter Katoen, Marco Bozzano, Alessandro Cimatti, 2019, TACAS.

Formal Methods for Aerospace Systems

Joost-Pieter Katoen, Marco Bozzano, Alessandro Cimatti, 2017 .