Optimal enforcement of (timed) properties with uncontrollable events

DOI10.1017/S0960129517000123zbMATH Open1407.68299OpenAlexW2288075641MaRDI QIDQ4559604FDOQ4559604

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

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

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (5)

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

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)