IoT applications perceive and interact with the environment via smart devices and cloud services. When operating such applications one is faced with the challen

Developing variable systems faces many challenges. Dependencies between interrelated artifacts within a product variant, such as code or diagrams, across produc

In this work, the authors analysed the co-dependency between models and analyses, particularly the structure and interdependence of artefacts and the feature-ba

This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems

This work introduces architectural security analyses for detecting access violations and attack paths in software architectures. It integrates access control po