Almost event-rate independent monitoring (Q2008287): Difference between revisions

@@ Property / author @@
-David A. Basin
@@ Property / author: David A. Basin / rank @@
-Normal rank
@@ Property / author @@
+David A. Basin
@@ Property / author: David A. Basin / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+GNU parallel
@@ Property / describes a project that uses: GNU parallel / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+aerial
@@ Property / describes a project that uses: aerial / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+DejaVu
@@ Property / describes a project that uses: DejaVu / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+MonPoly
@@ Property / describes a project that uses: MonPoly / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LOLA
@@ Property / describes a project that uses: LOLA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Montre
@@ Property / describes a project that uses: Montre / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2913504600
@@ Property / OpenAlex ID: W2913504600 / rank @@
+Normal rank
@@ Property / cites work @@
+Partial derivatives of regular expressions and finite automaton constructions
+Normal rank
@@ Property / cites work @@
+Timed regular expressions
@@ Property / cites work: Timed regular expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Almost Event-Rate Independent Monitoring of Metric Temporal Logic
+Normal rank
@@ Property / cites work @@
+Algorithms for monitoring real-time properties
@@ Property / cites work: Algorithms for monitoring real-time properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q3165946
@@ Property / cites work: Q3165946 / rank @@
+Normal rank
@@ Property / cites work @@
+Monitoring Metric First-Order Temporal Properties
@@ Property / cites work: Monitoring Metric First-Order Temporal Properties / rank @@
+Normal rank
@@ Property / cites work @@
+On the expressiveness of TPTL and MTL
@@ Property / cites work: On the expressiveness of TPTL and MTL / rank @@
+Normal rank
@@ Property / cites work @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+On regular temporal logics with past
@@ Property / cites work: On regular temporal logics with past / rank @@
+Normal rank
@@ Property / cites work @@
+Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL
+Normal rank
@@ Property / cites work @@
+Parametric linear dynamic logic
@@ Property / cites work: Parametric linear dynamic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472252
@@ Property / cites work: Q4472252 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic linear time temporal logic
@@ Property / cites work: Dynamic linear time temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Mathematical Foundations of Computer Science 2005
@@ Property / cites work: Mathematical Foundations of Computer Science 2005 / rank @@
+Normal rank
@@ Property / cites work @@
+Regular Linear Temporal Logic
@@ Property / cites work: Regular Linear Temporal Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Modeling and Analysis of Timed Systems
@@ Property / cites work: Formal Modeling and Analysis of Timed Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Symbolic Algorithms for Language Equivalence and Kleene Algebra with Tests
+Normal rank
@@ Property / cites work @@
+Regular Linear Temporal Logic with Past
@@ Property / cites work: Regular Linear Temporal Logic with Past / rank @@
+Normal rank
@@ Property / cites work @@
+Timed Pattern Matching
@@ Property / cites work: Timed Pattern Matching / rank @@
+Normal rank
@@ Property / cites work @@
+Online timed pattern matching using derivatives
@@ Property / cites work: Online timed pattern matching using derivatives / rank @@
+Normal rank
@@ Property / cites work @@
+From Church and Prior to PSL
@@ Property / cites work: From Church and Prior to PSL / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal logic can be more expressive
@@ Property / cites work: Temporal logic can be more expressive / rank @@
+Normal rank
@@ Property / Wikidata QID @@
+Q128443469
@@ Property / Wikidata QID: Q128443469 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2008287