{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T16:21:40Z","timestamp":1759335700375,"version":"3.28.0"},"reference-count":18,"publisher":"IEEE","license":[{"start":{"date-parts":[[2024,1,3]],"date-time":"2024-01-03T00:00:00Z","timestamp":1704240000000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2024,1,3]],"date-time":"2024-01-03T00:00:00Z","timestamp":1704240000000},"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":[[2024,1,3]]},"DOI":"10.1109\/comsnets59351.2024.10427233","type":"proceedings-article","created":{"date-parts":[[2024,2,16]],"date-time":"2024-02-16T18:55:32Z","timestamp":1708109732000},"page":"1106-1111","source":"Crossref","is-referenced-by-count":1,"title":["STRIVE: A Co-Simulation-Based Testing Platform Enhanced with Runtime Monitors"],"prefix":"10.1109","author":[{"given":"Praanav","family":"Paatil","sequence":"first","affiliation":[{"name":"VORTEX-CoLab,Vila Nova de Gaia,Portugal"}]},{"given":"Daryna","family":"Datsenko","sequence":"additional","affiliation":[{"name":"VORTEX-CoLab,Vila Nova de Gaia,Portugal"}]},{"given":"M\u00e1rio","family":"Cardoso","sequence":"additional","affiliation":[{"name":"VORTEX-CoLab,Vila Nova de Gaia,Portugal"}]},{"given":"Ana","family":"Sousa","sequence":"additional","affiliation":[{"name":"VORTEX-CoLab,Vila Nova de Gaia,Portugal"}]},{"given":"Andr\u00e9 Matos","family":"Pedro","sequence":"additional","affiliation":[{"name":"VORTEX-CoLab,Vila Nova de Gaia,Portugal"}]}],"member":"263","reference":[{"article-title":"OpenSCENARIO","volume-title":"Association for Standardisation of Automation and Measuring Systems","year":"2023","key":"ref1"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-88494-9_18"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.3384\/ecp12076173"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.4271\/2021-01-0111"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IROS45743.2020.9341085"},{"key":"ref6","first-page":"155","article-title":"Monitoring of spatio-temporal properties with nonlinear SAT solvers","volume-title":"FMICS, ser. Lecture Notes in Computer Science","volume":"13487","author":"de Matos Pedro","year":"2022"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ITSC.2019.8917326"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2021.12.316"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2018.8500406"},{"volume-title":"Vienna convention on road traffic","year":"1968","author":"Nations","key":"ref10"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-59152-6_34"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/MTITS.2015.7223293"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/icmech.2019.8722847"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2021.3123504"},{"key":"ref15","first-page":"304","article-title":"Runtime verification for fmibased co-simulation","volume-title":"RV, ser.Lecture Notes in Computer Science","volume":"13498","author":"Temperekidis","year":"2022"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICCVE45908.2019.8965161"},{"key":"ref17","first-page":"1155","article-title":"Opencda: An open cooperative driving automation framework integrated with cosimulation","volume-title":"ITSC","author":"Xu","year":"2021"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-60508-7_9"}],"event":{"name":"2024 16th International Conference on COMmunication Systems & NETworkS (COMSNETS)","start":{"date-parts":[[2024,1,3]]},"location":"Bengaluru, India","end":{"date-parts":[[2024,1,7]]}},"container-title":["2024 16th International Conference on COMmunication Systems & NETworkS (COMSNETS)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10426746\/10426785\/10427233.pdf?arnumber=10427233","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,3]],"date-time":"2024-03-03T14:11:17Z","timestamp":1709475077000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10427233\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,1,3]]},"references-count":18,"URL":"https:\/\/doi.org\/10.1109\/comsnets59351.2024.10427233","relation":{},"subject":[],"published":{"date-parts":[[2024,1,3]]}}}