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.
|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.|
|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.|