1. Learning Moore machines from input–output traces

   • Georgios Giantamidis
   • Stavros Tripakis
   • Stylianos Basagiannis

   General 06 November 2019 Pages: 1 - 29

   

2. Static generation of UML sequence diagrams

   • Chris Alvin
   • Brian Peterson
   • Supratik Mukhopadhyay

   General Open access 26 October 2019 Pages: 31 - 53

   

3. Detecting multiphase linear ranking functions for single-path linear-constraint loops

   • Yue Yuan
   • Yi Li
   • Wenchang Shi

   Regular Paper 24 July 2019 Pages: 55 - 67

   

4. Masterminding change by combining secure system design with security risk assessment

   • Florian Kammüller
   • Axel Legay
   • Stefano Schivo

   Introduction 03 November 2020 Pages: 69 - 70

5. Static analysis for discovering IoT vulnerabilities

   • Pietro Ferrara
   • Amit Kr Mandal
   • Fausto Spoto

   Foundation for Mastering Change Open access 24 November 2020 Pages: 71 - 88

   

6. ADTLang: a programming language approach to attack defense trees

   • René Rydhof Hansen
   • Kim Guldstrand Larsen
   • Danny Bøgsted Poulsen

   Foundation for Mastering Change 07 January 2021 Pages: 89 - 104

   

7. Graph-based technique for survivability assessment and optimization of IoT applications

   • Vladimir Shakhov
   • Insoo Koo

   Foundation for Mastering Change 27 November 2020 Pages: 105 - 114