{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,11]],"date-time":"2026-05-11T11:25:24Z","timestamp":1778498724040,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,11,20]],"date-time":"2021-11-20T00:00:00Z","timestamp":1637366400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"FWF","award":["ZK-35"],"award-info":[{"award-number":["ZK-35"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,11,20]]},"DOI":"10.1145\/3487212.3487344","type":"proceedings-article","created":{"date-parts":[[2021,12,21]],"date-time":"2021-12-21T20:01:45Z","timestamp":1640116905000},"page":"78-88","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Online monitoring of spatio-temporal properties for imprecise signals"],"prefix":"10.1145","author":[{"given":"Ennio","family":"Visconti","sequence":"first","affiliation":[{"name":"TU Wien, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ezio","family":"Bartocci","sequence":"additional","affiliation":[{"name":"TU Wien, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[{"name":"University of Camerino, Camerino, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Nenzi","sequence":"additional","affiliation":[{"name":"TU Wien, Vienna, Austria and University of Trieste, Trieste, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,12,21]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3127041.3127050"},{"key":"e_1_3_2_1_2_1","volume-title":"MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties","author":"Bartocci Ezio","unstructured":"Ezio Bartocci , Luca Bortolussi , Michele Loreti , Laura Nenzi , and Simone Silvetti . 2020. MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties . In Runtime Verification, Jyotirmoy Deshmukh and Dejan Ni\u010dkovi\u0107 (Eds.). Springer International Publishing , Cham , 417--428. Ezio Bartocci, Luca Bortolussi, Michele Loreti, Laura Nenzi, and Simone Silvetti. 2020. MoonLight: A Lightweight Tool for Monitoring Spatio-Temporal Properties. In Runtime Verification, Jyotirmoy Deshmukh and Dejan Ni\u010dkovi\u0107 (Eds.). Springer International Publishing, Cham, 417--428."},{"key":"e_1_3_2_1_3_1","volume-title":"Hybrid Systems Biology, Alessandro Abate and David \u0160afr\u00e1nek (Eds.)","author":"Bartocci Ezio","unstructured":"Ezio Bartocci , Luca Bortolussi , Dimitrios Milios , Laura Nenzi , and Guido Sanguineus . 2015. Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic . In Hybrid Systems Biology, Alessandro Abate and David \u0160afr\u00e1nek (Eds.) . Springer International Publishing , Cham , 156--172. Ezio Bartocci, Luca Bortolussi, Dimitrios Milios, Laura Nenzi, and Guido Sanguineus. 2015. Studying Emergent Behaviours in Morphogenesis Using Signal Spatio-Temporal Logic. In Hybrid Systems Biology, Alessandro Abate and David \u0160afr\u00e1nek (Eds.). Springer International Publishing, Cham, 156--172."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_5"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCNS.2016.2609138"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.peva.2013.01.001"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-017-0286-7"},{"key":"e_1_3_2_1_8_1","volume-title":"On-Line Monitoring for Temporal Logic Robustness","author":"Dokhanchi Adel","unstructured":"Adel Dokhanchi , Bardh Hoxha , and Georgios Fainekos . 2014. On-Line Monitoring for Temporal Logic Robustness . In Runtime Verification, Borzoo Bonakdarpour and Scott A. Smolka (Eds.). Springer International Publishing , Cham , 231--246. Adel Dokhanchi, Bardh Hoxha, and Georgios Fainekos. 2014. On-Line Monitoring for Temporal Logic Robustness. In Runtime Verification, Borzoo Bonakdarpour and Scott A. Smolka (Eds.). Springer International Publishing, Cham, 231--246."},{"key":"e_1_3_2_1_9_1","volume-title":"A Toolbox for Verification and Parameter Synthesis of Hybrid Systems","author":"Donz\u00e9 Alexandre","unstructured":"Alexandre Donz\u00e9 . 2010. Breach , A Toolbox for Verification and Parameter Synthesis of Hybrid Systems . In Computer Aided Verification, Tayssir Touili, Byron Cook, and Paul Jackson (Eds.). Springer Berlin Heidelberg , Berlin, Heidelberg , 167--170. Alexandre Donz\u00e9. 2010. Breach, A Toolbox for Verification and Parameter Synthesis of Hybrid Systems. In Computer Aided Verification, Tayssir Touili, Byron Cook, and Paul Jackson (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 167--170."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39799-8_19"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1467247.1467271"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728633"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3007787.3001182"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2015.7340489"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2858460"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2562059.2562140"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-6267-2_7"},{"key":"e_1_3_2_1_19_1","first-page":"328","article-title":"Streaming Maximum-Minimum Filter Using No More than Three Comparisons per Element","volume":"13","author":"Lemire D.","year":"2006","unstructured":"D. Lemire . 2006 . Streaming Maximum-Minimum Filter Using No More than Three Comparisons per Element . Nord. J. Comput. 13 (2006), 328 -- 339 . D. Lemire. 2006. Streaming Maximum-Minimum Filter Using No More than Three Comparisons per Element. Nord. J. Comput. 13 (2006), 328--339.","journal-title":"Nord. J. Comput."},{"key":"e_1_3_2_1_20_1","unstructured":"ARPA Lombardia. 2021. Dati sensori aria. https:\/\/www.dati.lombardia.it\/Ambiente\/Dati-sensori-aria\/nicp-bhqi.  ARPA Lombardia. 2021. Dati sensori aria. https:\/\/www.dati.lombardia.it\/Ambiente\/Dati-sensori-aria\/nicp-bhqi."},{"key":"e_1_3_2_1_21_1","unstructured":"ARPA Lombardia. 2021. Stazioni qualit\u00e0 dell'aria. https:\/\/www.dati.lombardia.it\/Ambiente\/Stazioni-qualit-dell-aria\/ib47-atvt.  ARPA Lombardia. 2021. Stazioni qualit\u00e0 dell'aria. https:\/\/www.dati.lombardia.it\/Ambiente\/Stazioni-qualit-dell-aria\/ib47-atvt."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-34096-8_4"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICCPS48487.2020.00013"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/JIOT.2021.3069943"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0247-9"},{"key":"e_1_3_2_1_26_1","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"Mamouras Konstantinos","unstructured":"Konstantinos Mamouras , Agnishom Chattopadhyay , and Zhifu Wang . 2021. Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring . In Tools and Algorithms for the Construction and Analysis of Systems , Jan Friso Groote and Kim Guldstrand Larsen (Eds.). Springer International Publishing , Cham , 330--348. Konstantinos Mamouras, Agnishom Chattopadhyay, and Zhifu Wang. 2021. Algebraic Quantitative Semantics for Efficient Online Temporal Monitoring. In Tools and Algorithms for the Construction and Analysis of Systems, Jan Friso Groote and Kim Guldstrand Larsen (Eds.). Springer International Publishing, Cham, 330--348."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2020.3013053"},{"key":"e_1_3_2_1_28_1","volume-title":"Monitoring Spatio-Temporal Properties (Invited Tutorial)","author":"Nenzi Laura","unstructured":"Laura Nenzi , Ezio Bartocci , Luca Bortolussi , Michele Loreti , and Ennio Visconti . 2020. Monitoring Spatio-Temporal Properties (Invited Tutorial) . In Runtime Verification, Jyotirmoy Deshmukh and Dejan Ni\u010dkovi\u0107 (Eds.). Springer International Publishing , Cham , 21--46. Laura Nenzi, Ezio Bartocci, Luca Bortolussi, Michele Loreti, and Ennio Visconti. 2020. Monitoring Spatio-Temporal Properties (Invited Tutorial). In Runtime Verification, Jyotirmoy Deshmukh and Dejan Ni\u010dkovi\u0107 (Eds.). Springer International Publishing, Cham, 21--46."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-23820-3_2"},{"key":"e_1_3_2_1_30_1","volume-title":"RTAMT: Online Robustness Monitors from STL. In Automated Technology for Verification and Analysis","author":"Ni\u010dkovi\u0107 Dejan","year":"2020","unstructured":"Dejan Ni\u010dkovi\u0107 and Tomoya Yamaguchi . 2020 . RTAMT: Online Robustness Monitors from STL. In Automated Technology for Verification and Analysis , Dang Van Hung and Oleg Sokolsky (Eds.). Springer International Publishing , Cham , 564--571. Dejan Ni\u010dkovi\u0107 and Tomoya Yamaguchi. 2020. RTAMT: Online Robustness Monitors from STL. In Automated Technology for Verification and Analysis, Dang Van Hung and Oleg Sokolsky (Eds.). Springer International Publishing, Cham, 564--571."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2019.2891969"},{"key":"e_1_3_2_1_32_1","volume-title":"Runtime Monitoring with Recovery of the SENT Communication Protocol","author":"Selyunin Konstantin","unstructured":"Konstantin Selyunin , Stefan Jaksic , Thang Nguyen , Christian Reidl , Udo Hafner , Ezio Bartocci , Dejan Nickovic , and Radu Grosu . 2017. Runtime Monitoring with Recovery of the SENT Communication Protocol . In Computer Aided Verification, Rupak Majumdar and Viktor Kun\u010dak (Eds.). Springer International Publishing , Cham , 336--355. Konstantin Selyunin, Stefan Jaksic, Thang Nguyen, Christian Reidl, Udo Hafner, Ezio Bartocci, Dejan Nickovic, and Radu Grosu. 2017. Runtime Monitoring with Recovery of the SENT Communication Protocol. In Computer Aided Verification, Rupak Majumdar and Viktor Kun\u010dak (Eds.). Springer International Publishing, Cham, 336--355."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"crossref","unstructured":"Ennio Visconti Ezio Bartocci Michele Loreti and Laura Nenzi. 2021. Online Monitoring of Spatio-Temporal Properties for Imprecise Signals. arXiv:arXiv:2109.08081  Ennio Visconti Ezio Bartocci Michele Loreti and Laura Nenzi. 2021. Online Monitoring of Spatio-Temporal Properties for Imprecise Signals. arXiv:arXiv:2109.08081","DOI":"10.1145\/3487212.3487344"}],"event":{"name":"MEMOCODE '21: 19th ACM-IEEE International Conference on Formal Methods and Models for System Design","location":"Virtual Event China","acronym":"MEMOCODE '21","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"]},"container-title":["Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3487212.3487344","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3487212.3487344","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:47Z","timestamp":1750191527000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3487212.3487344"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,11,20]]},"references-count":33,"alternative-id":["10.1145\/3487212.3487344","10.1145\/3487212"],"URL":"https:\/\/doi.org\/10.1145\/3487212.3487344","relation":{},"subject":[],"published":{"date-parts":[[2021,11,20]]},"assertion":[{"value":"2021-12-21","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}