A Theory of Monitors (Q2811337): Difference between revisions

@@ Property / cites work @@
+Quantified Event Automata: Towards Expressive and Efficient Runtime Monitors
+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 @@
+Mutually Testing Processes
@@ Property / cites work: Mutually Testing Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Testing equivalences for processes
@@ Property / cites work: Testing equivalences for processes / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed system contract monitoring
@@ Property / cites work: Distributed system contract monitoring / rank @@
+Normal rank
@@ Property / cites work @@
+A theory for observational fault tolerance
@@ Property / cites work: A theory for observational fault tolerance / rank @@
+Normal rank
@@ Property / cites work @@
+Synthesising correct concurrent runtime monitors
@@ Property / cites work: Synthesising correct concurrent runtime monitors / rank @@
+Normal rank
@@ Property / cites work @@
+A theory of contracts for web services
@@ Property / cites work: A theory of contracts for web services / rank @@
+Normal rank
@@ Property / cites work @@
+Q3997501
@@ Property / cites work: Q3997501 / rank @@
+Normal rank
@@ Property / cites work @@
+A Distributed Pi-Calculus
@@ Property / cites work: A Distributed Pi-Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Java-MaC: A run-time assurance approach for Java programs
+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 @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2734510
@@ Property / cites work: Q2734510 / rank @@
+Normal rank