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
	Benjamin 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.
	Andrea 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
	Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein. Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite. 34th International Conference on Software Engineering (ICSE), pages 1022–1031, ACM and IEEE CS Press, 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
	Yuri 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.

Talks