Diego Marmsoler

According to our database, Diego Marmsoler authored at least 44 papers between 2014 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Isabelle/Solidity: A deep embedding of Solidity in Isabelle/HOL.

Diego Marmsoler, Achim D. Brucker

Formal Aspects Comput., June, 2025

Deductive verification of solidity smart contracts with SSCalc.

Diego Marmsoler, Billy Thornton

Sci. Comput. Program., 2025

Isabelle/Solidity: A Tool for the Verification of Solidity Smart Contracts (Tool Paper).

Asad Ahmed, Diego Marmsoler

Proceedings of the 6th International Workshop on Formal Methods for Blockchains, 2025

2024

Teaching Formal Methods in Application Domains - A Case Study in Computer and Network Security.

Achim D. Brucker, Diego Marmsoler

Proceedings of the Formal Methods Teaching - 6th Formal Methods Teaching Workshop, 2024

Secure Smart Contracts with Isabelle/Solidity.

Diego Marmsoler, Asad Ahmed, Achim D. Brucker

Proceedings of the Software Engineering and Formal Methods - 22nd International Conference, 2024

Type Safety for Isabelle/Solidity.

Billy Thornton, Diego Marmsoler

Proceedings of the Theoretical Aspects of Computing - ICTAC 2024, 2024

Towards Mechanised Consensus in Isabelle.

Elliot Jones, Diego Marmsoler

Proceedings of the 5th International Workshop on Formal Methods for Blockchains, 2024

2023

Modeling Adaptive Self-healing Systems.

Habtom Kahsay Gidey, Diego Marmsoler, Dominik Ascher

CoRR, 2023

SSCalc: A Calculus for Solidity Smart Contracts.

Diego Marmsoler, Billy Thornton

Proceedings of the Software Engineering and Formal Methods - 21st International Conference, 2023

2022

Review on <i>Modelling and Verification of Secure Exams</i>: <i>By Rosario Giustolisi</i> 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

Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing.

Diego Marmsoler, Achim D. Brucker

Proceedings of the Tests and Proofs - 16th International Conference, 2022

2021

Runtime verification for dynamic architectures.

Diego Marmsoler, Ana Petrovska

J. Log. Algebraic Methods Program., 2021

A Denotational Semantics of Solidity in Isabelle/HOL.

Diego Marmsoler, Achim D. Brucker

Proceedings of the Software Engineering and Formal Methods - 19th International Conference, 2021

Compositional Verification using Model Checking and Theorem Proving.

Diego Marmsoler

Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

2020

On the impact of architecture design decisions on the quality of blockchain-based applications.

Diego Marmsoler, Leo Eichhorn

Knowl. Eng. Rev., 2020

Formal methods in dependable systems engineering: a survey of professionals from Europe and North America.

Mario Gleirscher, Diego Marmsoler

Empir. Softw. Eng., 2020

2019

A calculus for dynamic architectures.

Diego Marmsoler

Sci. Comput. Program., 2019

Strategic logics for collaborative embedded systems.

Damian Kurpiewski, Diego Marmsoler

SICS Softw.-Intensive Cyber Phys. Syst., 2019

Interactive verification of architectural design patterns in FACTum.

Diego Marmsoler, Habtom Kahsay Gidey

Formal Aspects Comput., 2019

Detecting Architectural Erosion using Runtime Verification.

Diego Marmsoler, Ana Petrovska

Proceedings of the Proceedings 12th Interaction and Concurrency Experience, 2019

A Denotational Semantics for Dynamic Architectures.

Diego Marmsoler

Proceedings of the 2019 International Symposium on Theoretical Aspects of Software Engineering, 2019

Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving.

Diego Marmsoler

Proceedings of the Software Engineering and Software Management, 2019

Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification.

Diego Marmsoler

Proceedings of the Formal Techniques for Distributed Objects, Components, and Systems, 2019

APML: An Architecture Proof Modeling Language.

Diego Marmsoler, Genc Blakqori

Proceedings of the Formal Methods - The Next 30 Years - Third World Congress, 2019

Modeling and Verifying Dynamic Architectures with FACTum Studio.

Habtom Kahsay Gidey, Alexander Collins, Diego Marmsoler

Proceedings of the Formal Aspects of Component Software - 16th International Conference, 2019

2018

Formal Methods: Oversold? Underused? A Survey.

Mario Gleirscher, Diego Marmsoler

CoRR, 2018

A Theory of Architectural Design Patterns.

Diego Marmsoler

Arch. Formal Proofs, 2018

On Syntactic and Semantic Dependencies in Service-Oriented Architectures.

Diego Marmsoler

Proceedings of the 2018 International Symposium on Theoretical Aspects of Software Engineering, 2018

A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL.

Diego Marmsoler

Proceedings of the Formal Methods and Software Engineering, 2018

Hierarchical Specification and Verification of Architectural Design Patterns.

Diego Marmsoler

Proceedings of the Fundamental Approaches to Software Engineering, 2018

FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns.

Diego Marmsoler, Habtom Kahsay Gidey

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

2017

Verifying Patterns of Dynamic Architectures using Model Checking.

Diego Marmsoler, Silvio Degenhardt

Proceedings of the Proceedings International Workshop on Formal Engineering approaches to Software Components and Architectures, 2017

On the Specification of Constraints for Dynamic Architectures.

Diego Marmsoler

CoRR, 2017

Dynamic Architectures.

Diego Marmsoler

Arch. Formal Proofs, 2017

On the semantics of temporal specifications of component-behavior for dynamic architectures.

Diego Marmsoler

Proceedings of the 11th International Symposium on Theoretical Aspects of Software Engineering, 2017

Towards a Calculus for Dynamic Architectures.

Diego Marmsoler

Proceedings of the Theoretical Aspects of Computing - ICTAC 2017, 2017

Grounded Architectures: Using Grounded Theory for the Design of Software Architectures.

Habtom Kahsay Gidey, Diego Marmsoler, Jonas Eckhardt

Proceedings of the 2017 IEEE International Conference on Software Architecture Workshops, 2017

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

Proceedings of the 47. Jahrestagung der Gesellschaft für Informatik, 2017

2016

On Activation, Connection, and Behavior in Dynamic Architectures.

Diego Marmsoler, Mario Gleirscher

Sci. Ann. Comput. Sci., 2016

Verification of component architectures using mode-based contracts.

Stefan Kugele, Diego Marmsoler, Núria Mata, Kai Werther

Proceedings of the 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design, 2016

Specifying Properties of Dynamic Architectures Using Configuration Traces.

Diego Marmsoler, Mario Gleirscher

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

A Model of Layered Architectures.

Diego Marmsoler, Alexander Malkis, Jonas Eckhardt

Proceedings of the Proceedings 12th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2015

A Model of Service-Oriented Architectures.

Alexander Malkis, Diego Marmsoler

Proceedings of the 2015 IX Brazilian Symposium on Components, 2015

2014

Towards a theory of architectural styles.

Diego Marmsoler

Proceedings of the 22nd ACM SIGSOFT International Symposium on Foundations of Software Engineering, (FSE-22), Hong Kong, China, November 16, 2014