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

2017
Louis Wachtmeister, Thomas Noll. Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications. Proc. MILS Workshop at embedded world Conference 2017, To be published, 2017.
2016
DownloadVictor 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.
DOIMatthias 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.
DownloadJoost-Pieter Katoen. The Probabilistic Model Checking Landscape. Proc. of Logic in Computer Science (LICS), pages 31-46, ACM, 2016.
DOIChristian 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
DOIViet 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.
DOIThomas 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.
DownloadHarold 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
DOIMarco 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.
DOIDimitri 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.
DownloadJoost-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.
LinkThomas 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.
DOIBenjamin 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.
LinkAndrea 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
DownloadViet Yen Nguyen. Trustworthy Spacecraft Design Using Formal Methods. Technical report at RWTH Aachen University number , 2013.
DownloadBernhard 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
DownloadMarie-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.
LinkThomas 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.
LinkJoost-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
DownloadYuri 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.
DownloadJoost-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.
LinkJoost-Pieter Katoen, Thomas Noll. Trustworthy Aerospace Systems. Public Service Review: European Science and Technology 11, pages 204–205, 2011.
LinkMarco 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
LinkMaximilian 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.
LinkMarco 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.
DownloadMarco 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.
DownloadFalko 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
LinkMarco 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.
LinkMarco 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.
LinkMarco 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.
LinkMarco 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

2017
DownloadThomas Noll. Analysing Cryptographically-Masked Information Flows in MILS-AADL Specifications, Talk at MOVES Söllerhaus Workshop, Hirschegg, Austria, 2017.
2016
LinkThomas Noll. Using Standard AADL for COMPASS, Talk at AADL Standards Meeting, Aachen, Germany, 2016.
LinkHarold Bruintjes. CATSY: Catalogue of System and Software Properties, Talk at AADL Standards Meeting, Aachen, Germany, 2016.
DownloadThomas 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, Kanagawa, Japan, 2016.
DownloadThomas Noll. Safety, Dependability and Performance Analysis of Aerospace Systems using the COMPASS Toolset, Talk at 6th FMF Formal Methods Day, Toulouse, France, 2016.
DownloadThomas Noll. D-MILS and MILS-AADL, Talk at AADL Standards Meeting, Toulouse, France, 2016.
2015
DownloadHarold Bruintjes. A Statistical Approach for Timed Reachability in AADL Models, Talk at DSN 2015, 2015.
DownloadHarold Bruintjes. Statistical model checking with slimsim, Talk at Winter colloqium Kleinwalstertal, 2015.
2014
LinkThomas 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
DownloadViet Yen Nguyen. Characterization of Failure Effects on AADL Models, Talk at SAFECOMP 2013, Toulouse, France, 2013.
LinkThomas Noll. Characterization of Failure E ffects on AADL Models, Talk at MEALS Momentum Gathering at CONCUR 2013, Buenos Aires, Argentina, 2013.
DownloadViet Yen Nguyen. Trustworthy Design Validation of a Satellite Platform, Talk at MDDays 2013, Eindhoven, Netherlands, 2013.
2012
DownloadThomas 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.
DownloadViet 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.
DownloadViet Yen Nguyen. COMPASS Graphical Modeller, Talk at Final Presentation Days ESTEC, 2012.
DownloadThomas Noll. Correctness, Safety and Fault Tolerance in Aerospace Systems: The ESA COMPASS Project, CS Colloquium Talk at RWTH Aachen University, Germany, 2012.
2011
DownloadViet Yen Nguyen. COMPASS: Formal Methods for System-Software Co-Engineering, Talk at Technology Innovation Days, ESA/ESTEC, 2011.
DownloadPierre Dissaux, Viet Yen Nguyen, Thomas Noll. Tutorial on COMPASS Toolset, Talk at AADL Standards Meeting at SAE AeroTech Congress & Exhibition, Toulouse, France, 2011.
DownloadThomas 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.
LinkMarco Bozzano. Automated Generation of Compact FMEA Tables in the COMPASS Toolset, Talk at CISEC Model Based Safety Assessment Workshop (MBSAW 2011), 2011.
DownloadThomas Noll. Analyzing Reconfigurable Systems Using Attribute Grammars, MOVES Seminar Talk at RWTH Aachen University, Germany, 2011.
LinkThomas 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.
DownloadViet Yen Nguyen. Model Checking Markov Chains using Krylov Subspace Methods: An Experience Report, Talk at EPEW 2010, 2010.
LinkAlessandro Cimatti. A Model Checker for AADL, Talk at 22nd International Conference on Computer Aided Verification (CAV 2010), 2010.
DownloadViet Yen Nguyen. Slicing AADL Specifications for Model Checking, Talk at NASA Formal Methods Symposium (NFM 2010), 2010.
LinkJoost-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.
LinkMarco 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.
DownloadViet Yen Nguyen. Performance Evaluation and Verification of System-Level Architecture Models, Talk at University of Oxford, 2010.
2009
LinkThomas 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.
LinkRoberto 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.
LinkMarco 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.
DownloadViet Yen Nguyen. Safety, Dependability and Performance Analysis of Extended AADL Models, Talk at ROCKS Kick-Off Meeting, 2009.
DownloadViet Yen Nguyen. Correctness, Modelling and Performability of Aerospace Systems, Talk at Marktoberdorf Summer School, 2009.
DownloadViet Yen Nguyen. Codesign of Dependable Systems: A Component-Based Modelling Language, Talk at MEMOCODE 2009 Workshop, 2009.
LinkThomas 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.
DownloadViet Yen Nguyen. Correctness, Modelling and Performability of Aerospace Systems: Overview of the COMPASS Project, Talk at Charles University in Prague, 2009.
LinkThomas 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.
LinkThomas Noll. A System-Level Integrated Modeling Language for Aerospace Applications, Talk at German Chapter CONCUR Meeting, Berlin, Germany, 2009.
LinkThomas Noll. A System-Level Integrated Modeling Language for Aerospace Applications, Talk at COMPASS Workshop at ETAPS 2009, York, United Kingdom, 2009.
LinkMarco 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
LinkViet 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.