default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDDiego Marmsoler
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[c25]Elliot Jones, Diego Marmsoler:
Towards Mechanised Consensus in Isabelle. FMBC@CAV 2024: 4:1-4:22- [c24]Achim D. Brucker
, Diego Marmsoler:
Teaching Formal Methods in Application Domains - A Case Study in Computer and Network Security. FMTea 2024: 124-140 - [e6]Diego Marmsoler, Meng Sun:
Formal Aspects of Component Software - 20th International Conference, FACS 2024, Milan, Italy, September 9-10, 2024, Proceedings. Lecture Notes in Computer Science 15189, Springer 2024, ISBN 978-3-031-71260-9 [contents] - [e5]Bruno Bernardo, Diego Marmsoler:
5th International Workshop on Formal Methods for Blockchains, FMBC 2024, April 7, 2024, Luxembourg City, Luxembourg. OASIcs 118, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2024, ISBN 978-3-95977-317-1 [contents] - 2023
- [c23]Diego Marmsoler, Billy Thornton:
SSCalc: A Calculus for Solidity Smart Contracts. SEFM 2023: 184-204 - [i4]Habtom Kahsay Gidey, Diego Marmsoler, Dominik Ascher:
Modeling Adaptive Self-healing Systems. CoRR abs/2304.12773 (2023) - 2022
- [j11]Diego Marmsoler, Achim D. Brucker:
Isabelle/Solidity: A deep Embedding of Solidity in Isabelle/HOL. Arch. Formal Proofs 2022 (2022) - [j10]Diego Marmsoler:
Review on Modelling and Verification of Secure Exams: By Rosario Giustolisi 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): 1-3 (2022) - [c22]Diego Marmsoler, Achim D. Brucker:
Conformance Testing of Formal Semantics Using Grammar-Based Fuzzing. TAP@STAF 2022: 106-125 - 2021
- [j9]Diego Marmsoler, Ana Petrovska:
Runtime verification for dynamic architectures. J. Log. Algebraic Methods Program. 118: 100618 (2021) - [c21]Diego Marmsoler, Achim D. Brucker:
A Denotational Semantics of Solidity in Isabelle/HOL. SEFM 2021: 403-422 - [p1]Diego Marmsoler:
Compositional Verification using Model Checking and Theorem Proving. Model-Based Engineering of Collaborative Embedded Systems 2021: 305-314 - [e4]Bruno Bernardo, Diego Marmsoler:
3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, USA (Virtual Conference). OASIcs 95, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2021, ISBN 978-3-95977-209-9 [contents] - 2020
- [j8]Mario Gleirscher, Diego Marmsoler:
Formal methods in dependable systems engineering: a survey of professionals from Europe and North America. Empir. Softw. Eng. 25(6): 4473-4546 (2020) - [j7]Diego Marmsoler, Leo Eichhorn:
On the impact of architecture design decisions on the quality of blockchain-based applications. Knowl. Eng. Rev. 35: e24 (2020) - [e3]Bruno Bernardo, Diego Marmsoler:
2nd Workshop on Formal Methods for Blockchains, FMBC@CAV 2020, July 20-21, 2020, Los Angeles, California, USA (Virtual Conference). OASIcs 84, Schloss Dagstuhl - Leibniz-Zentrum für Informatik 2020, ISBN 978-3-95977-169-6 [contents] - [e2]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:
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part I. Lecture Notes in Computer Science 12232, Springer 2020, ISBN 978-3-030-54993-0 [contents] - [e1]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:
Formal Methods. FM 2019 International Workshops - Porto, Portugal, October 7-11, 2019, Revised Selected Papers, Part II. Lecture Notes in Computer Science 12233, Springer 2020, ISBN 978-3-030-54996-1 [contents]
2010 – 2019
- 2019
- [j6]Diego Marmsoler, Habtom Kahsay Gidey:
Interactive verification of architectural design patterns in FACTum. Formal Aspects Comput. 31(5): 541-610 (2019) - [j5]Damian Kurpiewski, Diego Marmsoler:
Strategic logics for collaborative embedded systems. SICS Softw.-Intensive Cyber Phys. Syst. 34(4): 201-212 (2019) - [j4]Diego Marmsoler:
A calculus for dynamic architectures. Sci. Comput. Program. 182: 1-41 (2019) - [c20]Habtom Kahsay Gidey, Alexander Collins, Diego Marmsoler:
Modeling and Verifying Dynamic Architectures with FACTum Studio. FACS 2019: 243-251 - [c19]Diego Marmsoler, Genc Blakqori:
APML: An Architecture Proof Modeling Language. FM 2019: 611-630 - [c18]Diego Marmsoler:
Towards Verified Blockchain Architectures: A Case Study on Interactive Architecture Verification. FORTE 2019: 204-223 - [c17]Diego Marmsoler:
Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving. SE/SWM 2019: 167-169 - [c16]Diego Marmsoler:
A Denotational Semantics for Dynamic Architectures. TASE 2019: 136-143 - [c15]Diego Marmsoler, Ana Petrovska:
Detecting Architectural Erosion using Runtime Verification. ICE 2019: 97-114 - [i3]Diego Marmsoler, Genc Blakqori:
APML: An Architecture Proof Modeling Language. CoRR abs/1907.03723 (2019) - 2018
- [j3]Diego Marmsoler:
A Theory of Architectural Design Patterns. Arch. Formal Proofs 2018 (2018) - [c14]Diego Marmsoler, Habtom Kahsay Gidey:
FACTum Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns. FACS 2018: 279-287 - [c13]Diego Marmsoler:
Hierarchical Specification and Verification of Architectural Design Patterns. FASE 2018: 149-168 - [c12]Diego Marmsoler:
A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL. ICFEM 2018: 251-269 - [c11]Diego Marmsoler:
On Syntactic and Semantic Dependencies in Service-Oriented Architectures. TASE 2018: 132-137 - [i2]Mario Gleirscher, Diego Marmsoler:
Formal Methods: Oversold? Underused? A Survey. CoRR abs/1812.08815 (2018) - 2017
- [j2]Diego Marmsoler:
Dynamic Architectures. Arch. Formal Proofs 2017 (2017) - [c10]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: 1463-1474 - [c9]Habtom Kahsay Gidey, Diego Marmsoler, Jonas Eckhardt:
Grounded Architectures: Using Grounded Theory for the Design of Software Architectures. ICSA Workshops 2017: 141-148 - [c8]Diego Marmsoler:
Towards a Calculus for Dynamic Architectures. ICTAC 2017: 79-99 - [c7]Diego Marmsoler:
On the semantics of temporal specifications of component-behavior for dynamic architectures. TASE 2017: 1-6 - [c6]Diego Marmsoler, Silvio Degenhardt:
Verifying Patterns of Dynamic Architectures using Model Checking. FESCA@ETAPS 2017: 16-30 - [i1]Diego Marmsoler:
On the Specification of Constraints for Dynamic Architectures. CoRR abs/1703.06823 (2017) - 2016
- [j1]Diego Marmsoler, Mario Gleirscher:
On Activation, Connection, and Behavior in Dynamic Architectures. Sci. Ann. Comput. Sci. 26(2): 187-248 (2016) - [c5]Diego Marmsoler, Mario Gleirscher:
Specifying Properties of Dynamic Architectures Using Configuration Traces. ICTAC 2016: 235-254 - [c4]Stefan Kugele, Diego Marmsoler, Nuria Mata, Kai Werther:
Verification of component architectures using mode-based contracts. MEMOCODE 2016: 133-142 - 2015
- [c3]Alexander Malkis, Diego Marmsoler:
A Model of Service-Oriented Architectures. SBCARS 2015: 110-119 - [c2]Diego Marmsoler, Alexander Malkis, Jonas Eckhardt:
A Model of Layered Architectures. FESCA 2015: 47-61 - 2014
- [c1]Diego Marmsoler:
Towards a theory of architectural styles. SIGSOFT FSE 2014: 823-825
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:13 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
