Harold Bruintjes

According to our database, Harold Bruintjes authored at least 7 papers between 2014 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

COMPASS 3.0.

Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

2018

Model-based reliability analysis of aerospace systems.

Harold Bruintjes

PhD thesis, 2018

2016

Catalogue of System and Software Properties.

Victor Bos, Harold Bruintjes, Stefano Tonetta

Proceedings of the Computer Safety, Reliability, and Security, 2016

Parameter Synthesis for Probabilistic Systems.

Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Ábrahám, Harold Bruintjes

Proceedings of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, 2016

2015

A Statistical Approach for Timed Reachability in AADL Models.

Harold Bruintjes, Joost-Pieter Katoen, David Lesens

Proceedings of the 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2015

PROPhESY: A PRObabilistic ParamEter SYnthesis Tool.

Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika Ábrahám

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, 2014