Algebraic quantitative semantics for efficient online temporal monitoring (Q2044210): Difference between revisions

@@ Property / cites work @@
+Quantitative Regular Expressions for Arrhythmia Detection Algorithms
+Normal rank
@@ Property / cites work @@
+Time robustness in MTL and expressivity in hybrid system falsification
+Normal rank
@@ Property / cites work @@
+Streamable regular transductions
@@ Property / cites work: Streamable regular transductions / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-Based Stream Processing
@@ Property / cites work: Automata-Based Stream Processing / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronous programming with events and relations: The SIGNAL language and its semantics
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Robust online monitoring of signal temporal logic
@@ Property / cites work: Robust online monitoring of signal temporal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Robust Satisfaction of Temporal Logic over Real-Valued Signals
+Normal rank
@@ Property / cites work @@
+Robustness of temporal logic specifications for continuous-time signals
+Normal rank
@@ Property / cites work @@
+From Real-time Logic to Timed Automata
@@ Property / cites work: From Real-time Logic to Timed Automata / rank @@
+Normal rank
@@ Property / cites work @@
+Quantitative monitoring of STL with edit distance
@@ Property / cites work: Quantitative monitoring of STL with edit distance / rank @@
+Normal rank
@@ Property / cites work @@
+Q4054644
@@ Property / cites work: Q4054644 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
+Normal rank
@@ Property / cites work @@
+Q5757091
@@ Property / cites work: Q5757091 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
+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 @@
+From MITL to Timed Automata
@@ Property / cites work: From MITL to Timed Automata / rank @@
+Normal rank