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

2019
	Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. COMPASS 3.0 (Tool paper). TACAS 2019, Volume 11427 of LNCS, pages 379–385, Springer, 2019.
2017
	Louis Wachtmeister, Thomas Noll. Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications. Proc. Int. Workshop on MILS: Architecture and Assurance for Secure Systems, Zenodo, 2017.
	Sascha Müller, Andreas Gerndt, Thomas Noll. Synthesizing FDIR Recovery Strategies from Non-Deterministic Dynamic Fault Trees. 2017 AIAA SPACE Forum, Volume AIAA 2017-5163, American Institute of Aeronautics and Astronautics, 2017.
	Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. The COMPASS 3.0 Toolset (short paper). Proc. 5th Int. Symp. on Model-Based Safety and Assessment (IMBSA 2017), , 2017.
	Marco Bozzano, Harold Bruintjes, Alessandro Cimatti, Joost-Pieter Katoen, Thomas Noll, Stefano Tonetta. Formal Methods for Aerospace Systems: Achievements and Challenges. In Shin Nakajima, Jean-Pierre Talpin, Masumi Toyoshima, Huafeng Yu editors, Cyber-Physical System Design from an Architecture Analysis Viewpoint: Communications of NII Shonan Meetings, Springer Singapore, 2017.
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.
	Thomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems. Proc. 3rd Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), Volume 476 of CCIS, pages 17–31, Springer, 2015.
	Kevin van der Pol, Thomas Noll. Security Type Checking for MILS-AADL Specifications. International Workshop on MILS: Architecture and Assurance for Secure Systems, Zenodo, 2015.
2014
	Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Panagiotis Katsaros, Konstantinos Mokos, Viet Yen Nguyen, Thomas Noll, Bart Postma, Marco Roveri. Spacecraft Early Design Validation using Formal Methods. Reliability Engineering and System Safety 132, pages 20–35, 2014.
	Dimitri Bohlender, Harold Bruintjes, Sebastian Junges, Jens Katelaan, Viet Yen Nguyen, Thomas Noll. A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models. Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications, Volume 8803 of LNCS, pages 177–192, Springer, 2014.
	Thomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems. Preliminary proceedings of 3rd Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), pages 2–5, , 2014.
	Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Formal Validation Methods in Model-Based Spacecraft Systems Engineering. In Daniele Gianni, Andrea D'Ambrogio, Andreas Tolk editors, Modeling and Simulation-Based Systems Engineering Handbook, pages 339–375, 2014.
2013
	Bernhard Ern, Viet Yen Nguyen, Thomas Noll. Characterization of Failure Effects on AADL Models. Proceedings of the 32nd International Conference on Computer Safety, Reliability and Security (SAFECOMP 2013), Volume 8153 of LNCS, pages 241–252, Springer, 2013.
2012
	Thomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems: The ESA COMPASS Project (Abstract). Architecture-Driven Semantic Analysis of Embedded Systems (Dagstuhl Seminar 12272), Volume 2 of Dagstuhl Reports, pages 42, Schloss Dagstuhl–Leibniz-Zentrum für Informatik, 2012.
2011
	Yuri Yushtein, Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Xavier Olive, Marco Roveri. System-Software Co-Engineering: Dependability and Safety Perspective. 4th IEEE Int. Conf. on Space Mission Challenges in Information Technology (SMC-IT 2011), pages 18–25, IEEE CS Press, 2011.
	Joost-Pieter Katoen, Thomas Noll. Trustworthy Aerospace Systems. Public Service Review: European Science and Technology 11, pages 204–205, 2011.
	Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Safety, Dependability, and Performance Analysis of Extended AADL Models. The Computer Journal 54(5), pages 754–775, 2011.
	Thomas Noll. Analyzing Reconfigurable Component-Based Systems Using Attribute Grammars. Pre-Proceedings 8th Int. Symp. on Formal Aspects of Component Software (FACS), Oslo University, 2011.
2010
	Maximilian R. Odenbrett, Viet Yen Nguyen, Thomas Noll. Slicing AADL Specifications for Model Checking. Proc. of the 2nd NASA Formal Methods Symp. (NFM 2010), Volume of NASA Conference Proceedings, pages 217–221, , 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.
	Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri, Ralf Wimmer. A Model Checker for AADL. Proc. of 22nd Int. Conf. on Computer Aided Verification (CAV 2010), Volume 6174 of LNCS, pages 562–565, Springer, 2010.
2009
	Marco Bozzano, Alessandro Cimatti, Marco Roveri, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll. Codesign of Dependable Systems: A Component-Based Modeling Language. Proc. 7th ACM-IEEE Int. Conf. on Formal Methods and Models for Codesign (MEMOCODE 2009), pages 121–130, IEEE CS Press, 2009.
	Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems. Proc. 28th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP 2009), Volume 5775 of LNCS, pages 173–186, Springer, 2009.
	Marco Bozzano, Alessandro Cimatti, Joost-Pieter Katoen, Viet Yen Nguyen, Thomas Noll, Marco Roveri. Verification and Performance Evaluation of AADL Models (Tool Demonstration). Proc. 7th Joint Meeting of European Software Engineering Conf. 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, Marco Roveri. Model-Based Codesign of Critical Embedded Systems. Proc. 2nd Int. Workshop on Model Based Architecting and Construction of Embedded Systems (ACES-MB 2009), Volume 507 of CEUR Workshop Proceedings, pages 87–91, , 2009.

Talks

2019
	Thomas Noll. COMPASS 3.0, Talk at 25th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, Prague, Czech Republic, 2019.
2017
	Thomas Noll. Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2017.
2016
	Thomas Noll. Using Standard AADL for COMPASS, Talk at AADL Standards Meeting, Aachen, Germany, 2016.
	Thomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems: The ESA COMPASS Project, Talk at NII Shonan Seminar on Architecture-Centric Modeling, Analysis, and Verification of Cyber-Physical Systems, Hayama, Japan, 2016.
	Thomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems using the COMPASS Toolset, Talk at 6th FMF Formal Methods Day, Toulouse, France, 2016.
	Thomas Noll. D-MILS and MILS-AADL, Talk at AADL Standards Meeting, Toulouse, France, 2016.
2014
	Thomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems, Invited talk at 3rd Int. Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), Luxembourg, 2014.
2013
	Thomas Noll. Characterization of Failure Effects on AADL Models, Talk at MEALS Momentum Gathering at CONCUR 2013, Buenos Aires, Argentina, 2013.
2012
	Thomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems: The ESA COMPASS Project, Talk at Dagstuhl Seminar on Architecture-Driven Semantic Analysis of Embedded Systems, Dagstuhl, Germany, 2012.
	Thomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems: The ESA COMPASS Project, CS Colloquium Talk at RWTH Aachen University, Germany, 2012.
2011
	Pierre Dissaux, Viet Yen Nguyen, Thomas Noll. Tutorial on COMPASS Toolset, Talk at AADL Standards Meeting at SAE AeroTech Congress & Exhibition, Toulouse, France, 2011.
	Thomas Noll. Analyzing Reconfigurable Component-Based Systems Using Attribute Grammars, Talk at 8th International Symposium on Formal Aspects of Component Software, Oslo, Norway, 2011.
	Thomas Noll. Analyzing Reconfigurable Systems Using Attribute Grammars, MOVES Seminar Talk at RWTH Aachen University, Germany, 2011.
	Thomas Noll. The ESA COMPASS Project: Correctness, Safety and Fault Tolerance in Aerospace Systems, Talk at GI-Themenabend ``Fehlerfreie Software – ein Widerspruch in sich?'', Cologne, Germany, 2011.
2009
	Thomas Noll. Formal Verification and Validation of AADL Models: The COMPASS Project, Talk at ESA Workshop on Avionics Data, Control and Software Systems (ADCSS 2009), Noordwijk, The Netherlands, 2009.
	Thomas Noll. Correctness, Modeling, and Performability of Aerospace Systems: Formal Semantics of the SLIM Language, Talk at AADL Standard Meeting at Ada-Europe, Brest, France, 2009.
	Thomas Noll. A System-Level Integrated Modeling Language: Possible Extensions of AADL and Its Error Model Annex, Talk at AADL Standard Meeting, Noordwijk, The Netherlands, 2009.
	Thomas Noll. A System-Level Integrated Modeling Language for Aerospace Applications, Talk at German Chapter CONCUR Meeting, Berlin, Germany, 2009.
	Thomas Noll. A System-Level Integrated Modeling Language for Aerospace Applications, Talk at COMPASS Workshop at ETAPS 2009, York, United Kingdom, 2009.
2008
	Viet Yen Nguyen, Thomas Noll. System and Software Co-Engineering: Performance and Verification, Talk at ESA Workshop on Avionics Data, Control and Software Systems (ADCSS 2008), Noordwijk, The Netherlands, 2008.