Harold Bruintjes
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2014–2019
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | TACAS | COMPASS 3.0. | Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta |
| 2016 | SAFECOMP | Catalogue of System and Software Properties. | Victor Bos, Harold Bruintjes, Stefano Tonetta |
| 2015 | CAV | PROPhESY: A PRObabilistic ParamEter SYnthesis Tool. | Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Harold Bruintjes, Joost-Pieter Katoen, Erika brahm |
| 2015 | DSN | A Statistical Approach for Timed Reachability in AADL Models. | Harold Bruintjes, Joost-Pieter Katoen, David Lesens |
| 2014 | ISoLA | 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 |