56 citations · 75 across the 6 of their papers we have counts for
Showing 2019Show all
2 papers · 1 filter
cs.SE2019★ 3 cited
Detecting Architectural Erosion using Runtime Verification
Diego Marmsoler, Ana Petrovska
The architecture of a system captures important design decisions for the system. Over time, changes in a system's implementation may lead to violations of specific design decisions…
cs.SE2019
APML: An Architecture Proof Modeling Language
Diego Marmsoler, Genc Blakqori
To address the increasing size and complexity of modern software systems, compositional verification separates the verification of single components from the verification of their…