{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T16:53:47Z","timestamp":1725728027500},"reference-count":19,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,11,21]],"date-time":"2023-11-21T00:00:00Z","timestamp":1700524800000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,11,21]],"date-time":"2023-11-21T00:00:00Z","timestamp":1700524800000},"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":[[2023,11,21]]},"DOI":"10.1109\/sbesc60926.2023.10324280","type":"proceedings-article","created":{"date-parts":[[2023,11,24]],"date-time":"2023-11-24T13:50:26Z","timestamp":1700833826000},"page":"1-6","source":"Crossref","is-referenced-by-count":0,"title":["Data-Centric Design for Formal Verification of Vehicle Monitoring"],"prefix":"10.1109","author":[{"given":"Jos\u00e9 Luis Conradi","family":"Hoffmann","sequence":"first","affiliation":[{"name":"Federal University of Santa Catarina,Software\/Hardware Integration Lab - LISHA,Florianópolis,SC,Brasil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ant\u00f4nio Augusto","family":"Fr\u00f6hlich","sequence":"additional","affiliation":[{"name":"Federal University of Santa Catarina,Software\/Hardware Integration Lab - LISHA,Florianópolis,SC,Brasil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2002.805821"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2010.5457125"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2010.5548121"},{"article-title":"On a formal model of safe and scalable self-driving cars","year":"2017","author":"shalev-shwartz","key":"ref14"},{"year":"2019","key":"ref11","article-title":"ISO 21448: Road vehicles – safety of the intended functionality"},{"year":"2018","key":"ref10","article-title":"ISO 2626: Road vehicles – functional safety"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2018.2866403"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/MVT.2018.2811185"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MC.2021.3078694"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2019.8813875"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3390\/s23042319"},{"article-title":"From english to signal temporal logic","year":"2021","author":"he","key":"ref18"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1186\/s13173-019-0094-6"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ICSA-C52384.2021.00036"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/TIV.2022.3170517"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1504\/IJSNET.2018.096264"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2016.2633961"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"152","DOI":"10.1007\/978-3-540-30206-3_12","article-title":"Monitoring temporal properties of continuous signals","author":"maler","year":"2004","journal-title":"Formal Techniques Modelling and Analysis of Timed and Fault-Tolerant Systems"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/IECON49645.2022.9969074"}],"event":{"name":"2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC)","start":{"date-parts":[[2023,11,21]]},"location":"Porto Alegre, Brazil","end":{"date-parts":[[2023,11,24]]}},"container-title":["2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10323601\/10324003\/10324280.pdf?arnumber=10324280","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,11,30]],"date-time":"2023-11-30T18:12:54Z","timestamp":1701367974000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10324280\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,11,21]]},"references-count":19,"URL":"https:\/\/doi.org\/10.1109\/sbesc60926.2023.10324280","relation":{},"subject":[],"published":{"date-parts":[[2023,11,21]]}}}