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

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.
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.
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
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.
LinkJoost-Pieter Katoen, Viet Yen Nguyen. Ruimtevaartsoftware ideale proeftuin voor formele methoden. Bits en Chips 10, pages 40–41, 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.
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.
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

2013
DownloadViet Yen Nguyen. Characterization of Failure Effects on AADL Models, Talk at SAFECOMP 2013, Toulouse, France, 2013.
DownloadViet Yen Nguyen. Trustworthy Design Validation of a Satellite Platform, Talk at MDDays 2013, Eindhoven, Netherlands, 2013.
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.
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.
2010
DownloadViet Yen Nguyen. Model Checking Markov Chains using Krylov Subspace Methods: An Experience Report, Talk at EPEW 2010, 2010.
DownloadViet Yen Nguyen. Slicing AADL Specifications for Model Checking, Talk at NASA Formal Methods Symposium (NFM 2010), 2010.
Viet Yen Nguyen. Formeel Modelleren en Analyseren van Ruimtevaartsystemen, Talk at Radboud University Nijmegen, 2010.
DownloadViet Yen Nguyen. Performance Evaluation and Verification of System-Level Architecture Models, Talk at University of Oxford, 2010.
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.
DownloadViet Yen Nguyen. Correctness, Modelling and Performability of Aerospace Systems: Overview of the COMPASS Project, Talk at Charles University in Prague, 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.