{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,13]],"date-time":"2025-09-13T16:27:40Z","timestamp":1757780860866,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319992280"},{"type":"electronic","value":"9783319992297"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-319-99229-7_32","type":"book-chapter","created":{"date-parts":[[2018,8,20]],"date-time":"2018-08-20T10:32:58Z","timestamp":1534761178000},"page":"374-386","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Real-Time Driver Behaviour Characterization Through Rule-Based Machine Learning"],"prefix":"10.1007","author":[{"given":"Fabio","family":"Martinelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Francesco","family":"Mercaldo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vittoria","family":"Nardone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonella","family":"Santone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gigliola","family":"Vaglini","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,8,21]]},"reference":[{"key":"32_CR1","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1155\/2018\/1758731","volume":"2018","author":"ML Bernardi","year":"2018","unstructured":"Bernardi, M.L., Cimitile, M., Martinelli, F., Mercaldo, F.: Driver and path detection through time-series classification. J. Adv. Transp. 2018, 20 (2018)","journal-title":"J. Adv. Transp."},{"key":"32_CR2","doi-asserted-by":"publisher","unstructured":"Canfora, G., Martinelli, F., Mercaldo, F., Nardone, V., Santone, A., Visaggio, C.: LEILA: formal tool for identifying mobile malicious behaviour. IEEE Trans. Softw. Eng. (2018). https:\/\/doi.org\/10.1109\/TSE.2018.2834344","DOI":"10.1109\/TSE.2018.2834344"},{"issue":"3","key":"32_CR3","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1016\/j.ymeth.2014.06.005","volume":"69","author":"M Ceccarelli","year":"2014","unstructured":"Ceccarelli, M., Cerulo, L., Santone, A.: De novo reconstruction of gene regulatory networks from time series data, an approach based on formal methods. Methods 69(3), 298\u2013305 (2014)","journal-title":"Methods"},{"key":"32_CR4","doi-asserted-by":"crossref","unstructured":"Cimitile, A., Mercaldo, F., Nardone, V., Santone, A., Visaggio, C.A.: Talos: no more ransomware victims with formal methods. Int. J. Inf. Secur. 1\u201320 (2017)","DOI":"10.1007\/s10207-017-0398-5"},{"issue":"2","key":"32_CR5","doi-asserted-by":"publisher","first-page":"513","DOI":"10.1007\/s10270-014-0416-2","volume":"15","author":"N De Francesco","year":"2016","unstructured":"De Francesco, N., Lettieri, G., Santone, A., Vaglini, G.: Heuristic search for equivalence checking. Softw. Syst. Model. 15(2), 513\u2013530 (2016)","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"32_CR6","first-page":"34","volume":"2016","author":"M Enev","year":"2016","unstructured":"Enev, M., Takakuwa, A., Koscher, K., Kohno, T.: Automobile driver fingerprinting. Proc. Priv. Enhanc. Technol. 2016(1), 34\u201350 (2016)","journal-title":"Proc. Priv. Enhanc. Technol."},{"key":"32_CR7","doi-asserted-by":"crossref","unstructured":"Kwak, B.I., Woo, J., Kim, H.K.: Know your master: driver profiling-based anti-theft method. In: PST, vol. 2016, pp. 211\u2013218 (2016)","DOI":"10.1109\/PST.2016.7906929"},{"key":"32_CR8","unstructured":"Martin, B.: Instance-based learning: nearest neighbor with generalization [thesis] (1995)"},{"key":"32_CR9","doi-asserted-by":"crossref","unstructured":"Martinelli, F., Mercaldo, F., Nardone, V., Orlando, A., Santone, A.: Who\u2019s driving my car? A machine learning based approach to driver identification (2018)","DOI":"10.5220\/0006633403670372"},{"key":"32_CR10","doi-asserted-by":"crossref","unstructured":"Martinelli, F., Mercaldo, F., Nardone, V., Santone, A.: Car hacking identification through fuzzy logic algorithms. In: 2017 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE), pp. 1\u20137. IEEE (2017)","DOI":"10.1109\/FUZZ-IEEE.2017.8015464"},{"key":"32_CR11","unstructured":"Martinelli, F., Mercaldo, F., Orlando, A., Nardone, V., Santone, A., Sangaiah, A.K.: Human behavior characterization for driving style recognition in vehicle system. Comput. Electr. Eng. (2018)"},{"key":"32_CR12","doi-asserted-by":"crossref","unstructured":"Mercaldo, F., Nardone, V., Santone, A., Visaggio, C.A.: Download malware? No, thanks. how formal methods can block update attacks. In: 2016 IEEE\/ACM 4th FME Workshop on Formal Methods in Software Engineering (FormaliSE), pp. 22\u201328. IEEE (2016)","DOI":"10.1145\/2897667.2897673"},{"key":"32_CR13","doi-asserted-by":"crossref","unstructured":"Miyajima, C., Nishiwaki, Y., Ozawa, K., Wakita, T., Itou, K., Takeda, K.: Cepstral analysis of driving behavioral signals for driver identification. In: 2006 IEEE International Conference on Acoustics, Speech and Signal Processing, 2006. ICASSP 2006 Proceedings, vol. 5, pp. V\u2013V. IEEE (2006)","DOI":"10.1109\/ICASSP.2006.1661427"},{"key":"32_CR14","doi-asserted-by":"crossref","unstructured":"Nor, N.M., Wahab, A.: Driver identification and driver\u2019s emotion verification using KDE and MLP neural networks. In: 2010 International Conference on Information and Communication Technology for the Muslim World (ICT4M), pp. E96\u2013E101. IEEE (2010)","DOI":"10.1109\/ICT4M.2010.5971922"},{"key":"32_CR15","unstructured":"Powers, D.M.: Evaluation: from precision, recall and F-measure to ROC, informedness, markedness and correlation (2011)"},{"key":"32_CR16","unstructured":"Roy, S.: Nearest neighbor with generalization. Christchurch, New Zealand (2002)"},{"issue":"1","key":"32_CR17","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1016\/S0034-4257(97)00083-7","volume":"62","author":"SV Stehman","year":"1997","unstructured":"Stehman, S.V.: Selecting and interpreting measures of thematic classification accuracy. Remote Sens. Environ. 62(1), 77\u201389 (1997)","journal-title":"Remote Sens. Environ."}],"container-title":["Lecture Notes in Computer Science","Computer Safety, Reliability, and Security"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99229-7_32","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,5]],"date-time":"2025-04-05T20:51:23Z","timestamp":1743886283000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-99229-7_32"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319992280","9783319992297"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99229-7_32","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"21 August 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SAFECOMP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Computer Safety, Reliability, and Security","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"V\u00e4ster\u00e5s","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 September 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 September 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"37","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"safecomp2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.es.mdh.se\/safecomp2018\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"62","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"19","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"31% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}