selected publications
-
academic article
- Runtime verification for dynamic architectures. Journal of logical and algebraic methods in programming. 118:100618-100618. 2021
- On the impact of architecture design decisions on the quality of blockchain-based applications. Knowledge Engineering Review. 35. 2020
- Interactive verification of architectural design patterns in FACTum. Formal Aspects of Computing. 31:541-610. 2019
- Detecting Architectural Erosion using Runtime Verification. Electronic proceedings in theoretical computer science. 304:97-114. 2019
- Verifying Patterns of Dynamic Architectures using Model Checking. arXiv (Cornell University). 2017
-
blog posting
- APML: An Architecture Proof Modeling Language. arXiv (Cornell University). 2019
-
chapter
- Modeling and Verifying Dynamic Architectures with FACTum Studio. Lecture Notes in Computer Science. 2020
- APML: An Architecture Proof Modeling Language. Lecture Notes in Computer Science. 2019
- Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification. Lecture Notes in Computer Science. 204-223. 2019
- A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL. Lecture Notes in Computer Science. 251-269. 2018
- FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns. Lecture Notes in Computer Science. 279-287. 2018
- Towards a Calculus for Dynamic Architectures. Lecture Notes in Computer Science. 79-99. 2017
-
conference paper
Co-author Network
Map of Science