Monitorability for the Hennessy-Milner logic with recursion (Q2402551): Difference between revisions

@@ Property / describes a project that uses @@
+Rodin
@@ Property / describes a project that uses: Rodin / 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/s10703-017-0273-z
+Normal rank
@@ Property / OpenAlex ID @@
+W2599123558
@@ Property / OpenAlex ID: W2599123558 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3569584
@@ Property / cites work: Q3569584 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4260699
@@ Property / cites work: Q4260699 / rank @@
+Normal rank
@@ Property / cites work @@
+Reactive Systems
@@ Property / cites work: Reactive Systems / rank @@
+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 @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+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 @@
+Comparing LTL Semantics for Runtime Verification
@@ Property / cites work: Comparing LTL Semantics for Runtime Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4963997
@@ Property / cites work: Q4963997 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterization of temporal property classes
@@ Property / cites work: Characterization of temporal property classes / rank @@
+Normal rank
@@ Property / cites work @@
+An LTL Proof System for Runtime Verification
@@ Property / cites work: An LTL Proof System for Runtime Verification / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Aided Verification
@@ Property / cites work: Computer Aided Verification / rank @@
+Normal rank
@@ Property / cites work @@
+A Theory of Monitors
@@ Property / cites work: A Theory of Monitors / rank @@
+Normal rank
@@ Property / cites work @@
+Distributed system contract monitoring
@@ Property / cites work: Distributed system contract monitoring / 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 @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Proof systems for satisfiability in Hennessy-Milner logic with recursion
+Normal rank
@@ Property / cites work @@
+Completing the temporal picture
@@ Property / cites work: Completing the temporal picture / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Advances in Computing Science – ASIAN 2003. Progamming Languages and Distributed Computation Programming Languages and Distributed Computation
+Normal rank
@@ Property / cites work @@
+Wireless protocol validation under uncertainty
@@ Property / cites work: Wireless protocol validation under uncertainty / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2402551