Antoine Rollet

Available identifiers

zbMath Open rollet.antoineMaRDI QIDQ487256

List of research outcomes

Publication	Date of Publication	Type
Bounded-memory runtime enforcement with probabilistic and performance analysis	2024-06-28	Paper
Runtime enforcement of timed properties using games	2020-09-09	Paper
Optimal enforcement of (timed) properties with uncontrollable events	2018-12-04	Paper
Enforcement of (timed) properties with uncontrollable events	2016-02-25	Paper
Runtime enforcement of timed properties revisited	2015-01-19	Paper
SOFSEM 2005: Theory and Practice of Computer Science	2005-12-07	Paper
Principles of Distributed Systems	2005-08-24	Paper

Research outcomes over time

This page was built for person: Antoine Rollet