A Theory of Monitors (Q2811337): Difference between revisions

@@ Property / describes a project that uses @@
+LOLA
@@ Property / describes a project that uses: LOLA / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Java-MaC
@@ Property / describes a project that uses: Java-MaC / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-662-49630-5_9
+Normal rank
@@ Property / OpenAlex ID @@
+W2464216566
@@ Property / OpenAlex ID: W2464216566 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:2811337