Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
David A. Basin, Bhargav Nagaraja Bhatt, Srdan Krstic, Dmitriy Traytel. Almost event-rate independent monitoring. Formal Methods in System Design, 54(3):449-478, 2019. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Almost Event-Rate Independent Monitoring of Metric Temporal LogicDavid A. Basin, Bhargav Nagaraja Bhatt, Dmitriy Traytel. TACAS 2017: 94-112 [doi] Almost Event-Rate Independent Monitoring of Metric Dynamic LogicDavid A. Basin, Srdan Krstic, Dmitriy Traytel. RV 2017: 85-102 [doi] AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular PropertiesDavid A. Basin, Srdjan Krstic, Dmitriy Traytel. RV 2017: 29-36 [doi]
The following publications are possibly variants of this publication: