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.
|Harold Bruintjes, Joost-Pieter Katoen, David Lesens. A statistical approach for timed reachability in AADL models. Dependable Systems and Networks (DSN), pages 81–88, IEEE CS Press, 2015.|