Diego Marmsoler

54 papers B 5C 6Misc 3Journal 18Unranked 14

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Isabelle/Solidity - A shallow Embedding of Solidity in Isabelle/HOL. Arch. Formal Proofs Diego Marmsoler, Asad Ahmed, Achim D. Brucker
2025	—	`ed.`	6th International Workshop on Formal Methods for Blockchains, FMBC 2025, Hamilton, Canada, May 4, 2025 FMBC Diego Marmsoler, Meng Xu
2025	J	`jnl`	Deductive verification of solidity smart contracts with SSCalc. Sci. Comput. Program. Diego Marmsoler, Billy Thornton
2025	—	`conf`	Isabelle/Solidity: A Tool for the Verification of Solidity Smart Contracts (Tool Paper). FMBC Asad Ahmed, Diego Marmsoler
2025	J	`jnl`	Isabelle/Solidity: A deep embedding of Solidity in Isabelle/HOL. Formal Aspects Comput. Diego Marmsoler, Achim D. Brucker
2024	—	`ed.`	5th International Workshop on Formal Methods for Blockchains, FMBC 2024, Luxembourg City, Luxembourg, April 7, 2024 FMBC Bruno Bernardo, Diego Marmsoler
2024	—	`ed.`	Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings FACS Diego Marmsoler, Meng Sun
2024	B	`conf`	Secure Smart Contracts with Isabelle/Solidity. SEFM Diego Marmsoler, Asad Ahmed, Achim D. Brucker
2024	—	`conf`	Teaching Formal Methods in Application Domains - A Case Study in Computer and Network Security. FMTea Achim D. Brucker, Diego Marmsoler
2024	—	`conf`	Towards Mechanised Consensus in Isabelle. FMBC@CAV Elliot Jones, Diego Marmsoler
2024	C	`conf`	Type Safety for Isabelle/Solidity. ICTAC Billy Thornton, Diego Marmsoler
2023	J	`jnl`	Modeling Adaptive Self-healing Systems. CoRR Habtom Kahsay Gidey, Diego Marmsoler, Dominik Ascher
2023	B	`conf`	SSCalc: A Calculus for Solidity Smart Contracts. SEFM Diego Marmsoler, Billy Thornton
2022	—	`conf`	Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing. TAP@STAF Diego Marmsoler, Achim D. Brucker
2022	J	`jnl`	Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL. Arch. Formal Proofs Diego Marmsoler, Achim D. Brucker
2022	J	`jnl`	Review on Formal Aspects Comput. Diego Marmsoler
2021	—	`ed.`	3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, Los Angeles, California, USA (Virtual Conference), July 18-19, 2021 FMBC@CAV Bruno Bernardo, Diego Marmsoler
2021	B	`conf`	A Denotational Semantics of Solidity in Isabelle/HOL. SEFM Diego Marmsoler, Achim D. Brucker
2021	—	`ch.`	Compositional Verification using Model Checking and Theorem Proving. Model-Based Engineering of Collaborative Embedded Systems Diego Marmsoler
2021	J	`jnl`	Runtime verification for dynamic architectures. J. Log. Algebraic Methods Program. Diego Marmsoler, Ana Petrovska
2020	—	`ed.`	2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, Los Angeles, California, USA (Virtual Conference), July 20-21, 2020 FMBC@CAV Bruno Bernardo, Diego Marmsoler
2020	—	`ed.`	Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I FM Workshops (1) Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
2020	—	`ed.`	Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II FM Workshops (2) Emil Sekerinski, Nelma Moreira, José N. Oliveira, Daniel Ratiu, Riccardo Guidotti, Marie Farrell, Matt Luckcuck, Diego Marmsoler, José Creissac Campos, Troy Astarte, Laure Gonnord, Antonio Cerone, Luis Couto, Brijesh Dongol, Martin Kutrib, Pedro Monteiro, David Delmas
2020	J	`jnl`	Formal methods in dependable systems engineering: a survey of professionals from Europe and North America. Empir. Softw. Eng. Mario Gleirscher, Diego Marmsoler
2020	J	`jnl`	On the impact of architecture design decisions on the quality of blockchain-based applications. Knowl. Eng. Rev. Diego Marmsoler, Leo Eichhorn
2019	Misc	`conf`	A Denotational Semantics for Dynamic Architectures. TASE Diego Marmsoler
2019	J	`jnl`	A calculus for dynamic architectures. Sci. Comput. Program. Diego Marmsoler
2019	B	`conf`	APML: An Architecture Proof Modeling Language. FM Diego Marmsoler, Genc Blakqori
2019	J	`jnl`	APML: An Architecture Proof Modeling Language. CoRR Diego Marmsoler, Genc Blakqori
2019	—	`conf`	Detecting Architectural Erosion using Runtime Verification. ICE Diego Marmsoler, Ana Petrovska
2019	J	`jnl`	Interactive verification of architectural design patterns in FACTum. Formal Aspects Comput. Diego Marmsoler, Habtom Kahsay Gidey
2019	—	`conf`	Modeling and Verifying Dynamic Architectures with FACTum Studio. FACS Habtom Kahsay Gidey, Alexander Collins, Diego Marmsoler
2019	J	`jnl`	Strategic logics for collaborative embedded systems. SICS Softw.-Intensive Cyber Phys. Syst. Damian Kurpiewski, Diego Marmsoler
2019	C	`conf`	Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification. FORTE Diego Marmsoler
2019	—	`conf`	Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving. SE/SWM Diego Marmsoler
2018	C	`conf`	A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL. ICFEM Diego Marmsoler
2018	J	`jnl`	A Theory of Architectural Design Patterns. Arch. Formal Proofs Diego Marmsoler
2018	—	`conf`	FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns. FACS Diego Marmsoler, Habtom Kahsay Gidey
2018	J	`jnl`	Formal Methods: Oversold? Underused? A Survey. CoRR Mario Gleirscher, Diego Marmsoler
2018	B	`conf`	Hierarchical Specification and Verification of Architectural Design Patterns. FASE Diego Marmsoler
2018	Misc	`conf`	On Syntactic and Semantic Dependencies in Service-Oriented Architectures. TASE Diego Marmsoler
2017	J	`jnl`	Dynamic Architectures. Arch. Formal Proofs Diego Marmsoler
2017	—	`conf`	Grounded Architectures: Using Grounded Theory for the Design of Software Architectures. ICSA Workshops Habtom Kahsay Gidey, Diego Marmsoler, Jonas Eckhardt
2017	J	`jnl`	On the Specification of Constraints for Dynamic Architectures. CoRR Diego Marmsoler
2017	Misc	`conf`	On the semantics of temporal specifications of component-behavior for dynamic architectures. TASE Diego Marmsoler
2017	—	`conf`	Research Challenges for a Future-Proof E/E Architecture - A Project Statement. GI-Jahrestagung 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
2017	C	`conf`	Towards a Calculus for Dynamic Architectures. ICTAC Diego Marmsoler
2017	—	`conf`	Verifying Patterns of Dynamic Architectures using Model Checking. FESCA@ETAPS Diego Marmsoler, Silvio Degenhardt
2016	J	`jnl`	On Activation, Connection, and Behavior in Dynamic Architectures. Sci. Ann. Comput. Sci. Diego Marmsoler, Mario Gleirscher
2016	C	`conf`	Specifying Properties of Dynamic Architectures Using Configuration Traces. ICTAC Diego Marmsoler, Mario Gleirscher
2016	C	`conf`	Verification of component architectures using mode-based contracts. MEMOCODE Stefan Kugele, Diego Marmsoler, Núria Mata, Kai Werther
2015	—	`conf`	A Model of Layered Architectures. FESCA Diego Marmsoler, Alexander Malkis, Jonas Eckhardt
2015	—	`conf`	A Model of Service-Oriented Architectures. SBCARS Alexander Malkis, Diego Marmsoler
2014	—	`conf`	Towards a theory of architectural styles. SIGSOFT FSE Diego Marmsoler