Papers and Reports

		Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, and Thomas Noll. Codesign of Dependable Systems: A Component-Based Modeling Language. In Proc. 7th ACM-IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE 2009). ACM Press, 2009.
		Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, and Marco Roveri. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. In 28th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP 2009). pages 173–186. Volume 5775 of LNCS. Springer, 2009.
		Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, and Marco Roveri. Verification and Performance Evaluation of AADL Models (Tool Demonstration). In Proc. 7th Joint Meeting of European Software Engineering Conference and ACM SIGSOFT Symp. on the Foundations of Software Engineering (ESEC/FSE 2009). pages 285–286. ACM Press, 2009.
		Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, and Marco Roveri. Model-Based Codesign of Critical Embedded Systems. In Proc. 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009). LNCS. Springer, 2009.

Talks

		Thomas Noll. A System-Level Integrated Modeling Language for Aerospace Applications. Talk, German Chapter CONCUR Meeting, 2009. Workshop Presentation.
		Joost-Pieter Katoen. Correctness, Modeling, and Performability of Aerospace Systems: Overview of the COMPASS Project. Talk, COMPASS 2009 Workshop, 2009. Workshop Presentation.
		Thomas Noll. A System-Level Integrated Modeling Language for Aerospace Applications. Talk, COMPASS 2009 Workshop, 2009. Workshop Presentation.
		Marco Roveri. Symbolic Verification of System-Level Specifications for Aerospace Applications. Talk, COMPASS 2009 Workshop, 2009. Workshop Presentation.
		Thomas Noll. A System-Level Integrated Modeling Language: Possible Extensions of AADL and Its Error Model Annex. Talk, AADL Standard Meeting, 2009.
		Viet Yen Nguyen. Correctness, Modelling and Performability of Aerospace Systems: Overview of the COMPASS Project. Talk at Charles University in Prague, 2009.
		Thomas Noll. Correctness, Modeling, and Performability of Aerospace Systems: Formal Semantics of the SLIM Language. Talk, AADL Standard Meeting at Ada-Europe, 2009.
		Viet Yen Nguyen. Codesign of Dependable Systems: A Component-Based Modelling Language. Talk at MEMOCODE 2009 Workshop, 2009.
		Viet Yen Nguyen. Correctness, Modelling and Performability of Aerospace Systems. Talk at Marktoberdorf Summer School, 2009.
		Viet Yen Nguyen. Verification and Performance Evaluation of AADL Models. Demonstration at ESEC/FSE 2009, Amsterdam, Netherlands, 2009.
		Marco Bozzano. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. Talk, 28th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2009), 2009. Conference Presentation.
		Viet Yen Nguyen. Safety, Dependability and Performance Analysis of Extended AADL Models. Talk at ROCKS Kick-Off Meeting, 2009.
		Thomas Noll. Formal Verification and Validation of AADL Models: The COMPASS Project. Talk, ESA Workshop on Avionics Data, Control and Software Systems (ADCSS 2009), 2009. Workshop Presentation.
		Roberto Cavada. Model-Based Codesign of Critical Embedded Systems. Talk, 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009), 2009. Workshop Presentation.

Viet Yen Nguyen, and Thomas Noll. System and Software Co-Engineering: Performance and Verification. Talk, ESA Workshop on Avionics Data, Control and Software Systems (ADCSS 2008), 2008. Workshop presentation.