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
| 2015 | |
|---|---|
 | Viet Yen Nguyen, Benjamin Bittner, Joost-Pieter Katoen, Thomas Noll. Compositional Analysis Using Component-Oriented Interpolation. Proceedings Formal Aspects of Component Software (FACS 2014), Volume 8997 of LNCS, pages 68–85, Springer, 2015. |
| 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. |