{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,20]],"date-time":"2025-07-20T04:28:22Z","timestamp":1752985702889,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,12,9]],"date-time":"2019-12-09T00:00:00Z","timestamp":1575849600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Vetenskapsr\u00e5det","award":["2016-03800"],"award-info":[{"award-number":["2016-03800"]}]},{"name":"Progetti di Ricerca di Interesse Nazionale","award":["2017TWRCNB"],"award-info":[{"award-number":["2017TWRCNB"]}]},{"name":"Stiftelsen f\u00f6r Strategisk Forskning","award":["GMT14-0032"],"award-info":[{"award-number":["GMT14-0032"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,12,9]]},"DOI":"10.1145\/3366610.3368097","type":"proceedings-article","created":{"date-parts":[[2019,11,1]],"date-time":"2019-11-01T12:18:47Z","timestamp":1572610727000},"page":"7-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Automatic Translation of Spatio-Temporal Logics to Streaming-Based Monitoring Applications for IoT-Equipped Autonomous Agents"],"prefix":"10.1145","author":[{"given":"Luca","family":"Bortolussi","sequence":"first","affiliation":[{"name":"University of Trieste, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincenzo","family":"Gulisano","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eric","family":"Medvet","sequence":"additional","affiliation":[{"name":"University of Trieste, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dimitrios","family":"Palyvos-Giannas","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,12,9]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-67531-2_3"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/227595.227602"},{"volume-title":"Principles of model checking","author":"Baier Christel","key":"e_1_3_2_1_3_1","unstructured":"Christel Baier and Joost-Pieter Katoen . 2008. Principles of model checking . MIT Press . Christel Baier and Joost-Pieter Katoen. 2008. Principles of model checking. MIT Press."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3127041.3127050"},{"key":"e_1_3_2_1_5_1","volume-title":"Apache Flink: Stream and batch processing in a single engine. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering 36, 4","author":"Carbone Paris","year":"2015","unstructured":"Paris Carbone , Asterios Katsifodimos , Stephan Ewen , Volker Markl , Seif Haridi , and Kostas Tzoumas . 2015 . Apache Flink: Stream and batch processing in a single engine. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering 36, 4 (2015). Paris Carbone, Asterios Katsifodimos, Stephan Ewen, Volker Markl, Seif Haridi, and Kostas Tzoumas. 2015. Apache Flink: Stream and batch processing in a single engine. Bulletin of the IEEE Computer Society Technical Committee on Data Engineering 36, 4 (2015)."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2187671.2187677"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v33i01.33012760"},{"key":"#cr-split#-e_1_3_2_1_8_1.1","doi-asserted-by":"crossref","unstructured":"Patrick Doherty Fredrik Heintz and Jonas Kvarnstr\u00f6m. 2014. Robotics Temporal Logic and Stream Reasoning. 42--31. https:\/\/doi.org\/10.29007\/pmj5 10.29007\/pmj5","DOI":"10.29007\/pmj5"},{"key":"#cr-split#-e_1_3_2_1_8_1.2","doi-asserted-by":"crossref","unstructured":"Patrick Doherty Fredrik Heintz and Jonas Kvarnstr\u00f6m. 2014. Robotics Temporal Logic and Stream Reasoning. 42--31. https:\/\/doi.org\/10.29007\/pmj5","DOI":"10.29007\/pmj5"},{"volume-title":"Foundations of Artificial Intelligence.","author":"Doherty Patrick","key":"e_1_3_2_1_9_1","unstructured":"Patrick Doherty and Jonas Kvarnstr\u00f6m . 2008. Temporal Action Logics . In Foundations of Artificial Intelligence. Vol. 3 . Elsevier , 709--757. https:\/\/doi.org\/10.1016\/S1574-6526(07)03018-0 10.1016\/S1574-6526(07)03018-0 Patrick Doherty and Jonas Kvarnstr\u00f6m. 2008. Temporal Action Logics. In Foundations of Artificial Intelligence. Vol. 3. Elsevier, 709--757. https:\/\/doi.org\/10.1016\/S1574-6526(07)03018-0"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/1300699.1300700"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2012.04.123"},{"key":"e_1_3_2_1_13_1","volume-title":"TeLEx: learning signal temporal logic from positive examples using tightness metric. Formal Methods in System Design","author":"Jha Susmit","year":"2019","unstructured":"Susmit Jha , Ashish Tiwari , Sanjit A Seshia , Tuhin Sahai , and Natarajan Shankar . 2019. TeLEx: learning signal temporal logic from positive examples using tightness metric. Formal Methods in System Design ( 2019 ), 1--24. Susmit Jha, Ashish Tiwari, Sanjit A Seshia, Tuhin Sahai, and Natarajan Shankar. 2019. TeLEx: learning signal temporal logic from positive examples using tightness metric. Formal Methods in System Design (2019), 1--24."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2723372.2735371"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2882903.2882943"},{"key":"e_1_3_2_1_16_1","volume-title":"29th International Conference on. IEEE, 1139--1143","author":"Lombardi Giuseppe","year":"2017","unstructured":"Giuseppe Lombardi , Eric Medvet , and Alberto Bartoli . 2017 . A Language for UAV Traffic Rules in an Urban Environment and Decentralized Scenario. In Tools with Artificial Intelligence (ICTAI) , 29th International Conference on. IEEE, 1139--1143 . Giuseppe Lombardi, Eric Medvet, and Alberto Bartoli. 2017. A Language for UAV Traffic Rules in an Urban Environment and Decentralized Scenario. In Tools with Artificial Intelligence (ICTAI), 29th International Conference on. IEEE, 1139--1143."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-55792-2_12"},{"key":"e_1_3_2_1_18_1","volume-title":"Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. Logical Methods in Computer Science 14, 4","author":"Nenzi Laura","year":"2018","unstructured":"Laura Nenzi , Luca Bortolussi , Vincenzo Ciancia , Michele Loreti , and Mieke Massink . 2018. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. Logical Methods in Computer Science 14, 4 ( 2018 ). https:\/\/doi.org\/10.23638\/LMCS-14(4:2)2018 10.23638\/LMCS-14(4:2)2018 Laura Nenzi, Luca Bortolussi, Vincenzo Ciancia, Michele Loreti, and Mieke Massink. 2018. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties with SSTL. Logical Methods in Computer Science 14, 4 (2018). https:\/\/doi.org\/10.23638\/LMCS-14(4:2)2018"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-99154-2_20"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3274808.3274826"},{"key":"e_1_3_2_1_21_1","volume-title":"Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models. In 2016 23rd International Symposium on Temporal Representation and Reasoning(TIME). IEEE","author":"Tiger Mattias","year":"2016","unstructured":"Mattias Tiger and Fredrik Heintz . 2016 . Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models. In 2016 23rd International Symposium on Temporal Representation and Reasoning(TIME). IEEE , Kongens Lyngby, Denmark, 196--205. https:\/\/doi.org\/10.1109\/TIME. 2016.28 10.1109\/TIME.2016.28 Mattias Tiger and Fredrik Heintz. 2016. Stream Reasoning Using Temporal Logic and Predictive Probabilistic State Models. In 2016 23rd International Symposium on Temporal Representation and Reasoning(TIME). IEEE, Kongens Lyngby, Denmark, 196--205. https:\/\/doi.org\/10.1109\/TIME.2016.28"}],"event":{"name":"Middleware '19: 20th International Middleware Conference","sponsor":["ACM Association for Computing Machinery","IFIP International Federation for Information Processing"],"location":"Davis CA USA","acronym":"Middleware '19"},"container-title":["Proceedings of the 6th International Workshop on Middleware and Applications for the Internet of Things"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3366610.3368097","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3366610.3368097","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:33Z","timestamp":1750202013000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3366610.3368097"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,12,9]]},"references-count":21,"alternative-id":["10.1145\/3366610.3368097","10.1145\/3366610"],"URL":"https:\/\/doi.org\/10.1145\/3366610.3368097","relation":{},"subject":[],"published":{"date-parts":[[2019,12,9]]},"assertion":[{"value":"2019-12-09","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}