{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,1]],"date-time":"2026-08-01T00:26:56Z","timestamp":1785544016756,"version":"3.56.0"},"reference-count":0,"publisher":"EasyChair","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"abstract":"<jats:p>We present Aerial, a tool for the online monitoring of metric regular properties. Aerial supports both the standard metric temporal logic (MTL) and the more expressive meric dynamic logic (MDL) as its property specification language. Unlike MTL, which is restricted to star-free properties, MDL can express all metric regular properties by generalizing MTL\u2019s temporal operators to arbitrary regular expressions. Aerial\u2019s distinguishing feature is its ability to monitor an event stream using memory logarithmic in the event rate. This space efficiency is achieved by altering how Aerial outputs its monitoring verdicts.<\/jats:p>","DOI":"10.29007\/bm4c","type":"proceedings-article","created":{"date-parts":[[2018,1,12]],"date-time":"2018-01-12T07:31:26Z","timestamp":1515742286000},"page":"29-20","source":"Crossref","is-referenced-by-count":4,"title":["AERIAL: Almost Event-Rate Independent Algorithms for Monitoring Metric Regular Properties"],"prefix":"10.29007","volume":"3","author":[{"given":"David","family":"Basin","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Srdjan","family":"Krstic","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Dmitriy","family":"Traytel","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"11545","event":{"name":"RV-CuBES 2017. An International Workshop on Competitions, Usability, Benchmarks, Evaluation, and Standardisation for Runtime Verification Tools"},"container-title":["Kalpa Publications in Computing"],"original-title":[],"deposited":{"date-parts":[[2018,1,12]],"date-time":"2018-01-12T07:31:30Z","timestamp":1515742290000},"score":1,"resource":{"primary":{"URL":"https:\/\/easychair.org\/publications\/paper\/sgWQ"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"references-count":0,"URL":"https:\/\/doi.org\/10.29007\/bm4c","relation":{},"ISSN":["2515-1762"],"issn-type":[{"value":"2515-1762","type":"print"}],"subject":[]}}