Monitoring Metric First-Order Temporal Properties (Q2796403): Difference between revisions

@@ Property / cites work @@
+Q4864249
@@ Property / cites work: Q4864249 / rank @@
+Normal rank
@@ Property / cites work @@
+Defining liveness
@@ Property / cites work: Defining liveness / rank @@
+Normal rank
@@ Property / cites work @@
+Q4230338
@@ Property / cites work: Q4230338 / rank @@
+Normal rank
@@ Property / cites work @@
+A really temporal logic
@@ Property / cites work: A really temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Runtime Verification Using a Temporal Description Logic
+Normal rank
@@ Property / cites work @@
+Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Rule Systems for Run-time Monitoring: from EAGLE to RULER
+Normal rank
@@ Property / cites work @@
+Scalable offline monitoring of temporal specifications
+Normal rank
@@ Property / cites work @@
+Q3165946
@@ Property / cites work: Q3165946 / rank @@
+Normal rank
@@ Property / cites work @@
+Decentralised LTL monitoring
@@ Property / cites work: Decentralised LTL monitoring / rank @@
+Normal rank
@@ Property / cites work @@
+A First-Order Policy Language for History-Based Transaction Monitoring
+Normal rank
@@ Property / cites work @@
+Comparing LTL Semantics for Runtime Verification
@@ Property / cites work: Comparing LTL Semantics for Runtime Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Finite presentations of infinite structures: Automata and interpretations
+Normal rank
@@ Property / cites work @@
+On the feasibility of checking temporal integrity constraints
+Normal rank
@@ Property / cites work @@
+Querying ATSQL databases with temporal logic
@@ Property / cites work: Querying ATSQL databases with temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+The Recursive Unsolvability of the Decision Problem for the Class of Definite Formulas
+Normal rank
@@ Property / cites work @@
+Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking
+Normal rank
@@ Property / cites work @@
+Specifying and Reasoning About Dynamic Access-Control Policies
+Normal rank
@@ Property / cites work @@
+Q4052071
@@ Property / cites work: Q4052071 / rank @@
+Normal rank
@@ Property / cites work @@
+Checking finite traces using alternating automata
@@ Property / cites work: Checking finite traces using alternating automata / rank @@
+Normal rank
@@ Property / cites work @@
+Sooner is safer than later
@@ Property / cites work: Sooner is safer than later / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic model checking with rich assertional languages
+Normal rank
@@ Property / cites work @@
+Q4850551
@@ Property / cites work: Q4850551 / rank @@
+Normal rank
@@ Property / cites work @@
+MONA IMPLEMENTATION SECRETS
@@ Property / cites work: MONA IMPLEMENTATION SECRETS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3711745
@@ Property / cites work: Q3711745 / rank @@
+Normal rank
@@ Property / cites work @@
+Monitoring dynamic integrity constraints based on temporal logic
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+Normal rank
@@ Property / cites work @@
+Semantics and Algorithms for Parametric Monitoring
+Normal rank
@@ Property / cites work @@
+From Philosophical to Industrial Logics
@@ Property / cites work: From Philosophical to Industrial Logics / rank @@
+Normal rank