This cumulative habilitation thesis, proposes concepts for (i) modelling and analysing dependability based on architectural models of software-intensive systems
Die modellbasierte Performancevorhersage ist ein bekanntes Konzept zur Gewährleistung der Softwarequalität. Derzeitige Ansätze basieren auf einem Modell mit
This work introduces architectural security analyses for detecting access violations and attack paths in software architectures. It integrates access control po
Software vendors must consider confidentiality especially while creating software architectures because decisions made here are hard to change later. Our approa