research
∙
04/25/2023
Modeling Adaptive Self-healing Systems
Motivation: Smart grids design requires energy distribution operations t...
share
research
∙
09/12/2019
Detecting Architectural Erosion using Runtime Verification
The architecture of a system captures important design decisions for the...
research
∙
07/08/2019
APML: An Architecture Proof Modeling Language
To address the increasing size and complexity of modern software systems...
research
∙
12/20/2018