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

2014
DOIMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri. Spacecraft Early Design Validation using Formal Methods. Reliability Engineering and System Safety 132, pages 20–35, 2014.
2011
DownloadYuri Yushtein, Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Xavier Olive, Marco Roveri. System-Software Co-Engineering: Dependability and Safety Perspective. 4th IEEE Int. Conf. on Space Mission Challenges in Information Technology (SMC-IT 2011), pages 18–25, IEEE CS Press, 2011.
LinkMarco 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.
2010
DownloadMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer. A Model Checker for AADL. Proc. of 22nd Int. Conf. on Computer Aided Verification (CAV 2010), Volume 6174 of LNCS, pages 562–565, Springer, 2010.
2009
LinkMarco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Codesign of Dependable Systems: A Component-Based Modeling Language. Proc. 7th ACM-IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE 2009), pages 121–130, IEEE CS Press, 2009.
LinkMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. Proc. 28th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP 2009), Volume 5775 of LNCS, pages 173–186, Springer, 2009.
LinkMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Verification and Performance Evaluation of AADL Models (Tool Demonstration). Proc. 7th Joint Meeting of European Software Engineering Conf. and ACM SIGSOFT Symp. on the Foundations of Software Engineering (ESEC/FSE 2009), pages 285–286, ACM Press, 2009.
LinkMarco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Model-Based Codesign of Critical Embedded Systems. Proc. 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009), Volume 507 of CEUR Workshop Proceedings, pages 87–91, , 2009.

Talks

2009
LinkMarco Roveri. Symbolic Verification of System-Level Specifications for Aerospace Applications, Talk at COMPASS 2009 Workshop, 2009.