{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,4]],"date-time":"2025-11-04T16:02:44Z","timestamp":1762272164684,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,29]],"date-time":"2017-09-29T00:00:00Z","timestamp":1506643200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"name":"Austrian Science Fund (FWF)"},{"name":"EU-FET"},{"name":"Austrian National Research Network"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,9,29]]},"DOI":"10.1145\/3127041.3127050","type":"proceedings-article","created":{"date-parts":[[2017,9,27]],"date-time":"2017-09-27T12:34:00Z","timestamp":1506515640000},"page":"146-155","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":52,"title":["Monitoring mobile and spatially distributed cyber-physical systems"],"prefix":"10.1145","author":[{"given":"Ezio","family":"Bartocci","sequence":"first","affiliation":[{"name":"Technische Universit\u00e4t Wien, Wien, Austria"}]},{"given":"Luca","family":"Bortolussi","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Trieste, Trieste, Italy"}]},{"given":"Michele","family":"Loreti","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Firenze, Florence, Italy"}]},{"given":"Laura","family":"Nenzi","sequence":"additional","affiliation":[{"name":"Technische Universit\u00e4t Wien, Wien, Austria"}]}],"member":"320","published-online":{"date-parts":[[2017,9,29]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/116873.116880"},{"volume-title":"Proc. of CDC: the 53rd IEEE Conference on Decision and Control. IEEE, 108--113","author":"Aydin-Gol A.","key":"e_1_3_2_1_2_1","unstructured":"A. Aydin-Gol , E. Bartocci , and C. Belta . 2014. A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems . In Proc. of CDC: the 53rd IEEE Conference on Decision and Control. IEEE, 108--113 . A. Aydin-Gol, E. Bartocci, and C. Belta. 2014. A Formal Methods Approach to Pattern Synthesis in Reaction Diffusion Systems. In Proc. of CDC: the 53rd IEEE Conference on Decision and Control. IEEE, 108--113."},{"key":"e_1_3_2_1_3_1","first-page":"1","article-title":"A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks","volume":"99","author":"Bartocci E.","year":"2016","unstructured":"E. Bartocci , E. Aydin-Gol , I. Haghighi , and C. Belta . 2016 . A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks . IEEE Transactions on Control of Network Systems PP , 99 (2016), 1 -- 1 . E. Bartocci, E. Aydin-Gol, I. Haghighi, and C. Belta. 2016. A Formal Methods Approach to Pattern Recognition and Synthesis in Reaction Diffusion Networks. IEEE Transactions on Control of Network Systems PP, 99 (2016), 1--1.","journal-title":"IEEE Transactions on Control of Network Systems PP"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1020083231504"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/256303.256306"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/TIME.2010.22"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00137-8"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-34096-8_6"},{"key":"e_1_3_2_1_9_1","volume-title":"Classe des sciences math\u00e9matiques et naturelles 6","author":"Delaunay B.","year":"1934","unstructured":"B. Delaunay . 1934. Sur la sph\u00e9re vide. Bulletin de l'Acad\u00e9mie des Sciences de l'URSS , Classe des sciences math\u00e9matiques et naturelles 6 ( 1934 ), 793--800. B. Delaunay. 1934. Sur la sph\u00e9re vide. Bulletin de l'Acad\u00e9mie des Sciences de l'URSS, Classe des sciences math\u00e9matiques et naturelles 6 (1934), 793--800."},{"key":"e_1_3_2_1_10_1","volume-title":"Proc. of RV 2015: the 6th International Conference on Runtime Verification (LNCS)","volume":"9333","author":"Deshmukh J. V.","unstructured":"J. V. Deshmukh , A. Donz\u00e9 , S. Ghosh , X. Jin , G. Juniwal , and S. A. Seshia . 2015. Robust Online Monitoring of Signal Temporal Logic . In Proc. of RV 2015: the 6th International Conference on Runtime Verification (LNCS) , Vol. 9333 . Springer, 55--70. J. V. Deshmukh, A. Donz\u00e9, S. Ghosh, X. Jin, G. Juniwal, and S. A. Seshia. 2015. Robust Online Monitoring of Signal Temporal Logic. In Proc. of RV 2015: the 6th International Conference on Runtime Verification (LNCS), Vol. 9333. Springer, 55--70."},{"volume-title":"Proc. of CAV 2013: the 25th International Conference on Computer Aided Verification (LNCS). 264--279","author":"Donz\u00e9 A.","key":"e_1_3_2_1_11_1","unstructured":"A. Donz\u00e9 , T. Ferrer , and O. Maler . 2013. Efficient Robust Monitoring for STL . In Proc. of CAV 2013: the 25th International Conference on Computer Aided Verification (LNCS). 264--279 . A. Donz\u00e9, T. Ferrer, and O. Maler. 2013. Efficient Robust Monitoring for STL. In Proc. of CAV 2013: the 25th International Conference on Computer Aided Verification (LNCS). 264--279."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1467247.1467271"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2728606.2728633"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2005.08.006"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-012-0247-9"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1093\/logcom\/9.6.897"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2668332.2668353"},{"key":"e_1_3_2_1_18_1","volume-title":"Proc. of RV 2015: the 6th International Conference on Runtime Verification (LNCS)","volume":"9333","author":"Nenzi L.","unstructured":"L. Nenzi , L. Bortolussi , V. Ciancia , M. Loreti , and M. Massink . 2015. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties . In Proc. of RV 2015: the 6th International Conference on Runtime Verification (LNCS) , Vol. 9333 . Springer, 21--37. L. Nenzi, L. Bortolussi, V. Ciancia, M. Loreti, and M. Massink. 2015. Qualitative and Quantitative Monitoring of Spatio-Temporal Properties. In Proc. of RV 2015: the 6th International Conference on Runtime Verification (LNCS), Vol. 9333. Springer, 21--37."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89437-7_6"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICDCSW.2009.82"}],"event":{"name":"MEMOCODE '17: 15th ACM-IEEE International Conference on Formal Methods and Models for System Design","sponsor":["SIGBED ACM Special Interest Group on Embedded Systems","SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CEDA"],"location":"Vienna Austria","acronym":"MEMOCODE '17"},"container-title":["Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3127041.3127050","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3127041.3127050","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:11:06Z","timestamp":1750212666000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3127041.3127050"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,29]]},"references-count":20,"alternative-id":["10.1145\/3127041.3127050","10.1145\/3127041"],"URL":"https:\/\/doi.org\/10.1145\/3127041.3127050","relation":{},"subject":[],"published":{"date-parts":[[2017,9,29]]},"assertion":[{"value":"2017-09-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}