8 citations · 14 across the 3 of their papers we have counts for
6 papers
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…
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…
Formal Methods in Dependable Systems Engineering: A Survey of Professionals from Europe and North America
Mario Gleirscher, Diego Marmsoler
Context: Formal methods (FMs) have been around for a while, still being unclear how to leverage their benefits, overcome their challenges, and set new directions for their improvem…
Verifying Patterns of Dynamic Architectures using Model Checking
Diego Marmsoler, Silvio Degenhardt
Architecture patterns capture architectural design experience and provide abstract solutions to recurring architectural design problems. They consist of a description of component…
On the Specification of Constraints for Dynamic Architectures
Diego Marmsoler
In dynamic architectures, component activation and connections between components may vary over time. With the emergence of mobile computing such architectures became increasingly…
A Model of Layered Architectures
Diego Marmsoler, Alexander Malkis, Jonas Eckhardt
Architectural styles and patterns play an important role in software engineering. One of the most known ones is the layered architecture style. However, this style is usually only…