{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,3]],"date-time":"2025-09-03T11:07:58Z","timestamp":1756897678098,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","license":[{"start":{"date-parts":[[2023,6,6]],"date-time":"2023-06-06T00:00:00Z","timestamp":1686009600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2023,6,6]],"date-time":"2023-06-06T00:00:00Z","timestamp":1686009600000},"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,6,6]]},"DOI":"10.1109\/meco58584.2023.10155027","type":"proceedings-article","created":{"date-parts":[[2023,6,26]],"date-time":"2023-06-26T18:06:51Z","timestamp":1687802811000},"page":"1-7","source":"Crossref","is-referenced-by-count":2,"title":["Software-Based Fault-Detection Technique for Object Tracking in Autonomous Vehicles"],"prefix":"10.1109","author":[{"given":"Alessio","family":"Medaglini","sequence":"first","affiliation":[{"name":"University of Siena,Siena,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandro","family":"Bartolini","sequence":"additional","affiliation":[{"name":"University of Siena,Siena,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gianluca","family":"Mand\u00f3","sequence":"additional","affiliation":[{"name":"Thales Italy,Sesto Fiorentino,Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eduardo","family":"Quinones","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center,Barcelona,Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sara","family":"Royuela","sequence":"additional","affiliation":[{"name":"Barcelona Supercomputing Center,Barcelona,Spain"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2008.62"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1145\/1081081.1081138"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/DSD57027.2022.00092"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.7873\/DATE.2013.194"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TrustCom.2011.158"},{"key":"ref10","article-title":"NonStop\/spl reg\/advanced architecture","author":"bernick","year":"2005","journal-title":"International Conference on Dependable Systems and Networks (DSN'06)"},{"key":"ref2","article-title":"Fault tolerant motor drive system with re-dundancy for critical applications","volume":"3","author":"ertugrul","year":"2002","journal-title":"IEEE Power Electronics Specialists Conference"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1109\/TIE.2011.2159356"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/349194.349197"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1109\/ICSESS.2017.8342921"},{"journal-title":"A survey of challenges for runtime verification from advanced application domains (beyond software)","year":"2018","author":"s\u00e1nchez","key":"ref19"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(04)00252-X"},{"key":"ref24","article-title":"A survey on fault injection techniques","volume":"1","author":"ziade","year":"2004","journal-title":"Int Arab J Inf Technol"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/s12544-011-0068-z"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/2841425"},{"journal-title":"Estimation and Tracking Principle Techniques and Software","year":"1993","author":"bar-shalom","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1088\/1757-899X\/603\/4\/042053"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1002\/acs.2571"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1109\/ACCESS.2022.3144217"},{"key":"ref7","doi-asserted-by":"crossref","DOI":"10.1117\/12.280797","article-title":"New extension of the Kalman filter to nonlinear systems","volume":"3068","author":"julier","year":"1997","journal-title":"Signal Processing Sensor Fusion and Target Recognition VI"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1109\/AERO.1996.495891"},{"journal-title":"Formal verification of cyber-physical systems in the industrial model-based design process modeling and simulation","year":"2018","author":"kekatos","key":"ref4"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1142\/S0218539311004093"},{"journal-title":"Introduction to the Theory of Traffic Flow","year":"2012","author":"leutzbach","key":"ref6"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4842-2838-8_13"}],"event":{"name":"2023 12th Mediterranean Conference on Embedded Computing (MECO)","start":{"date-parts":[[2023,6,6]]},"location":"Budva, Montenegro","end":{"date-parts":[[2023,6,10]]}},"container-title":["2023 12th Mediterranean Conference on Embedded Computing (MECO)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/10154895\/10154897\/10155027.pdf?arnumber=10155027","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,17]],"date-time":"2023-07-17T17:31:31Z","timestamp":1689615091000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10155027\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023,6,6]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/meco58584.2023.10155027","relation":{},"subject":[],"published":{"date-parts":[[2023,6,6]]}}}