Learning Moore machines from input–output traces Georgios GiantamidisStavros TripakisStylianos Basagiannis General 06 November 2019 Pages: 1 - 29
Static generation of UML sequence diagrams Chris AlvinBrian PetersonSupratik Mukhopadhyay General Open access 26 October 2019 Pages: 31 - 53
Detecting multiphase linear ranking functions for single-path linear-constraint loops Yue YuanYi LiWenchang Shi Regular Paper 24 July 2019 Pages: 55 - 67
Masterminding change by combining secure system design with security risk assessment Florian KammüllerAxel LegayStefano Schivo Introduction 03 November 2020 Pages: 69 - 70
Static analysis for discovering IoT vulnerabilities Pietro FerraraAmit Kr MandalFausto Spoto Foundation for Mastering Change Open access 24 November 2020 Pages: 71 - 88
ADTLang: a programming language approach to attack defense trees René Rydhof HansenKim Guldstrand LarsenDanny Bøgsted Poulsen Foundation for Mastering Change 07 January 2021 Pages: 89 - 104
Graph-based technique for survivability assessment and optimization of IoT applications Vladimir ShakhovInsoo Koo Foundation for Mastering Change 27 November 2020 Pages: 105 - 114