Runtime enforcement of hyperproperties
From MaRDI portal
Publication:2147207
DOI10.1007/978-3-030-88885-5_19zbMath1497.68291arXiv2203.04146MaRDI QIDQ2147207
Jana Hofmann, Norine Coenen, Bernd Finkbeiner, Yannick Schillo, Christopher Hahn
Publication date: 22 June 2022
Full work available at URL: https://arxiv.org/abs/2203.04146
91A80: Applications of game theory
68Q60: Specification and verification (program logics, model checking, etc.)
03B44: Temporal logic
Related Items
Uses Software
Cites Work
- Unnamed Item
- Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
- Algorithms for model checking HyperLTL and HyperCTL\(^*\)
- Monitoring hyperproperties
- Runtime Enforcement of Security Policies on Black Box Reactive Programs
- Unifying Hyper and Epistemic Temporal Logics
- Program Repair for Hyperproperties
- From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata
- On the menbership problem for functional and multivalued dependencies in relational databases
- Optimal enforcement of (timed) properties with uncontrollable events
- A new solution of Dijkstra's concurrent programming problem
- Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time
- Shield Synthesis:
- Model checking quantitative hyperproperties
- Synthesizing reactive systems from hyperproperties
- Constraint-based monitoring of hyperproperties
- Verifying hyperliveness