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.
Title resolution pending
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.