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

2010
	Marco Bozzano, Roberto Cavada, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Xavier Olive. Formal Verification and Validation of AADL Models. Proc. of Embedded Real Time Software and Systems Conf. (ERTS$^2$ 2010), , 2010.

Talks

2009
	Roberto Cavada. Model-Based Codesign of Critical Embedded Systems, Talk at 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009), 2009.