Runtime enforcement with reordering, healing, and suppression (Q6041274): Difference between revisions

@@ Property / cites work @@
+Runtime Verification over Out-of-order Streams
@@ Property / cites work: Runtime Verification over Out-of-order Streams / rank @@
+Normal rank
@@ Property / cites work @@
+Decentralised LTL monitoring
@@ Property / cites work: Decentralised LTL monitoring / rank @@
+Normal rank
@@ Property / cites work @@
+Organising LTL monitors over distributed systems with a global clock
+Normal rank
@@ Property / cites work @@
+Runtime enforcement monitors: Composition, synthesis, and enforcement abilities
+Normal rank
@@ Property / cites work @@
+Counterexample Guided Synthesis of Monitors for Realizability Enforcement
+Normal rank
@@ Property / cites work @@
+Which security policies are enforceable by runtime monitors? A survey
+Normal rank
@@ Property / cites work @@
+A brief account of runtime verification
@@ Property / cites work: A brief account of runtime verification / rank @@
+Normal rank
@@ Property / cites work @@
+A survey of challenges for runtime verification from advanced application domains (beyond software)
+Normal rank