Photo of  Diego Marmsoler

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.

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

2024

  • Jones E, Marmsoler D. (2024) Towards Mechanised Consensus in Isabelle, OpenAccess Series in Informatics, volume 118, DOI:10.4230/OASIcs.FMBC.2024.4.
  • Bernardo B, Marmsoler D. (2024) Preface, OpenAccess Series in Informatics, volume 118, DOI:10.4230/OASIcs.FMBC.2024.0.

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

2019

2018

2017

2016

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

2013

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

Showing 50 publications from Symplectic.