Harold Bruintjes

Alumni

Photo of Harold Bruintjes

Member until: May 2018
Now at: Utimaco, Aachen, Germany
Address: Room 4203
Ahornstraße 55
D-52074 Aachen

I am a PhD student at the Software Modeling and Verification Group (MOVES) headed by Professor J.-P. Katoen

Publications

2019

Conference paper
COMPASS 3.0
Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta
Tools and algorithms for the construction and analysis of systems
PDF of COMPASS 3.0 RWTH record for COMPASS 3.0 BibTeX for COMPASS 3.0

2018

PhD thesis
Model-based reliability analysis of aerospace systems
Harold Yorick Bruintjes
RWTH Aachen University
Advisers: Joost-Pieter Katoen, Alessandro Cimatti
PDF of Model-based reliability analysis of aerospace systems RWTH record for Model-based reliability analysis of aerospace systems BibTeX for Model-based reliability analysis of aerospace systems

2017

Conference paper
Formal Methods for Aerospace Systems : Achievements and Challenges
Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta
Cyber-Physical System Design from an Architecture Analysis Viewpoint
RWTH record for Formal Methods for Aerospace Systems : Achievements and Challenges BibTeX for Formal Methods for Aerospace Systems : Achievements and Challenges
Conference paper
The COMPASS 3.0 Toolset
Marco Bozzano, Harold Yorick Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta
RWTH record for The COMPASS 3.0 Toolset BibTeX for The COMPASS 3.0 Toolset
Journal article
Missie: foutvrije software in de ruimte
Harold Yorick Bruintjes, Joost-Pieter Katoen
Bits en Chips
RWTH record for Missie: foutvrije software in de ruimte BibTeX for Missie: foutvrije software in de ruimte

2016

Conference paper
Catalogue of System and Software Properties
Victor Bos, Harold Yorick Bruintjes, Stefano Tonetta
Computer safety, reliability, and security
RWTH record for Catalogue of System and Software Properties BibTeX for Catalogue of System and Software Properties
Conference paper
Parameter synthesis for probabilistic systems
Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám
MBMV 2016
PDF of Parameter synthesis for probabilistic systems RWTH record for Parameter synthesis for probabilistic systems BibTeX for Parameter synthesis for probabilistic systems

2015

Conference paper
A Statistical Approach for Timed Reachability in AADL Models
Harold Yorick Bruintjes, Joost-Pieter Katoen, David Lesens
2015 45th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN 2015)
RWTH record for A Statistical Approach for Timed Reachability in AADL Models BibTeX for A Statistical Approach for Timed Reachability in AADL Models
Conference paper
PROPhESY : A PRObabilistic ParamEter SYnthesis Tool
Hans Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Yorick Bruintjes, Joost-Pieter Katoen, Erika Ábrahám
Computer aided verification
RWTH record for PROPhESY : A PRObabilistic ParamEter SYnthesis Tool BibTeX for PROPhESY : A PRObabilistic ParamEter SYnthesis Tool

2014

Conference paper
A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models
Dimitri Bohlender, Harold Yorick Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll
Leveraging applications of formal methods, verification and validation
RWTH record for A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models BibTeX for A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models

All records on RWTH Publications