Decentralised LTL monitoring (Q346789): Difference between revisions

← Older edit

@@ aliases / en / 0 / aliases / en / 0 @@
+Decentralised LTL Monitoring
@@ description / en / description / en @@
-scientific article
+scientific article; zbMATH DE number 6103219
@@ Property / DOI @@
-.1007/s10703-016-0253-8
@@ Property / DOI: 10.1007/s10703-016-0253-8 / rank @@
-Normal rank
@@ Property / title @@
+Decentralised LTL Monitoring (English)
@@ Property / title: Decentralised LTL Monitoring (English) / rank @@
+Normal rank
@@ Property / zbMATH Open document ID @@
+.68163
@@ Property / zbMATH Open document ID: 1372.68163 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/978-3-642-32759-9_10
@@ Property / DOI: 10.1007/978-3-642-32759-9_10 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S10703-016-0253-8
@@ Property / DOI: 10.1007/S10703-016-0253-8 / rank @@
+Normal rank
@@ Property / published in @@
+FM 2012: Formal Methods
@@ Property / published in: FM 2012: Formal Methods / rank @@
+Normal rank
@@ Property / publication date @@
+November 2012Timestamp +2012-11-08T00:00:00Z
Timezone +00:00
Calendar Gregorian
Precision 1 day
Before 0
After 0
-Timestamp
++2012-11-08T00:00:00Z
-Timezone
++00:00
-Calendar
+Gregorian
-Precision
+day
 Before
 After
@@ Property / publication date: 8 November 2012 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6103219
@@ Property / zbMATH DE Number: 6103219 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1519460009
@@ Property / OpenAlex ID: W1519460009 / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2207666193
@@ Property / OpenAlex ID: W2207666193 / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.5133
@@ Property / arXiv ID: 1111.5133 / rank @@
+Normal rank
@@ Property / cites work @@
+\textsc{InterAspect}: aspect-oriented instrumentation with GCC
+Normal rank
@@ Property / cites work @@
+Timing analysis of the flexRay communication protocol
+Normal rank
@@ Property / cites work @@
+Rule Systems for Run-time Monitoring: from EAGLE to RULER
+Normal rank
@@ Property / cites work @@
+Decentralised LTL monitoring
@@ Property / cites work: Decentralised LTL monitoring / rank @@
+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 @@
+Planning for temporally extended goals.
@@ Property / cites work: Planning for temporally extended goals. / rank @@
+Normal rank
@@ Property / cites work @@
+Model checking of safety properties
@@ Property / cites work: Model checking of safety properties / 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 @@
+The complexity of propositional linear temporal logics
+Normal rank
@@ Property / cites work @@
+Q3711745
@@ Property / cites work: Q3711745 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395959
@@ Property / cites work: Q3395959 / rank @@
+Normal rank
@@ Property / cites work @@
+Diagnosis of discrete event systems using decentralized architectures
+Normal rank
@@ Property / cites work @@
+The Complexity of Codiagnosability for Discrete Event and Timed Systems
+Normal rank