Runtime Verification: Passing on the Baton (Q6488339): Difference between revisions

@@ Property / cites work @@
+Verifying data- and control-oriented properties combining static and runtime verification: theory and tools
+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 @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Rewriting-Based Runtime Verification for Alternation-Free HyperLTL
+Normal rank
@@ Property / cites work @@
+Safer asynchronous runtime monitoring using compensations
+Normal rank
@@ Property / cites work @@
+Safe Runtime Verification of Real-Time Properties
@@ Property / cites work: Safe Runtime Verification of Real-Time Properties / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753772
@@ Property / cites work: Q2753772 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2753774
@@ Property / cites work: Q2753774 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4472252
@@ Property / cites work: Q4472252 / rank @@
+Normal rank
@@ Property / cites work @@
+Runtime verification past experiences and future projections
+Normal rank
@@ Property / cites work @@
+A survey of challenges for runtime verification from advanced application domains (beyond software)
+Normal rank