{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:25:17Z","timestamp":1740122717837,"version":"3.37.3"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2019,2,6]],"date-time":"2019-02-06T00:00:00Z","timestamp":1549411200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2019,2,6]],"date-time":"2019-02-06T00:00:00Z","timestamp":1549411200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/501100001711","name":"Schweizerischer Nationalfonds zur F\u00f6rderung der Wissenschaftlichen Forschung","doi-asserted-by":"crossref","award":["167162"],"award-info":[{"award-number":["167162"]}],"id":[{"id":"10.13039\/501100001711","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/100006831","name":"U.S. Air Force","doi-asserted-by":"publisher","award":["FA9550-17-1-0306"],"award-info":[{"award-number":["FA9550-17-1-0306"]}],"id":[{"id":"10.13039\/100006831","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Form Methods Syst Des"],"published-print":{"date-parts":[[2019,11]]},"DOI":"10.1007\/s10703-018-00328-3","type":"journal-article","created":{"date-parts":[[2019,2,6]],"date-time":"2019-02-06T17:35:29Z","timestamp":1549474529000},"page":"449-478","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":10,"title":["Almost event-rate independent monitoring"],"prefix":"10.1007","volume":"54","author":[{"given":"David","family":"Basin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bhargav Nagaraja","family":"Bhatt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sr\u0111an","family":"Krsti\u0107","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7982-2768","authenticated-orcid":false,"given":"Dmitriy","family":"Traytel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,2,6]]},"reference":[{"issue":"2","key":"328_CR1","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1016\/0304-3975(95)00182-4","volume":"155","author":"V Antimirov","year":"1996","unstructured":"Antimirov V (1996) Partial derivatives of regular expressions and finite automaton constructions. Theor Comput Sci 155(2):291\u2013319","journal-title":"Theor Comput Sci"},{"issue":"2","key":"328_CR2","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1145\/506147.506151","volume":"49","author":"E Asarin","year":"2002","unstructured":"Asarin E, Caspi P, Maler O (2002) Timed regular expressions. J ACM 49(2):172\u2013206","journal-title":"J ACM"},{"key":"328_CR3","first-page":"94","volume-title":"TACAS 2017, LNCS","author":"DA Basin","year":"2017","unstructured":"Basin DA, Bhatt B, Traytel D (2017) Almost event-rate indepedent monitoring of metric temporal logic. In: Legay A, Margaria T (eds) TACAS 2017, LNCS, vol 10206. Springer, New York, pp 94\u2013112"},{"key":"328_CR4","doi-asserted-by":"publisher","first-page":"309","DOI":"10.1007\/s00236-017-0295-4","volume":"55","author":"DA Basin","year":"2017","unstructured":"Basin DA, Klaedtke F, Z\u0103linescu E (2017) Algorithms for monitoring real-time properties. Acta Inf 55:309\u2013338","journal-title":"Acta Inf"},{"key":"328_CR5","first-page":"19","volume-title":"RV-CuBES 2017, Kalpa Publications in computing","author":"DA Basin","year":"2017","unstructured":"Basin DA, Klaedtke F, Z\u0103linescu E (2017) The MonPoly monitoring tool. In: Reger G, Havelund K (eds) RV-CuBES 2017, Kalpa Publications in computing, vol 3. EasyChair, Seattle, pp 19\u201328"},{"key":"328_CR6","first-page":"29","volume-title":"RV-CuBES 2017, Kalpa Publications in computing","author":"DA Basin","year":"2017","unstructured":"Basin DA, Krsti\u0107 S, Traytel D (2017) AERIAL: almost event-rate independent algorithms for monitoring metric regular properties. In: Reger G, Havelund K (eds) RV-CuBES 2017, Kalpa Publications in computing, vol 3. EasyChair, Seattle, pp 29\u201336"},{"key":"328_CR7","first-page":"85","volume-title":"RV 2017, LNCS","author":"DA Basin","year":"2017","unstructured":"Basin DA, Krsti\u0107 S, Traytel D (2017) Almost event-rate indepedent monitoring of metric dynamic logic. In: Lahiri S, Reger G (eds) RV 2017, LNCS, vol 10548. Springer, New York, pp 85\u2013102"},{"key":"328_CR8","first-page":"49","volume-title":"FSTTCS 2008, LIPIcs","author":"DA Basin","year":"2008","unstructured":"Basin DA, Klaedtke F, M\u00fcller S, Pfitzmann B (2008) Runtime monitoring of metric first-order temporal properties. In: Hariharan R, Mukund M, Vinay V (eds) FSTTCS 2008, LIPIcs, vol 2. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Wadern, pp 49\u201360"},{"issue":"2","key":"328_CR9","doi-asserted-by":"publisher","first-page":"15:1","DOI":"10.1145\/2699444","volume":"62","author":"DA Basin","year":"2015","unstructured":"Basin DA, Klaedtke F, M\u00fcller S, Z\u0103linescu E (2015) Monitoring metric first-order temporal properties. J ACM 62(2):15:1\u201315:45","journal-title":"J ACM"},{"key":"328_CR10","first-page":"260","volume-title":"RV 2011, LNCS","author":"DA Basin","year":"2012","unstructured":"Basin DA, Klaedtke F, Z\u0103linescu E (2012) Algorithms for monitoring real-time properties. In: Khurshid S, Sen K (eds) RV 2011, LNCS, vol 7186. Springer, New York, pp 260\u2013275"},{"key":"328_CR11","first-page":"59","volume-title":"RV 2013, LNCS","author":"A Bauer","year":"2013","unstructured":"Bauer A, K\u00fcster J, Vegliach G (2013) From propositional to first-order monitoring. In: Legay A, Bensalem S (eds) RV 2013, LNCS, vol 8174. Springer, New York, pp 59\u201375"},{"issue":"2","key":"328_CR12","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1016\/j.ic.2009.10.004","volume":"208","author":"P Bouyer","year":"2010","unstructured":"Bouyer P, Chevalier F, Markey N (2010) On the expressiveness of TPTL and MTL. Inf Comput 208(2):97\u2013116","journal-title":"Inf Comput"},{"issue":"4","key":"328_CR13","doi-asserted-by":"publisher","first-page":"481","DOI":"10.1145\/321239.321249","volume":"11","author":"JA Brzozowski","year":"1964","unstructured":"Brzozowski JA (1964) Derivatives of regular expressions. J ACM 11(4):481\u2013494","journal-title":"J ACM"},{"key":"328_CR14","doi-asserted-by":"crossref","unstructured":"D\u2019Angelo B, Sankaranarayanan S, S\u00e1nchez C, Robinson W, Finkbeiner B, Sipma HB, Mehrotra S, Manna Z (2005) LOLA: runtime monitoring of synchronous systems. In: TIME 2005. IEEE Computer Society, pp 166\u2013174","DOI":"10.1109\/TIME.2005.26"},{"issue":"4","key":"328_CR15","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s00236-010-0118-3","volume":"47","author":"C Dax","year":"2010","unstructured":"Dax C, Klaedtke F, Lange M (2010) On regular temporal logics with past. Acta Inf 47(4):251\u2013277","journal-title":"Acta Inf"},{"key":"328_CR16","unstructured":"De Giacomo G, De Masellis R, Grasso M, Maggi FM, Montali M (2014) LTLf and LDLf monitoring: a technical report. CoRR arXiv:1405.0054"},{"key":"328_CR17","first-page":"1","volume-title":"BPM 2014, LNCS","author":"G De Giacomo","year":"2014","unstructured":"De Giacomo G, De Masellis R, Grasso M, Maggi FM, Montali M (2014) Monitoring business metaconstraints based on LTL and LDL for finite traces. In: Sadiq SW, Soffer P, V\u00f6lzer H (eds) BPM 2014, LNCS, vol 8659. Springer, New York, pp 1\u201317"},{"key":"328_CR18","first-page":"854","volume-title":"IJCAI-13","author":"G De Giacomo","year":"2013","unstructured":"De Giacomo G, Vardi MY (2013) Linear temporal logic and linear dynamic logic on finite traces. In: Rossi F (ed) IJCAI-13. AAAI Press, New Orleans, pp 854\u2013860"},{"key":"328_CR19","first-page":"231","volume-title":"FM 2015, LNCS","author":"X Du","year":"2015","unstructured":"Du X, Liu Y, Tiu A (2015) Trace-length independent runtime monitoring of quantitative policies in LTL. In: Bj\u00f8rner N, de Boer F (eds) FM 2015, LNCS, vol 9109. Springer, New York, pp 231\u2013247"},{"key":"328_CR20","doi-asserted-by":"publisher","first-page":"60","DOI":"10.4204\/EPTCS.161.8","volume":"161","author":"Peter Faymonville","year":"2014","unstructured":"Faymonville P, Zimmermann M (2014) Parametric linear dynamic logic. In: Peron A, Piazza C (eds) Proceedings 5th GandALF 2014, EPTCS, vol 161, pp 60\u201373","journal-title":"Electronic Proceedings in Theoretical Computer Science"},{"key":"328_CR21","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/j.ic.2016.07.009","volume":"253","author":"P Faymonville","year":"2017","unstructured":"Faymonville P, Zimmermann M (2017) Parametric linear dynamic logic. Inf Comput 253:237\u2013256","journal-title":"Inf Comput"},{"key":"328_CR22","first-page":"12","volume-title":"ACM workshop on ML","author":"J Filli\u00e2tre","year":"2006","unstructured":"Filli\u00e2tre J, Conchon S (2006) Type-safe modular hash-consing. In: Kennedy A, Pottier F (eds) ACM workshop on ML. ACM, New York, pp 12\u201319"},{"issue":"2","key":"328_CR23","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/0022-0000(79)90046-1","volume":"18","author":"MJ Fischer","year":"1979","unstructured":"Fischer MJ, Ladner RE (1979) Propositional dynamic logic of regular programs. J Comput Syst Sci 18(2):194\u2013211","journal-title":"J Comput Syst Sci"},{"key":"328_CR24","first-page":"155","volume-title":"TIME 2014","author":"CA Furia","year":"2014","unstructured":"Furia CA, Spoletini P (2014) Bounded variability of metric temporal logic. In: Cesta A, Combi C, Laroussinie F (eds) TIME 2014. IEEE Computer Society, Washington, pp 155\u2013163"},{"key":"328_CR25","first-page":"282","volume-title":"RV 2018, LNCS","author":"F Gorostiaga","year":"2018","unstructured":"Gorostiaga F, S\u00e1nchez C (2018) Striver: stream runtime verification for real-time event-streams. In: Colombo C, Leucker M (eds) RV 2018, LNCS, vol 11237. Springer, New York, pp 282\u2013298"},{"key":"328_CR26","doi-asserted-by":"publisher","first-page":"296","DOI":"10.1007\/978-3-319-06410-9_21","volume-title":"FM 2014, LNCS","author":"H Gunadi","year":"2014","unstructured":"Gunadi H, Tiu A (2014) Efficient runtime monitoring with metric temporal logic: a case study in the Android operating system. In: Jones CB, Pihlajasaari P, Sun J (eds) FM 2014, LNCS, vol 8442. Springer, New York, pp 296\u2013311"},{"key":"328_CR27","doi-asserted-by":"crossref","unstructured":"Havelund K, Peled D, Ulus D (2018) DejaVu: a monitoring tool for first-order temporal logic. In: 3rd workshop on monitoring and testing of cyber-physical systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018, pp 12\u201313","DOI":"10.1109\/MT-CPS.2018.00013"},{"key":"328_CR28","first-page":"342","volume-title":"TACAS 2002, LNCS","author":"K Havelund","year":"2002","unstructured":"Havelund K, Ro\u015fu G (2002) Synthesizing monitors for safety properties. In: Katoen J, Stevens P (eds) TACAS 2002, LNCS, vol 2280. Springer, New York, pp 342\u2013356"},{"issue":"1","key":"328_CR29","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/S0168-0072(98)00039-6","volume":"96","author":"JG Henriksen","year":"1999","unstructured":"Henriksen JG, Thiagarajan P (1999) Dynamic linear time temporal logic. Ann Pure Appl Log 96(1):187\u2013207","journal-title":"Ann Pure Appl Log"},{"key":"328_CR30","first-page":"178","volume-title":"RV 2014, LNCS","author":"H Ho","year":"2014","unstructured":"Ho H, Ouaknine J, Worrell J (2014) Online monitoring of metric temporal logic. In: Bonakdarpour B, Smolka SA (eds) RV 2014, LNCS, vol 8734. Springer, New York, pp 178\u2013192"},{"key":"328_CR31","first-page":"544","volume-title":"MFCS 2005, LNCS","author":"CA Kapoutsis","year":"2005","unstructured":"Kapoutsis CA (2005) Removing bidirectionality from nondeterministic finite automata. In: Jedrzejowicz J, Szepietowski A (eds) MFCS 2005, LNCS, vol 3618. Springer, New York, pp 544\u2013555"},{"issue":"4","key":"328_CR32","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R Koymans","year":"1990","unstructured":"Koymans R (1990) Specifying real-time properties with metric temporal logic. Real-Time Syst 2(4):255\u2013299","journal-title":"Real-Time Syst"},{"key":"328_CR33","first-page":"291","volume-title":"ICTAC 2007, LNCS","author":"M Leucker","year":"2007","unstructured":"Leucker M, S\u00e1nchez C (2007) Regular linear temporal logic. In: Jones CB, Liu Z, Woodcock J (eds) ICTAC 2007, LNCS, vol 4711. Springer, New York, pp 291\u2013305"},{"key":"328_CR34","doi-asserted-by":"crossref","first-page":"1925","DOI":"10.1145\/3167132.3167338","volume-title":"SAC 2018","author":"M Leucker","year":"2018","unstructured":"Leucker M, S\u00e1nchez C, Scheffel T, Schmitz M, Schramm A (2018) Tessla: runtime verification of non-synchronized real-time streams. In: Haddad HM, Wainwright RL, Chbeir R (eds) SAC 2018. ACM, New York, pp 1925\u20131933"},{"key":"328_CR35","first-page":"2","volume-title":"FORMATS 2005, LNCS","author":"O Maler","year":"2005","unstructured":"Maler O, Nickovic D, Pnueli A (2005) Real time temporal logic: past, present, future. In: Pettersson P, Yi W (eds) FORMATS 2005, LNCS, vol 3829. Springer, New York, pp 2\u201316"},{"issue":"10","key":"328_CR36","first-page":"61","volume":"90","author":"A McAfee","year":"2012","unstructured":"McAfee A, Brynjolfsson E (2012) Big data: the management revolution. Harv Bus Rev 90(10):61\u201367","journal-title":"Harv Bus Rev"},{"key":"328_CR37","first-page":"357","volume-title":"POPL 2015","author":"D Pous","year":"2015","unstructured":"Pous D (2015) Symbolic algorithms for language equivalence and Kleene algebra with tests. In: Walker D (ed) POPL 2015. ACM, New York, pp 357\u2013368"},{"key":"328_CR38","first-page":"295","volume-title":"VMCAI 2010, LNCS","author":"C S\u00e1nchez","year":"2010","unstructured":"S\u00e1nchez C, Leucker M (2010) Regular linear temporal logic with past. In: Barthe G, Hermenegildo MV (eds) VMCAI 2010, LNCS, vol 5944. Springer, New York, pp 295\u2013311"},{"key":"328_CR39","doi-asserted-by":"publisher","unstructured":"Tange O (2011) GNU Parallel\u2014the command-line power tool. login USENIX Mag 36(1):42\u201347. https:\/\/doi.org\/10.5281\/zenodo.16303 . http:\/\/www.gnu.org\/s\/parallel","DOI":"10.5281\/zenodo.16303"},{"key":"328_CR40","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.entcs.2004.01.029","volume":"113","author":"P Thati","year":"2005","unstructured":"Thati P, Ro\u015fu G (2005) Monitoring algorithms for metric temporal logic specifications. Electron Notes Theor Comput Sci 113:145\u2013162","journal-title":"Electron Notes Theor Comput Sci"},{"key":"328_CR41","unstructured":"Ulus D (2016) Montre: a tool for monitoring timed regular expressions. arXiv preprint arXiv:1605.05963"},{"key":"328_CR42","first-page":"222","volume-title":"FORMATS 2014, LNCS","author":"D Ulus","year":"2014","unstructured":"Ulus D, Ferr\u00e8re T, Asarin E, Maler O (2014) Timed pattern matching. In: Legay A, Bozga M (eds) FORMATS 2014, LNCS, vol 8711. Springer, New York, pp 222\u2013236"},{"key":"328_CR43","first-page":"736","volume-title":"TACAS 2016, LNCS","author":"D Ulus","year":"2016","unstructured":"Ulus D, Ferr\u00e8re T, Asarin E, Maler O (2016) Online timed pattern matching using derivatives. In: Chechik M, Raskin JF (eds) TACAS 2016, LNCS, vol 9636. Springer, New York, pp 736\u2013751"},{"key":"328_CR44","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/978-3-540-69850-0_10","volume-title":"25 Years of model checking\u2014history, achievements, perspectives, LNCS","author":"MY Vardi","year":"2008","unstructured":"Vardi MY (2008) From church and prior to PSL. In: Grumberg O, Veith H (eds) 25 Years of model checking\u2014history, achievements, perspectives, LNCS, vol 5000. Springer, New York, pp 150\u2013171"},{"issue":"1\/2","key":"328_CR45","doi-asserted-by":"publisher","first-page":"72","DOI":"10.1016\/S0019-9958(83)80051-5","volume":"56","author":"P Wolper","year":"1983","unstructured":"Wolper P (1983) Temporal logic can be more expressive. Inf Control 56(1\/2):72\u201399","journal-title":"Inf Control"}],"container-title":["Formal Methods in System Design"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10703-018-00328-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-018-00328-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10703-018-00328-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,9,11]],"date-time":"2022-09-11T13:43:03Z","timestamp":1662903783000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10703-018-00328-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,6]]},"references-count":45,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2019,11]]}},"alternative-id":["328"],"URL":"https:\/\/doi.org\/10.1007\/s10703-018-00328-3","relation":{},"ISSN":["0925-9856","1572-8102"],"issn-type":[{"type":"print","value":"0925-9856"},{"type":"electronic","value":"1572-8102"}],"subject":[],"published":{"date-parts":[[2019,2,6]]},"assertion":[{"value":"6 February 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}