{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T00:38:30Z","timestamp":1775003910366,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T00:00:00Z","timestamp":1726185600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-sa\/4.0\/"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2024,9,13]]},"DOI":"10.1145\/3679008.3685545","type":"proceedings-article","created":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T07:14:09Z","timestamp":1726211649000},"page":"32-37","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Real-Time Guarantees for SLCS Monitors in XC"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-2319-0375","authenticated-orcid":false,"given":"Giorgio","family":"Audrito","sequence":"first","affiliation":[{"name":"Universit\u00e0 di Torino, Turin, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-8109-1706","authenticated-orcid":false,"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Torino, Turin, Italy"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4276-7213","authenticated-orcid":false,"given":"Gianluca","family":"Torta","sequence":"additional","affiliation":[{"name":"Universit\u00e0 di Torino, Turin, Italy"}]}],"member":"320","published-online":{"date-parts":[[2024,9,13]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/3679008.3685544"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSOS49614.2020.00037"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-92408-3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPICS.ECOOP.2022.20"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.JSS.2024.111976"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2021.110908"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSOS-C52956.2021.00042"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2022.111251"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-19759-8_19"},{"key":"e_1_3_2_1_10_1","volume-title":"Towards Real-Time Aggregate Computing. 12th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA","author":"Audrito Giorgio","year":"2024","unstructured":"Giorgio Audrito, Ferruccio Damiani, and Gianluca Torta. 2024. Towards Real-Time Aggregate Computing. 12th International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2024). To appear"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-08143-9_4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.SCICO.2023.103026"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","unstructured":"Jacob Beal Stefan Dulman Kyle Usbeck Mirko Viroli and Nikolaus Correll. 2013. Organizing the Aggregate: Languages for Spatial Computing. In Formal and Practical Aspects of Domain-Specific Languages: Recent Developments. IGI Global 436\u2013501. isbn:978-1-4666-2092-6 https:\/\/doi.org\/10.4018\/978-1-4666-2092-6.ch016 10.4018\/978-1-4666-2092-6.ch016","DOI":"10.4018\/978-1-4666-2092-6.ch016"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2015.261"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/ACSOS-C58168.2023.00032"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2957319.2957372"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1016\/J.SOFTX.2022.101248"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-44602-7_18"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-75632-5_6"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3019612.3019827"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/359545.359563"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlap.2008.08.004"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1109\/IPDPS.2015.95"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.23638\/LMCS-14(4:2)2018"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","unstructured":"Tommy Tracy Lucas M. Tabajara Moshe Vardi and Kevin Skadron. 2020. Runtime Verification on FPGAs with LTLf Specifications. In 2020 Formal Methods in Computer Aided Design (FMCAD). 36\u201346. https:\/\/doi.org\/10.34727\/2020\/isbn.978-3-85448-042-6_10 10.34727\/2020\/isbn.978-3-85448-042-6_10","DOI":"10.34727\/2020"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jlamp.2019.100486"}],"event":{"name":"VORTEX '24: 7th ACM International Workshop on Verification and Monitoring at Runtime Execution","location":"Vienna Austria","acronym":"VORTEX '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3679008.3685545","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3679008.3685545","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:58:14Z","timestamp":1750294694000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3679008.3685545"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,13]]},"references-count":26,"alternative-id":["10.1145\/3679008.3685545","10.1145\/3679008"],"URL":"https:\/\/doi.org\/10.1145\/3679008.3685545","relation":{},"subject":[],"published":{"date-parts":[[2024,9,13]]},"assertion":[{"value":"2024-09-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}