Profile

Diego Marmsoler

Publications

_{Copyright Notice: Any articles made available for download are for personal use only. Any other use requires prior permission of the author and the copyright holder.}

_{Copyright Notice: Any articles made available for download are for personal use only. Any other use requires prior permission of the author and the copyright holder.}

| 2023 | 2022 | 2021 | 2020 | 2019 | 2018 | 2017 | 2016 | 2015 | 2014 | 2013 |

2023

• Marmsoler D, Thornton B. (2023) SSCalc: A Calculus for Solidity Smart Contracts, Software Engineering and Formal Methods, Springer Nature Switzerland, 184-204, DOI:10.1007/978-3-031-47115-5_11. [PDF]
• Gidey HK, Marmsoler D, Ascher D. (2023) Modeling Adaptive Self-healing Systems. [PDF]

2022

• Marmsoler D. (2022) Review on Modelling and Verification of Secure Exams, Formal Aspects of Computing, volume 34, no. 2, pages 1-3, DOI:10.1145/3545182.
• Aubert C, Di Giusto C, Safina L, Scalas A. (2022) Preface, Electronic Proceedings in Theoretical Computer Science, EPTCS, volume 365.
• Marmsoler D, Brucker AD. (2022) Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL, Archive of Formal Proofs. [PDF]
• Marmsoler D, Brucker AD. (2022) Conformance Testing of Formal Semantics using Grammar-based Fuzzing, TAP 2022: Tests And Proofs, Springer-Verlag. [PDF]

2021

• Bernardo B, Marmsoler D. (2021) 3rd International Workshop on Formal Methods for Blockchains, OpenAccess Series in Informatics, volume 95, DOI:10.4230/OASIcs.FMBC.2021.0.
• Bernardo B, Marmsoler D. (2021) Preface, OpenAccess Series in Informatics, volume 95.
• Marmsoler D, Brucker AD. (2021) A Denotational Semantics of Solidity in Isabelle/HOL, Software Engineering and Formal Methods (SEFM), Springer-Verlag. [PDF]
• Marmsoler D, Petrovska A. (2021) Runtime verification for dynamic architectures, Journal of Logical and Algebraic Methods in Programming, volume 118, DOI:10.1016/j.jlamp.2020.100618.

2020

• Marmsoler D. (2020) Compositional Verification using Model Checking and Theorem Proving, Model-Based Engineering of Collaborative Embedded Systems, Springer Nature, 305-314, DOI:10.1007/978-3-030-62136-0_16.
• Bernardo B, Marmsoler D. (2020) 2nd workshop on formal methods for blockchains, OpenAccess Series in Informatics, volume 84, DOI:10.4230/OASIcs.FMBC.2020.0.
• Marmsoler D, Eichhorn L. (2020) On the impact of architecture design decisions on the quality of blockchain-based applications, KNOWLEDGE ENGINEERING REVIEW, volume 35, article no. ARTN e24, DOI:10.1017/S0269888920000193. [PDF]
• Gidey HK, Collins A, Marmsoler D. (2020) Modeling and Verifying Dynamic Architectures with FACTum Studio, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 12018 LNCS, pages 243-251, DOI:10.1007/978-3-030-40914-2_13.

2019

• Marmsoler D, Blakqori G. (2019) APML: An Architecture Proof Modeling Language, DOI:10.48550/arxiv.1907.03723.
• Marmsoler D, Petrovska A. (2019) Detecting Architectural Erosion using Runtime Verification, DOI:10.48550/arxiv.1909.05973.
• Marmsoler D, Blakqori G. (2019) APML: An Architecture Proof Modeling Language, Formal Methods – The Next 30 Years, Springer Nature, 611-630, DOI:10.1007/978-3-030-30942-8_36.
• Marmsoler D. (2019) A Denotational Semantics for Dynamic Architectures, 2019 13TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2019), pages 136-143, DOI:10.1109/TASE.2019.00026. [PDF]
• Marmsoler D. (2019) A denotational semantics for dynamic architectures, Proceedings - 2019 13th International Symposium on Theoretical Aspects of Software Engineering, TASE 2019, pages 136-143, DOI:10.1109/TASE.2019.000-8.
• Kurpiewski D, Marmsoler D. (2019) Strategic logics for collaborative embedded systems: Specification and verification of collaborative embedded systems using strategic logics, Software-Intensive Cyber-Physical Systems, volume 34, no. 4, pages 201-212, DOI:10.1007/s00450-019-00424-7.
• Marmsoler D. (2019) Verifying dynamic architectures using model checking and interactive theorem proving, Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), volume P-292, pages 167-169, DOI:10.18420/se2019-52.
• Marmsoler D, Petrovska A. (2019) Detecting Architectural Erosion using Runtime Verification, EPTCS 304, 2019, pp. 97-114. [PDF]
• Marmsoler D. (2019) Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 11535 LNCS, pages 204-223, DOI:10.1007/978-3-030-21759-4_12.
• Marmsoler D. (2019) A calculus for dynamic architectures, Science of Computer Programming, volume 182, pages 1-41, DOI:10.1016/j.scico.2019.06.001.
• Marmsoler D, Gidey HK. (2019) Interactive verification of architectural design patterns in FACTum, Formal Aspects of Computing, volume 31, no. 5, pages 541-610, DOI:10.1007/s00165-019-00488-x.
• Marmsoler D, Blakqori G. (2019) APML: An Architecture Proof Modeling Language. [PDF]

2018

• Gleirscher M, Marmsoler D. (2018) Formal Methods in Dependable Systems Engineering: A Survey of Professionals from Europe and North America, DOI:10.48550/arxiv.1812.08815.
• Marmsoler D. (2018) Hierarchical specification and verification of architectural design patterns, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 10802 LNCS, pages 149-168, DOI:10.1007/978-3-319-89363-1_9.
• Marmsoler D, Gidey HK. (2018) FACTUM studio: A tool for the axiomatic specification and verification of architectural design patterns, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 11222 LNCS, pages 279-287, DOI:10.1007/978-3-030-02146-7_14.
• Marmsoler D. (2018) A framework for interactive verification of architectural design patterns in isabelle/hol, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 11232 LNCS, pages 251-269, DOI:10.1007/978-3-030-02450-5_15.
• Marmsoler D. (2018) On Syntactic and Semantic Dependencies in Service-Oriented Architectures, PROCEEDINGS 2018 12TH INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE 2018), pages 132-137, DOI:10.1109/TASE.2018.00025. [PDF]
• Gleirscher M, Marmsoler D. (2018) Formal Methods in Dependable Systems Engineering: A Survey of Professionals from Europe and North America, Empir. Softw. Eng, volume 25, pages 4473-4546. [PDF]

2017

• Marmsoler D, Degenhardt S. (2017) Verifying Patterns of Dynamic Architectures using Model Checking, DOI:10.48550/arxiv.1703.07033.
• Kugele S, Cebotari V, Gleirscher M, Farzaneh MH, Segler C, Shafaei S, Vögel HJ, Bauer F, Knoll A, Marmsoler D. (2017) Research challenges for a future-proof E/E architecture, Lecture Notes in Informatics (LNI), Proceedings - Series of the Gesellschaft fur Informatik (GI), volume 275, pages 1463-1474, DOI:10.18420/in2017_146.
• Marmsoler D. (2017) Towards a calculus for dynamic architectures, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), volume 10580 LNCS, pages 79-99, DOI:10.1007/978-3-319-67729-3_6.
• Marmsoler D. (2017) On the semantics of temporal specifications of component-behavior for dynamic architectures, Proceedings - 11th International Symposium on Theoretical Aspects of Software Engineering, TASE 2017, volume 2018-January, pages 1-6, DOI:10.1109/TASE.2017.8285638.
• Gidey HK, Marmsoler D, Eckhardt J. (2017) Grounded Architectures: Using Grounded Theory for the Design of Software Architectures, 2017 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ARCHITECTURE WORKSHOPS (ICSAW), pages 141-148, DOI:10.1109/ICSAW.2017.41. [PDF]
• Marmsoler D. (2017) On the Semantics of Temporal Specifications of Component-Behavior for Dynamic Architectures, PROCEEDINGS 11TH 2017 INTERNATIONAL SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING (TASE), pages 127-132. [PDF]
• Marmsoler D, Degenhardt S. (2017) Verifying Patterns of Dynamic Architectures using Model Checking, EPTCS 245, 2017, pp. 16-30. [PDF]
• Marmsoler D. (2017) On the Specification of Constraints for Dynamic Architectures. [PDF]

2016

• Marmsoler D, Gleirscher M. (2016) On activation, connection, and behavior in dynamic architectures, Scientific Annals of Computer Science, volume 26, no. 2, pages 187-248, DOI:10.7561/SACS.2016.2.187.
• Marmsoler D, Gleirscher M. (2016) Specifying Properties of Dynamic Architectures Using Configuration Traces, THEORETICAL ASPECTS OF COMPUTING - ICTAC 2016, volume 9965, pages 235-254, DOI:10.1007/978-3-319-46750-4_14. [PDF]
• Kugele S, Marmsoler D, Mata N, Werther K. (2016) Verification of Component Architectures using Mode-Based Contracts, 2016 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), pages 133-142. [PDF]

2015

• Marmsoler D, Malkis A, Eckhardt J. (2015) A Model of Layered Architectures, DOI:10.48550/arxiv.1503.04916.
• Malkis A, Marmsoler D. (2015) A Model of Service-Oriented Architectures, PROCEEDINGS 2015 NINTH BRAZILIAN SYMPOSIUM ON SOFTWARE COMPONENTS, ARCHITECTURES AND REUSE - SBCARS 2015, pages 110-119, DOI:10.1109/SBCARS.2015.22. [PDF]
• Marmsoler D, Malkis A, Eckhardt J. (2015) A Model of Layered Architectures, EPTCS 178, 2015, pp. 47-61. [PDF]

2014

• Marmsoler D. (2014) Towards a Theory of Architectural Styles, 22ND ACM SIGSOFT INTERNATIONAL SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING (FSE 2014), pages 823-825, DOI:10.1145/2635868.2661683. [PDF]

2013

• Marmsoler D. (2013) On the Laws of Failure: A Theory of Compensable Programs, 2013 IEEE EUROCON, pages 2146-2151. [PDF]

Showing 48 publications from Symplectic.