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.
2016
	Victor Bos, Harold Bruintjes, Stefano Tonetta. Catalogue of System and Software Properties. Proc. of the 35th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP), Volume 9922 of LNCS, pages 88–101, Springer, 2016.
	Matthias Volk, Sebastian Junges, Joost-Pieter Katoen. Advancing Dynamic Fault Tree Analysis. Proc. of the 35th Int. Conf. on Computer Safety, Reliability and Security (SAFECOMP), Volume 9922 of LNCS, pages 253–265, Springer, 2016.
	Joost-Pieter Katoen. The Probabilistic Model Checking Landscape. Proc. of Logic in Computer Science (LICS), pages 31-46, ACM, 2016.
	Christian Dehnert, Sebastian Junges, Nils Jansen, Florian Corzilius, Matthias Volk, Joost-Pieter Katoen, Erika Abraham, Harold Bruintjes. Parameter Synthesis for Probabilistic Systems. Proc. of the 19th GI/ITG/GMM Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV'16), pages 72-74, Albert-Ludwigs-Universität Freiburg, 2016.
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.
	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.
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.
	Joost-Pieter Katoen. Model Checking Gigantic Markov Models. 12th International Conference on Software Engineering and Formal Methods (SEFM), Volume 8702 of LNCS, pages 1–2, , 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.
	Benjamin Bittner, Marco Bozzano, Alessandro Cimatti, Regis De Ferluc, Marco Gario, Andrea Guiotto, Yuri Yushtein. An Integrated Process for FDIR Design in Aerospace. In Frank Ortmeier, Antoine Rauzy editors, Model-Based Safety and Assessment: 4th International Symposium, IMBSA 2014, Munich, Germany, October 27-29, 2014. Proceedings, Springer International Publishing, 2014.
	Andrea Guiotto, Regis De Ferluc, Marco Bozzano, Alessandro Cimatti, Marco Gario, Yuri Yushtein. Fame process: A dedicated development and V&V process for FDIR. Proc. Data Systems In Aerospace, DASIA 2014, 2014.
2013
	Viet Yen Nguyen. Trustworthy Spacecraft Design Using Formal Methods. Technical report at RWTH Aachen University number , 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
	Marie-Aude Esteve, Joost-Pieter Katoen, Viet Yen Nguyen, Bart Postma, Yuri Yushtein. Formal Correctness, Safety, Dependability and Performance Analysis of a Satellite. 34th International Conference on Software Engineering (ICSE), pages 1022–1031, ACM and IEEE CS Press, 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.
	Joost-Pieter Katoen, Viet Yen Nguyen. Ruimtevaartsoftware ideale proeftuin voor formele methoden. Bits en Chips 10, pages 40–41, 2012.
	Elena Alaña, Héctor Naranjo, Yuri Yushtein, Marco Bozzano, Alessandro Cimatti, Marco Gario, Regis De Ferluc, G Garcia. Automated generation of FDIR for the compass integrated toolset (AUTOGEF). Proc. DASIA. Volume ESA SP 701, 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. Towards Trustworthy Aerospace Systems: An Experience Report. 16th International Workshop on Formal Methods for Industrial Critical Systems (FMICS), Volume 6959 of LNCS, pages 1–4, Springer-Verlag, 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.
	Falko Dulat, Joost-Pieter Katoen, Viet Yen Nguyen. Model Checking Markov Chains using Krylov Subspace Methods: An Experience Report. Proceedings of 7th European Performance Engineering Workshop (EPEW 2010), Volume 6342 of LNCS, pages 115–130, 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.
	Harold Bruintjes. CATSY: Catalogue of System and Software Properties, 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.
2015
	Harold Bruintjes. A Statistical Approach for Timed Reachability in AADL Models, Talk at DSN 2015, 2015.
	Harold Bruintjes. Statistical model checking with slimsim, Talk at Winter colloqium Kleinwalstertal, 2015.
	Kevin van der Pol. Security Type Checking for MILS-AADL Specifications, Talk at MILS Workshop 2015, 2015.
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.
	Harold Bruintjes. A Review of Statistical Model Checking Pitfalls on Real-Time Stochastic Models, Talk at ISOLA 2014, 2014.
2013
	Viet Yen Nguyen. Characterization of Failure Effects on AADL Models, Talk at SAFECOMP 2013, Toulouse, France, 2013.
	Thomas Noll. Characterization of Failure Effects on AADL Models, Talk at MEALS Momentum Gathering at CONCUR 2013, Buenos Aires, Argentina, 2013.
	Viet Yen Nguyen. Trustworthy Design Validation of a Satellite Platform, Talk at MDDays 2013, Eindhoven, Netherlands, 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.
	Viet Yen Nguyen. Satellite Platform Case Study With SLIM and COMPASS, Talk at Dagstuhl Seminar on Architecture-Driven Semantic Analysis of Embedded Systems, 2012.
	Viet Yen Nguyen. Formal Correctness, Safety, Dependability and Performance of a Satellite, Talk at ICSE 2012, 2012.
	Viet Yen Nguyen. COMPASS Graphical Modeller, Talk at Final Presentation Days ESTEC, 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
	Viet Yen Nguyen. COMPASS: Formal Methods for System-Software Co-Engineering, Talk at Technology Innovation Days, ESA/ESTEC, 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.
	Joost-Pieter Katoen. Towards Trustworthy Aerospace Systems: An Experience Report, Talk at 11th Formal Methods for Industrial Critical Systems Workshop (FMICS), Trento, Italy, 2011.
	Marco Bozzano. Automated Generation of Compact FMEA Tables in the COMPASS Toolset, Talk at CISEC Model Based Safety Assessment Workshop (MBSAW 2011), 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.
2010
	Marco Bozzano. Integrating Safety Assessment and Design Processes using AADL: Experience from the Space Sector, Talk at MISSA Seminar at 5th IET International System Safety Conference 2010, 2010.
	Viet Yen Nguyen. Model Checking Markov Chains using Krylov Subspace Methods: An Experience Report, Talk at EPEW 2010, 2010.
	Alessandro Cimatti. A Model Checker for AADL, Talk at 22nd International Conference on Computer Aided Verification (CAV 2010), 2010.
	Viet Yen Nguyen. Slicing AADL Specifications for Model Checking, Talk at NASA Formal Methods Symposium (NFM 2010), 2010.
	Joost-Pieter Katoen, Marco Bozzano. Correctness, Safety and Performability of AADL Models: The COMPASS Project, Talk at ESA Final Presentation Days, 2010.
	Viet Yen Nguyen. Formeel Modelleren en Analyseren van Ruimtevaartsystemen, Talk at Radboud University Nijmegen, 2010.
	Marco Bozzano. The ESA COMPASS Project: Correctness, Safety and Performability of AADL Models for Aerospace Systems, Talk at MISSA-CISEC Workshop on Model-Based Safety Assessment, 2010.
	Viet Yen Nguyen. Performance Evaluation and Verification of System-Level Architecture Models, Talk at University of Oxford, 2010.
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.
	Joost-Pieter Katoen. Analysis and Semantics of Extended AADL Models, Talk at IFIP 1.8 Workshop on Formal Methods for Embedded Systems, 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.
	Marco Bozzano. The COMPASS Approach: Correctness, Modelling and Performability of Aerospace Systems, Talk at 28th International Conference on Computer Safety, Reliability and Security (SAFECOMP 2009), 2009.
	Viet Yen Nguyen. Safety, Dependability and Performance Analysis of Extended AADL Models, Talk at ROCKS Kick-Off Meeting, 2009.
	Viet Yen Nguyen. Correctness, Modelling and Performability of Aerospace Systems, Talk at Marktoberdorf Summer School, 2009.
	Viet Yen Nguyen. Codesign of Dependable Systems: A Component-Based Modelling Language, Talk at MEMOCODE 2009 Workshop, 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.
	Viet Yen Nguyen. Correctness, Modelling and Performability of Aerospace Systems: Overview of the COMPASS Project, Talk at Charles University in Prague, 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.
	Marco Roveri. Symbolic Verification of System-Level Specifications for Aerospace Applications, Talk at COMPASS 2009 Workshop, 2009.
	Joost-Pieter Katoen. Correctness, Modeling, and Performability of Aerospace Systems: Overview of the COMPASS Project, Talk at COMPASS 2009 Workshop, 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.
	Joost-Pieter Katoen. Performance Analysis and Model Checking - A Perfect Match, Talk at Invited Lectures, Warsaw, Poland, 2008.