Diego Marmsoler

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 36

Top Topics

Software Architecture

Theorem Proving

Design Patterns

Top Venues

Arch. Formal Proofs

Publications

Elliot Jones, Diego Marmsoler
Towards Mechanised Consensus in Isabelle. FMBC@CAV (2024)
Diego Marmsoler, Billy Thornton
SSCalc: A Calculus for Solidity Smart Contracts. SEFM (2023)
Habtom Kahsay Gidey, Diego Marmsoler, Dominik Ascher
Modeling Adaptive Self-healing Systems. CoRR (2023)
Diego Marmsoler
Springer, Cham, 2018, X, 133 pp, ISBN: 9783319671062 (Hardback, £89.99), ISBN: 9783030097899 (Paperback, £64.99), ISBN: 9783319671079 (eBook, £51.99). Formal Aspects Comput. 34 (2) (2022)
Diego Marmsoler, Achim D. Brucker
Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL. Arch. Formal Proofs 2022 (2022)
Diego Marmsoler, Achim D. Brucker
Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing. TAP@STAF (2022)
Diego Marmsoler, Ana Petrovska
Runtime verification for dynamic architectures. J. Log. Algebraic Methods Program. 118 (2021)
Diego Marmsoler, Achim D. Brucker
A Denotational Semantics of Solidity in Isabelle/HOL. SEFM (2021)
Mario Gleirscher, Diego Marmsoler
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America. Empir. Softw. Eng. 25 (6) (2020)
Diego Marmsoler, Leo Eichhorn
On the impact of architecture design decisions on the quality of blockchain-based applications. Knowl. Eng. Rev. 35 (2020)
Diego Marmsoler, Genc Blakqori
APML: An Architecture Proof Modeling Language. CoRR (2019)
Diego Marmsoler, Ana Petrovska
Detecting Architectural Erosion using Runtime Verification. ICE (2019)
Diego Marmsoler
Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification. FORTE (2019)
Diego Marmsoler
A Denotational Semantics for Dynamic Architectures. TASE (2019)
Damian Kurpiewski, Diego Marmsoler
Strategic logics for collaborative embedded systems. SICS Softw.-Intensive Cyber Phys. Syst. 34 (4) (2019)
Habtom Kahsay Gidey, Alexander Collins, Diego Marmsoler
Modeling and Verifying Dynamic Architectures with FACTum Studio. FACS (2019)
Diego Marmsoler, Habtom Kahsay Gidey
Interactive verification of architectural design patterns in FACTum. Formal Aspects Comput. 31 (5) (2019)
Diego Marmsoler
Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving. SE/SWM (2019)
Diego Marmsoler, Genc Blakqori
APML: An Architecture Proof Modeling Language. FM (2019)
Diego Marmsoler
A calculus for dynamic architectures. Sci. Comput. Program. 182 (2019)
Diego Marmsoler
On Syntactic and Semantic Dependencies in Service-Oriented Architectures. TASE (2018)
Diego Marmsoler
A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL. ICFEM (2018)
Mario Gleirscher, Diego Marmsoler
Formal Methods: Oversold? Underused? A Survey. CoRR (2018)
Diego Marmsoler
Hierarchical Specification and Verification of Architectural Design Patterns. FASE (2018)
Diego Marmsoler
A Theory of Architectural Design Patterns. Arch. Formal Proofs 2018 (2018)
Diego Marmsoler, Habtom Kahsay Gidey
FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns. FACS (2018)
Diego Marmsoler
Dynamic Architectures. Arch. Formal Proofs 2017 (2017)
Diego Marmsoler, Silvio Degenhardt
Verifying Patterns of Dynamic Architectures using Model Checking. FESCA@ETAPS (2017)
Diego Marmsoler
Towards a Calculus for Dynamic Architectures. ICTAC (2017)
Habtom Kahsay Gidey, Diego Marmsoler, Jonas Eckhardt
Grounded Architectures: Using Grounded Theory for the Design of Software Architectures. ICSA Workshops (2017)
Diego Marmsoler
On the Specification of Constraints for Dynamic Architectures. CoRR (2017)
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
Research Challenges for a Future-Proof E/E Architecture - A Project Statement. GI-Jahrestagung (2017)
Diego Marmsoler
On the semantics of temporal specifications of component-behavior for dynamic architectures. TASE (2017)
Diego Marmsoler, Mario Gleirscher
Specifying Properties of Dynamic Architectures Using Configuration Traces. ICTAC (2016)
Stefan Kugele, Diego Marmsoler, Nuria Mata, Kai Werther
Verification of component architectures using mode-based contracts. MEMOCODE (2016)
Diego Marmsoler, Mario Gleirscher
On Activation, Connection, and Behavior in Dynamic Architectures. Sci. Ann. Comput. Sci. 26 (2) (2016)
Diego Marmsoler, Alexander Malkis, Jonas Eckhardt
A Model of Layered Architectures. FESCA (2015)
Alexander Malkis, Diego Marmsoler
A Model of Service-Oriented Architectures. SBCARS (2015)
Diego Marmsoler
Towards a theory of architectural styles. SIGSOFT FSE (2014)