{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,17]],"date-time":"2026-05-17T02:01:53Z","timestamp":1778983313678,"version":"3.51.4"},"reference-count":32,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"6","license":[{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T00:00:00Z","timestamp":1654041600000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-037"}],"funder":[{"name":"MIUR\u2014SecureOpenNets, EU SPARTA, CyberSANE, and E-CORRIDOR Projects"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEEE Trans. Intell. Transport. Syst."],"published-print":{"date-parts":[[2022,6]]},"DOI":"10.1109\/tits.2021.3055347","type":"journal-article","created":{"date-parts":[[2021,2,13]],"date-time":"2021-02-13T02:14:02Z","timestamp":1613182442000},"page":"5625-5637","source":"Crossref","is-referenced-by-count":10,"title":["Driver Identification Through Formal Methods"],"prefix":"10.1109","volume":"23","author":[{"given":"Fabio","family":"Martinelli","sequence":"first","affiliation":[{"name":"Institute for Informatics and Telematics, National Research Council of Italy (CNR), Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9425-1657","authenticated-orcid":false,"given":"Francesco","family":"Mercaldo","sequence":"additional","affiliation":[{"name":"Institute for Informatics and Telematics, National Research Council of Italy (CNR), Pisa, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vittoria","family":"Nardone","sequence":"additional","affiliation":[{"name":"Department of Engineering, University of Sannio, Benevento, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-2634-4456","authenticated-orcid":false,"given":"Antonella","family":"Santone","sequence":"additional","affiliation":[{"name":"Department of Medicine and Health Sciences “Vincenzo Tiberio,” University of Molise, Campobasso, Italy"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref1","first-page":"1","article-title":"Overview of platooning systems","volume-title":"Proc. 19th ITS World Congr.","author":"Bergenhem"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-981-10-8681-6_1"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/319382.319388"},{"key":"ref4","first-page":"3","article-title":"Supervised machine learning: A review of classification techniques","volume":"160","author":"Kotsiantis","year":"2007","journal-title":"Emerg. Artif. Intell. Appl. Comput. Eng."},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0416-2"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1013886.1007526"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2000.873645"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1093\/ietisy\/e89-d.3.1188"},{"issue":"3","key":"ref9","first-page":"194","article-title":"A study of individual characteristics of driving behavior based on hidden Markov model","volume":"167","author":"Zhang","year":"2014","journal-title":"Sensors Transducers"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1515\/popets-2015-0029"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/IVS.2013.6629603"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2006.888405"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-45976-9_3"},{"key":"ref14","first-page":"17","article-title":"Analysis and classification of driver behavior using in-vehicle can-bus information","volume-title":"Proc. Biennial Workshop DSP-Vehicle Mobile Syst.","author":"Choi"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1109\/PST.2016.7906929"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2012.01.077"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/ROBIO.2006.340166"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1016\/j.compeleceng.2017.12.050"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1109\/TNN.2008.2007906"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.2006.1661427"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/ICT4M.2010.5971922"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/FUZZ-IEEE.2017.8015464"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2010.34"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2016.2634938"},{"key":"ref25","volume-title":"Getting to Know OBD II","author":"Birnbaum","year":"2001"},{"key":"ref26","volume-title":"On-Board Diag. for Light Medium Duty Vehicles Standards Manual","year":"1999"},{"key":"ref27","volume-title":"Communication and Concurrency","author":"Milner","year":"1989"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-53932-8_41"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-25150-9_33"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1016\/B978-1-55860-377-6.50032-3"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1016\/j.mri.2019.08.030"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1016\/j.procs.2019.09.313"}],"container-title":["IEEE Transactions on Intelligent Transportation Systems"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6979\/9784950\/09352487.pdf?arnumber=9352487","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,1,9]],"date-time":"2024-01-09T23:24:22Z","timestamp":1704842662000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9352487\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6]]},"references-count":32,"journal-issue":{"issue":"6"},"URL":"https:\/\/doi.org\/10.1109\/tits.2021.3055347","relation":{},"ISSN":["1524-9050","1558-0016"],"issn-type":[{"value":"1524-9050","type":"print"},{"value":"1558-0016","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,6]]}}}