Christian Colombo

From MaRDI portal
Person:681470

Available identifiers

zbMath Open colombo.christianMaRDI QIDQ681470

List of research outcomes





PublicationDate of PublicationType
Runtime Verification: Passing on the Baton2023-04-13Paper
Runtime verification of contracts with Themulus2021-07-08Paper
Risk parity with expectiles2021-06-07Paper
A survey of challenges for runtime verification from advanced application domains (beyond software)2019-11-25Paper
Organising LTL monitors over distributed systems with a global clock2018-02-12Paper
Recovery within long-running transactions2014-08-13Paper
Safer asynchronous runtime monitoring using compensations2014-03-28Paper
Safe runtime verification of real-time properties2009-12-01Paper

Research outcomes over time

This page was built for person: Christian Colombo

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