| 2024 | ICTAC | Type Safety for Isabelle/Solidity. | Billy Thornton, Diego Marmsoler |
| 2024 | SEFM | Secure Smart Contracts with Isabelle/Solidity. | Diego Marmsoler, Asad Ahmed, Achim D. Brucker |
| 2023 | SEFM | SSCalc: A Calculus for Solidity Smart Contracts. | Diego Marmsoler, Billy Thornton |
| 2022 | TAP | Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing. | Diego Marmsoler, Achim D. Brucker |
| 2021 | SEFM | A Denotational Semantics of Solidity in Isabelle/HOL. | Diego Marmsoler, Achim D. Brucker |
| 2019 | FM | APML: An Architecture Proof Modeling Language. | Diego Marmsoler, Genc Blakqori |
| 2019 | FORTE | Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification. | Diego Marmsoler |
| 2019 | TASE | A Denotational Semantics for Dynamic Architectures. | Diego Marmsoler |
| 2018 | FASE | Hierarchical Specification and Verification of Architectural Design Patterns. | Diego Marmsoler |
| 2018 | ICFEM | A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL. | Diego Marmsoler |
| 2018 | TASE | On Syntactic and Semantic Dependencies in Service-Oriented Architectures. | Diego Marmsoler |
| 2017 | GI | Research Challenges for a Future-Proof E/E Architecture - A Project Statement. | Stefan Kugele, Vadim Cebotari, Mario Gleirscher, Morteza Hashemi Farzaneh, Christoph Segler, Sina Shafaei, Hans-Jrg Vgel, Fridolin Bauer, Alois C. Knoll, Diego Marmsoler, Hans-Ulrich Michel |
| 2017 | ICSA | Grounded Architectures: Using Grounded Theory for the Design of Software Architectures. | Habtom Kahsay Gidey, Diego Marmsoler, Jonas Eckhardt |
| 2017 | ICTAC | Towards a Calculus for Dynamic Architectures. | Diego Marmsoler |
| 2017 | TASE | On the semantics of temporal specifications of component-behavior for dynamic architectures. | Diego Marmsoler |
| 2016 | ICTAC | Specifying Properties of Dynamic Architectures Using Configuration Traces. | Diego Marmsoler, Mario Gleirscher |
| 2016 | MEMOCODE | Verification of component architectures using mode-based contracts. | Stefan Kugele, Diego Marmsoler, Nria Mata, Kai Werther |