Optimal enforcement of (timed) properties with uncontrollable events

DOI10.1017/S0960129517000123MaRDI QIDQ4559604zbMATH OpenOpenAlexFDO

Authors Matthieu Renard, Yliès Falcone, Antoine Rollet, Thierry Jéron, H. Marchand

Publication date 4 December 2018

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0960129517000123

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Enforcement of (timed) properties with uncontrollable events
• Runtime enforcement of timed properties using games
• Runtime enforcement of timed properties revisited
• Predictive runtime enforcement
• Compositional runtime enforcement revisited

Cites work

• A brief account of runtime verification
• Enforcement of (timed) properties with uncontrollable events
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• Runtime enforcement of timed properties revisited
• Safe runtime verification of real-time properties
• Supervisory Control of a Class of Discrete Event Processes

Cited in

(5)

• Runtime enforcement of hyperproperties
• Runtime enforcement of timed properties using games
• Predictive runtime enforcement
• Enforcement of (timed) properties with uncontrollable events
• Runtime enforcement of timed properties revisited

Describes a project that uses

Uses Software

• LARVA

This page was built for publication: Optimal enforcement of (timed) properties with uncontrollable events

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4559604)