Diego Marmsoler

From MaRDI portal
Person:1675794

Available identifiers

zbMath Open marmsoler.diegoMaRDI QIDQ1675794

List of research outcomes





PublicationDate of PublicationType
SSCalc: a calculus for Solidity smart contracts2024-06-05Paper
APML: an architecture proof modeling language2024-03-14Paper
Runtime verification for dynamic architectures2021-02-26Paper
Interactive verification of architectural design patterns in FACTum2019-11-18Paper
Hierarchical specification and verification of architectural design patterns2019-09-16Paper
On Activation, Connection, and Behavior in Dynamic Architectures2019-02-08Paper
Towards a calculus for dynamic architectures2017-11-03Paper
Specifying properties of dynamic architectures using configuration traces2016-12-21Paper

Research outcomes over time

This page was built for person: Diego Marmsoler

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1675794&oldid=6596326"
Powered by MediaWiki