Towards a theory of architectural styles. - Diego Marmsoler (SIGSOFT FSE, 2014)

A Model of Service-Oriented Architectures. - Alexander Malkis; Diego Marmsoler (SBCARS, 2015)

A Model of Layered Architectures. - Diego Marmsoler; Alexander Malkis; Jonas Eckhardt (FESCA, 2015)

Specifying Properties of Dynamic Architectures Using Configuration Traces. - Diego Marmsoler; Mario Gleirscher (ICTAC, 2016)

Verification of component architectures using mode-based contracts. - Stefan Kugele; Diego Marmsoler; Núria Mata; Kai Werther (MEMOCODE, 2016)

On Activation, Connection, and Behavior in Dynamic Architectures. - Diego Marmsoler; Mario Gleirscher (Sci. Ann. Comput. Sci., 2016)

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-Jörg Vögel; Fridolin Bauer; Alois C. Knoll; Diego Marmsoler; Hans-Ulrich Michel (GI-Jahrestagung, 2017)

Grounded Architectures: Using Grounded Theory for the Design of Software Architectures. - Habtom Kahsay Gidey; Diego Marmsoler; Jonas Eckhardt (ICSA Workshops, 2017)

Towards a Calculus for Dynamic Architectures. - Diego Marmsoler (ICTAC, 2017)

On the semantics of temporal specifications of component-behavior for dynamic architectures. - Diego Marmsoler (TASE, 2017)

Dynamic Architectures. - Diego Marmsoler (Arch. Formal Proofs, 2017)

On the Specification of Constraints for Dynamic Architectures. - Diego Marmsoler (CoRR, 2017)

Verifying Patterns of Dynamic Architectures using Model Checking. - Diego Marmsoler; Silvio Degenhardt (FESCA@ETAPS, 2017)

FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns. - Diego Marmsoler; Habtom Kahsay Gidey (FACS, 2018)

Hierarchical Specification and Verification of Architectural Design Patterns. - Diego Marmsoler (FASE, 2018)

A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL. - Diego Marmsoler (ICFEM, 2018)

On Syntactic and Semantic Dependencies in Service-Oriented Architectures. - Diego Marmsoler (TASE, 2018)

A Theory of Architectural Design Patterns. - Diego Marmsoler (Arch. Formal Proofs, 2018)

Formal Methods: Oversold? Underused? A Survey. - Mario Gleirscher; Diego Marmsoler (CoRR, 2018)

Modeling and Verifying Dynamic Architectures with FACTum Studio. - Habtom Kahsay Gidey; Alexander Collins; Diego Marmsoler (FACS, 2019)

APML: An Architecture Proof Modeling Language. - Diego Marmsoler; Genc Blakqori (FM, 2019)

Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification. - Diego Marmsoler (FORTE, 2019)

Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving. - Diego Marmsoler (SE/SWM, 2019)

A Denotational Semantics for Dynamic Architectures. - Diego Marmsoler (TASE, 2019)

Detecting Architectural Erosion using Runtime Verification. - Diego Marmsoler; Ana Petrovska (ICE, 2019)

Interactive verification of architectural design patterns in FACTum. - Diego Marmsoler; Habtom Kahsay Gidey (Formal Aspects Comput., 2019)

Strategic logics for collaborative embedded systems. - Damian Kurpiewski; Diego Marmsoler (SICS Softw.-Intensive Cyber Phys. Syst., 2019)

A calculus for dynamic architectures. - Diego Marmsoler (Sci. Comput. Program., 2019)

Formal methods in dependable systems engineering: a survey of professionals from Europe and North America. - Mario Gleirscher; Diego Marmsoler (Empir. Softw. Eng., 2020)

On the impact of architecture design decisions on the quality of blockchain-based applications. - Diego Marmsoler; Leo Eichhorn (Knowl. Eng. Rev., 2020)

Compositional Verification using Model Checking and Theorem Proving. - Diego Marmsoler (Model-Based Engineering of Collaborative Embedded Systems, 2021)

A Denotational Semantics of Solidity in Isabelle/HOL. - Diego Marmsoler; Achim D. Brucker (SEFM, 2021)

Runtime verification for dynamic architectures. - Diego Marmsoler; Ana Petrovska (J. Log. Algebraic Methods Program., 2021)

Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing. - Diego Marmsoler; Achim D. Brucker (TAP@STAF, 2022)

Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL. - Diego Marmsoler; Achim D. Brucker (Arch. Formal Proofs, 2022)

Review on Modelling and Verification of Secure Exams: By Rosario Giustolisi Springer, Cham, 2018, X, 133 pp, ISBN: 9783319671062 (Hardback, £89.99), ISBN: 9783030097899 (Paperback, £64.99), ISBN: 9783319671079 (eBook, £51.99). - Diego Marmsoler (Formal Aspects Comput., 2022)

SSCalc: A Calculus for Solidity Smart Contracts. - Diego Marmsoler; Billy Thornton (SEFM, 2023)

Modeling Adaptive Self-healing Systems. - Habtom Kahsay Gidey; Diego Marmsoler; Dominik Ascher (CoRR, 2023)

Towards Mechanised Consensus in Isabelle. - Elliot Jones; Diego Marmsoler (FMBC@CAV, 2024)

Type Safety for Isabelle/Solidity. - Billy Thornton; Diego Marmsoler (ICTAC, 2024)

Secure Smart Contracts with Isabelle/Solidity. - Diego Marmsoler; Asad Ahmed; Achim D. Brucker (SEFM, 2024)

Teaching Formal Methods in Application Domains - A Case Study in Computer and Network Security. - Achim D. Brucker; Diego Marmsoler (FMTea, 2024)

Isabelle/Solidity: A Tool for the Verification of Solidity Smart Contracts (Tool Paper). - Asad Ahmed; Diego Marmsoler (FMBC, 2025)

Deductive verification of solidity smart contracts with SSCalc. - Diego Marmsoler; Billy Thornton (Sci. Comput. Program., 2025)