Runtime enforcement of hyperproperties (Q2147207): Difference between revisions

@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3206405735
@@ Property / OpenAlex ID: W3206405735 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.04146
@@ Property / arXiv ID: 2203.04146 / rank @@
+Normal rank
@@ Property / cites work @@
+On the menbership problem for functional and multivalued dependencies in relational databases
+Normal rank
@@ Property / cites work @@
+Shield Synthesis:
@@ Property / cites work: Shield Synthesis: / rank @@
+Normal rank
@@ Property / cites work @@
+Program Repair for Hyperproperties
@@ Property / cites work: Program Repair for Hyperproperties / rank @@
+Normal rank
@@ Property / cites work @@
+Unifying Hyper and Epistemic Temporal Logics
@@ Property / cites work: Unifying Hyper and Epistemic Temporal Logics / rank @@
+Normal rank
@@ Property / cites work @@
+Verifying hyperliveness
@@ Property / cites work: Verifying hyperliveness / rank @@
+Normal rank
@@ Property / cites work @@
+From LTL and Limit-Deterministic Büchi Automata to Deterministic Parity Automata
+Normal rank
@@ Property / cites work @@
+Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
+Normal rank
@@ Property / cites work @@
+Synthesizing reactive systems from hyperproperties
+Normal rank
@@ Property / cites work @@
+Monitoring hyperproperties
@@ Property / cites work: Monitoring hyperproperties / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking quantitative hyperproperties
@@ Property / cites work: Model checking quantitative hyperproperties / rank @@
+Normal rank
@@ Property / cites work @@
+Algorithms for model checking HyperLTL and HyperCTL\(^*\)
+Normal rank
@@ Property / cites work @@
+Constraint-based monitoring of hyperproperties
@@ Property / cites work: Constraint-based monitoring of hyperproperties / rank @@
+Normal rank
@@ Property / cites work @@
+Q4817542
@@ Property / cites work: Q4817542 / rank @@
+Normal rank
@@ Property / cites work @@
+A new solution of Dijkstra's concurrent programming problem
+Normal rank
@@ Property / cites work @@
+Runtime Enforcement of Security Policies on Black Box Reactive Programs
+Normal rank
@@ Property / cites work @@
+Parity Games: Zielonka's Algorithm in Quasi-Polynomial Time
+Normal rank
@@ Property / cites work @@
+Optimal enforcement of (timed) properties with uncontrollable events
+Normal rank