Publications

2016
DOIDownloadLinkVictor 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.
DOIMatthias Volk, Sebastian Junges, Joost-Pieter Katoen. Advancing Dynamic Fault Tree Analysis. Proc. of the 35th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP), Volume 9922 of LNCS, pages 253–265, Springer, 2016.
DOIDownloadLinkJoost-Pieter Katoen. The Probabilistic Model Checking Landscape. Proc. of Logic in Computer Science (LICS), pages 31-46, ACM, 2016.
2015
DOIDownloadLinkHarold 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
DOIDimitri 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.
DownloadLinkJoost-Pieter Katoen. Model Checking Gigantic Markov Models. 12th International Conference on Software Engineering and Formal Methods (SEFM), Volume 8702 of LNCS, pages 1–2, , 2014.
DOIBenjamin Bittner, Marco Bozzano, Alessandro Cimatti, Regis De Ferluc, Marco Gario, Andrea Guiotto, Yuri Yushtein. An Integrated Process for FDIR Design in Aerospace. In Frank Ortmeier, Antoine Rauzy editors, Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings, Springer International Publishing, 2014.
LinkAndrea Guiotto, Regis De Ferluc, Marco Bozzano, Alessandro Cimatti, Marco Gario, Yuri Yushtein. Fame process: A dedicated development and V&V process for FDIR. Proc. Data Systems In Aerospace, DASIA 2014, 2014.
2012
LinkLinkJoost-Pieter Katoen, Viet Yen Nguyen. Ruimtevaartsoftware ideale proeftuin voor formele methoden. Bits en Chips 10, pages 40–41, 2012.
Elena Alaña, Héctor Naranjo, Yuri Yushtein, Marco Bozzano, Alessandro Cimatti, Marco Gario, Regis De Ferluc, G Garcia. Automated generation of FDIR for the compass integrated toolset (AUTOGEF). Proc. DASIA. Volume ESA SP 701, 2012.
2011
DOILinkMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Safety, Dependability, and Performance Analysis of Extended AADL Models. The Computer Journal 54(5), pages 754–775, 2011.