Decentralized runtime verification of message sequences in message-based systems (Q6042075): Difference between revisions

@@ Property / cites work @@
+Q4293514
@@ Property / cites work: Q4293514 / rank @@
+Normal rank
@@ Property / cites work @@
+Verification, Model Checking, and Abstract Interpretation
+Normal rank
@@ Property / cites work @@
+Failure-aware Runtime Verification of Distributed Systems
+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 @@
+Runtime Verification over Out-of-order Streams
@@ Property / cites work: Runtime Verification over Out-of-order Streams / rank @@
+Normal rank
@@ Property / cites work @@
+Decentralised LTL monitoring
@@ Property / cites work: Decentralised LTL monitoring / rank @@
+Normal rank
@@ Property / cites work @@
+Monitoring networks through multiparty session types
+Normal rank
@@ Property / cites work @@
+Organising LTL monitors over distributed systems with a global clock
+Normal rank
@@ Property / cites work @@
+Runtime Verification of Component-Based Systems
@@ Property / cites work: Runtime Verification of Component-Based Systems / rank @@
+Normal rank
@@ Property / cites work @@
+The Byzantine Generals Problem
@@ Property / cites work: The Byzantine Generals Problem / 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 @@
+Distributed system contract monitoring
@@ Property / cites work: Distributed system contract monitoring / rank @@
+Normal rank
@@ Property / cites work @@
+Time, clocks, and the ordering of events in a distributed system
+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 @@
+Detecting Temporal Logic Predicates on Distributed Computations
+Normal rank
@@ Property / cites work @@
+A survey of challenges for runtime verification from advanced application domains (beyond software)
+Normal rank
@@ Property / cites work @@
+Principles of Distributed Systems
@@ Property / cites work: Principles of Distributed Systems / rank @@
+Normal rank