{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:19:42Z","timestamp":1750220382620,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":20,"publisher":"ACM","license":[{"start":{"date-parts":[[2021,7,11]],"date-time":"2021-07-11T00:00:00Z","timestamp":1625961600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2021,7,12]]},"DOI":"10.1145\/3464974.3468445","type":"proceedings-article","created":{"date-parts":[[2021,7,12]],"date-time":"2021-07-12T00:13:03Z","timestamp":1626048783000},"page":"13-16","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["RM for users\u2019 safety and security in the built environment"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2319-0375","authenticated-orcid":false,"given":"Giorgio","family":"Audrito","sequence":"first","affiliation":[{"name":"University of Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[{"name":"University of Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Giuseppe","family":"Di Giuda","sequence":"additional","affiliation":[{"name":"University of Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Silvia","family":"Meschini","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Laura","family":"Pellegrini","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elena","family":"Seghezzi","sequence":"additional","affiliation":[{"name":"Politecnico di Milano, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lavinia Chiara","family":"Tagliabue","sequence":"additional","affiliation":[{"name":"University of Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lorenzo","family":"Testa","sequence":"additional","affiliation":[{"name":"Reply, Italy \/ University of Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4276-7213","authenticated-orcid":false,"given":"Gianluca","family":"Torta","sequence":"additional","affiliation":[{"name":"University of Turin, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2021,7,11]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSOS49614.2020.00037"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.110908"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.302.4"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2018.06.002"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3285956"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.261"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1080\/15623599.2020.1847405"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44602-7_18"},{"volume-title":"Logics of Programs","author":"Clarke Edmund M.","key":"e_1_3_2_1_9_1","unstructured":"Edmund M. Clarke and E. Allen Emerson . 1982. Design and synthesis of synchronization skeletons using branching time temporal logic . In Logics of Programs , Dexter Kozen (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg . 52\u201371. isbn:978-3-540-39047-3 Edmund M. Clarke and E. Allen Emerson. 1982. Design and synthesis of synchronization skeletons using branching time temporal logic. In Logics of Programs, Dexter Kozen (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg. 52\u201371. isbn:978-3-540-39047-3"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1109\/ISCC50000.2020.9219634"},{"key":"e_1_3_2_1_11_1","unstructured":"Fondazione Agnelli. 2020. Spazio alla scuola. https:\/\/www.fondazioneagnelli.it\/2020\/07\/17\/spazio-alla-scuola\/  Fondazione Agnelli. 2020. Spazio alla scuola. https:\/\/www.fondazioneagnelli.it\/2020\/07\/17\/spazio-alla-scuola\/"},{"key":"e_1_3_2_1_12_1","unstructured":"Maanak Gupta Mahmoud Abdelsalam and Sudip Mittal. 2020. Enabling and Enforcing Social Distancing Measures using Smart City and ITS Infrastructures: A COVID-19 Use Case. arxiv:2004.09246.  Maanak Gupta Mahmoud Abdelsalam and Sudip Mittal. 2020. Enabling and Enforcing Social Distancing Measures using Smart City and ITS Infrastructures: A COVID-19 Use Case. arxiv:2004.09246."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.enbuild.2008.09.008"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.autcon.2008.08.002"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)CO.1943-7862.0001223"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.buildenv.2019.01.001"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.3389\/fenrg.2020.576462"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/SFCS.1977.32"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1061\/(ASCE)CO.1943-7862.0001420"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.3390\/app11073108"}],"event":{"name":"ISSTA '21: 30th ACM SIGSOFT International Symposium on Software Testing and Analysis","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Virtual Denmark","acronym":"ISSTA '21"},"container-title":["Proceedings of the 5th ACM International Workshop on Verification and mOnitoring at Runtime EXecution"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3464974.3468445","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3464974.3468445","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:18:25Z","timestamp":1750191505000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3464974.3468445"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021,7,11]]},"references-count":20,"alternative-id":["10.1145\/3464974.3468445","10.1145\/3464974"],"URL":"https:\/\/doi.org\/10.1145\/3464974.3468445","relation":{},"subject":[],"published":{"date-parts":[[2021,7,11]]},"assertion":[{"value":"2021-07-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}