{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,18]],"date-time":"2025-09-18T10:35:42Z","timestamp":1758191742926,"version":"3.44.0"},"reference-count":11,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T00:00:00Z","timestamp":1748217600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T00:00:00Z","timestamp":1748217600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,5,26]]},"DOI":"10.1109\/ichms65439.2025.11154242","type":"proceedings-article","created":{"date-parts":[[2025,9,17]],"date-time":"2025-09-17T17:29:13Z","timestamp":1758130153000},"page":"315-318","source":"Crossref","is-referenced-by-count":0,"title":["Aggregate Runtime Verification for Emergency Healthcare in Crowded Events"],"prefix":"10.1109","author":[{"given":"Gianluca","family":"Torta","sequence":"first","affiliation":[{"name":"Università di Torino,Dipartimento di Informatica,Turin,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluca","family":"Aguzzi","sequence":"additional","affiliation":[{"name":"Alma Mater Studiorum - Università di Bologna,Dipartimento di Informatica - Scienza e Ingegneria,Bologna,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[{"name":"Università di Torino,Dipartimento di Informatica,Turin,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mirko","family":"Viroli","sequence":"additional","affiliation":[{"name":"Alma Mater Studiorum - Università di Bologna,Dipartimento di Informatica - Scienza e Ingegneria,Bologna,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"crossref","DOI":"10.1038\/s41746-021-00418-3","article-title":"The emerging clinical role of wearables: factors for successful implementation in healthcare","volume":"4","author":"Smuck","year":"2021","journal-title":"npj Digit. Medicine"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/percom.2011.5767593"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/tase.2018.2874487"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1016\/j.cmpb.2021.106541"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.110908"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1109\/mc.2015.261"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111251"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1016\/j.softx.2022.101248"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2023.103026"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/FAS-W.2019.00034"}],"event":{"name":"2025 IEEE 5th International Conference on Human-Machine Systems (ICHMS)","start":{"date-parts":[[2025,5,26]]},"location":"Abu Dhabi, United Arab Emirates","end":{"date-parts":[[2025,5,28]]}},"container-title":["2025 IEEE 5th International Conference on Human-Machine Systems (ICHMS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/11154123\/11153975\/11154242.pdf?arnumber=11154242","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,9,18]],"date-time":"2025-09-18T05:15:00Z","timestamp":1758172500000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/11154242\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,26]]},"references-count":11,"URL":"https:\/\/doi.org\/10.1109\/ichms65439.2025.11154242","relation":{},"subject":[],"published":{"date-parts":[[2025,5,26]]}}}