Runtime enforcement of timed properties revisited
From MaRDI portal
Publication:487258
DOI10.1007/s10703-014-0215-yzbMath1314.68102OpenAlexW1973223152MaRDI QIDQ487258
Thierry Jéron, Hervé Marchand, Srinivas Pinisetty, Yliès Falcone, Omer Nguena Timo, Antoine Rollet
Publication date: 19 January 2015
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://hal.inria.fr/hal-01088136/file/fmsd2.pdf
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (7)
Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework ⋮ Optimal enforcement of (timed) properties with uncontrollable events ⋮ Predictive runtime enforcement ⋮ On first-order runtime enforcement of branching-time properties ⋮ Compositional runtime enforcement revisited ⋮ Runtime enforcement of timed properties using games ⋮ Runtime enforcement of timed properties revisited
Uses Software
Cites Work
- Runtime enforcement of timed properties revisited
- Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
- A theory of timed automata
- Algorithms for monitoring real-time properties
- Uppaal in a nutshell
- Automated Synthesis of Enforcing Mechanisms for Security Properties in a Timed Setting
- Enforceable Security Policies Revisited
- From MITL to Timed Automata
- From Mtl to Deterministic Timed Automata
- Parametric Trace Slicing and Monitoring
- Safe Runtime Verification of Real-Time Properties
- Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
- Theoretical Aspects of Computing - ICTAC 2004
This page was built for publication: Runtime enforcement of timed properties revisited
