Research

In general, my research focuses on the formal specification and verification of distributed, component-based systems. Specifically, I am working on the integration of automatic (Model Checking, Runtime Verification) and semi-automatic (Interactive Theorem Proving) techniques for the verification of such systems.
Recently, I am applying these techniques for the formalization and verification of Blockchain-related protocols.

Selected Publications

  • D. Marmsoler (2019)
    Verifying Dynamic Architectures using Model Checking and Interactive Theorem Proving (Link, Poster)
    Software Engineering und Software Management.
  • D. Marmsoler and Leo Eichhorn (2018)
    Simulation-Based Analysis of Blockchain Architectures (Link)
    The 3rd Symposium on Distributed Ledger Technology.
  • D. Marmsoler (2018)
    A Framework for Interactive Verification of Architectural Design Patterns in Isabelle/HOL (Link)
    The 20th International Conference on Formal Engineering Methods.
  • D. Marmsoler and H. K. Gidey (2018)
    FACTUM Studio: A Tool for the Axiomatic Specification and Verification of Architectural Design Patterns (Link)
    15th International Conference on Formal Aspects of Component Software.
  • D. Marmsoler (2018)
    On Syntactic and Semantic Dependencies in Service-Oriented Architectures (Link)
    12th International Symposium on Theoretical Aspects of Software Engineering.
  • D. Marmsoler (2018)
    Hierarchical Specification and Verification of Architectural Design Patterns (Link)
    21st International Conference on Fundamental Approaches to Software Engineering.
  • D. Marmsoler (2018)
    A Theory of Architectural Design Patterns (Link)
    Archive of Formal Proofs.
  • D. Marmsoler (2017)
    Towards a Calculus for Dynamic Architectures (Link)
    14th International Colloquium on Theoretical Aspects of Computing.
  • D. Marmsoler (2017)
    Dynamic Architectures (Link)
    Archive of Formal Proofs.
  • D. Marmsoler, M. Gleirscher (2017)
    On Activation, Connection, and Behavior in Dynamic Architectures (Link)
    Scientific Annals of Computer Science. Volume XXVI, Issue 2, 2016.
  • D. Marmsoler (2017)
    On the Semantics of Temporal Specifications of Component-Behavior for Dynamic Architectures (Link)
    11th International Symposium on Theoretical Aspects of Software Engineering.
  • H. K. Gidey, D. Marmsoler, J. Eckhardt (2017)
    Grounded Architectures: Using Grounded Theory for the Design of Software Architectures (Link)
    International Workshop on decision Making in Software ARCHitecture.
  • D. Marmsoler, S. Degenhardt (2017)
    Verifying Patterns of Dynamic Architectures Using Model Checking (Link)
    14th International Workshop on Formal Engineering approaches to Software Components and Architectures.
  • S. Kugele, D. Marmsoler, N. Mata, K. Werner (2016)
    Verification of Component Architectures using Mode-Based Contracts (Link)
    14th International Conference on Formal Methods and Models for System Design.
  • D. Marmsoler, M. Gleirscher (2016)
    Specifying Properties of Dynamic Architectures using Configuration Traces (Link)
    13th International Colloquium on Theoretical Aspects of Computing.
  • A. Malkis, D. Marmsoler (2015)
    A Model of Service-Oriented Architectures (Link)
    9th Brazilian Symposium on Software Components, Architectures, and Reuse.
  • D. Marmsoler, A Malkis, J Eckhardt (2015)
    A Model of Layered Architectures (Link)
    12th International Workshop on Formal Engineering approaches to Software Components and Architectures.
  • D. Marmsoler (2014)
    Towards a Theory of Architectural Styles (Link)
    22nd ACM SIGSOFT International Symposium on the Foundations of Software Engineering.
  • D. Marmsoler (2013)
    On the Laws of Failure: A Theory of Compensable Programs (Link)
    15th International Conference on Computer as a Tool.