Runtime enforcement of timed properties using games

DOI10.1007/S00165-020-00515-2MaRDI QIDQ2198137zbMATH OpenOpenAlexFDO

Authors Matthieu Renard, Antoine Rollet, Yliès Falcone

Publication date 9 September 2020

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s00165-020-00515-2

zbMATH Keywords

gamesruntime enforcementruntime verificationtimed automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Applications of game theory (91A80)

Recommendations

• Enforcement of (timed) properties with uncontrollable events
• Optimal enforcement of (timed) properties with uncontrollable events
• Runtime enforcement of timed properties revisited
• Predictive runtime enforcement
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities

Cites work

• A brief account of runtime verification
• Algorithms for monitoring real-time properties
• Automata, logics, and infinite games. A guide to current research
• Characterization of temporal property classes
• Enforceable Security Policies Revisited
• Formal Techniques for Networked and Distributed Systems – FORTE 2004
• Lectures on Concurrency and Petri Nets
• Optimal enforcement of (timed) properties with uncontrollable events
• Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
• Runtime enforcement of timed properties revisited
• Shield synthesis: runtime enforcement for reactive systems
• Which security policies are enforceable by runtime monitors? A survey

Cited in

(6)

• Predictive runtime enforcement
• Enforcement of (timed) properties with uncontrollable events
• Optimal enforcement of (timed) properties with uncontrollable events
• Runtime enforcement of timed properties revisited
• Bounded-memory runtime enforcement with probabilistic and performance analysis
• Decentralized LTL enforcement

This page was built for publication: Runtime enforcement of timed properties using games

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