Publications

Below are the lists of papers, reports and talks from the COMPASS project ordered by year. Please click on the icon to download the respective file.

Publications

2019
	Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. COMPASS 3.0 (Tool paper). TACAS 2019, Volume 11427 of LNCS, pages 379–385, Springer, 2019.
2017
	Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. The COMPASS 3.0 Toolset (short paper). Proc. 5th Int. Symp. on Model-Based Safety and Assessment (IMBSA 2017), , 2017.
	Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. Formal Methods for Aerospace Systems: Achievements and Challenges. In Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu editors, Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings, Springer Singapore, 2017.
2016
	Victor Bos, Harold Bruintjes, Stefano Tonetta. Catalogue of System and Software Properties. Proc. of the 35th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP), Volume 9922 of LNCS, pages 88–101, Springer, 2016.
	Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Abraham, Harold Bruintjes. Parameter Synthesis for Probabilistic Systems. Proc. of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'16), pages 72-74, Albert-Ludwigs-Universität Freiburg, 2016.
2015
	Harold Bruintjes, Joost-Pieter Katoen, David Lesens. A statistical approach for timed reachability in AADL models. Dependable Systems and Networks (DSN), pages 81–88, IEEE CS Press, 2015.
2014
	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. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, Volume 8803 of LNCS, pages 177–192, Springer, 2014.

Talks

2016
	Harold Bruintjes. CATSY: Catalogue of System and Software Properties, Talk at AADL Standards Meeting, Aachen, Germany, 2016.
2015
	Harold Bruintjes. A Statistical Approach for Timed Reachability in AADL Models, Talk at DSN 2015, 2015.
	Harold Bruintjes. Statistical model checking with slimsim, Talk at Winter colloqium Kleinwalstertal, 2015.
2014
	Harold Bruintjes. A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models, Talk at ISOLA 2014, 2014.