Authors introduce abstract event streams for gaps in non-synchronized timed traces and a translation of TeSSLa specs that propagates uncertainty to produce sound outputs on partial information.
Journal of Logic and Computation 2(4), 511–547 (1992)
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.LO 1years
2019 1verdicts
UNVERDICTED 1representative citing papers
citing papers explorer
-
Runtime Verification For Timed Event Streams With Partial Information
Authors introduce abstract event streams for gaps in non-synchronized timed traces and a translation of TeSSLa specs that propagates uncertainty to produce sound outputs on partial information.