{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,3]],"date-time":"2025-12-03T17:48:41Z","timestamp":1764784121045,"version":"3.40.3"},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319986531"},{"type":"electronic","value":"9783319986548"}],"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-99130-6_4","type":"book-chapter","created":{"date-parts":[[2018,8,16]],"date-time":"2018-08-16T08:33:48Z","timestamp":1534408428000},"page":"45-58","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":31,"title":["Structuring Validation Targets of a Machine Learning Function Applied to Automated Driving"],"prefix":"10.1007","author":[{"given":"Lydia","family":"Gauerhof","sequence":"first","affiliation":[]},{"given":"Peter","family":"Munk","sequence":"additional","affiliation":[]},{"given":"Simon","family":"Burton","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,8,17]]},"reference":[{"issue":"1","key":"4_CR1","doi-asserted-by":"publisher","first-page":"152","DOI":"10.1109\/TVCG.2017.2744683","volume":"24","author":"B Alsallakhl","year":"2018","unstructured":"Alsallakhl, B., Jourabloo, A., Ye, M., Liu, X., Ren, L.: Do convolutional neural networks learn class hierarchy? IEEE Trans. Vis. Comput. Graph. 24(1), 152\u2013162 (2018). \n                      https:\/\/doi.org\/10.1109\/TVCG.2017.2744683","journal-title":"IEEE Trans. Vis. Comput. Graph."},{"key":"4_CR2","doi-asserted-by":"crossref","unstructured":"Amarnath, R., Munk, P., Thaden, E., Nordmann, A., Burton, S.: Dependability challenges in the model-driven engineering of automotive systems. In: 2016 IEEE International Symposium on Software Reliability Engineering Workshops, ISSREW, pp. 1\u20134, October 2016","DOI":"10.1109\/ISSREW.2016.15"},{"key":"4_CR3","unstructured":"Bergenhem, C., et al.: How to reach complete safety requirement refinement for autonomous vehicles. Technical report, CARS 2015 - Critical Automotive Applications: Robustness & Safety, Paris, France, September 2015"},{"key":"4_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1007\/978-3-319-66284-8_1","volume-title":"Computer Safety, Reliability, and Security","author":"S Burton","year":"2017","unstructured":"Burton, S., Gauerhof, L., Heinzemann, C.: Making the case for safety of machine learning in highly automated driving. In: Tonetta, S., Schoitsch, E., Bitsch, F. (eds.) SAFECOMP 2017. LNCS, vol. 10489, pp. 5\u201316. Springer, Cham (2017). \n                      https:\/\/doi.org\/10.1007\/978-3-319-66284-8_1"},{"key":"4_CR5","unstructured":"Evtimov, I., et al.: Robust physical-world attacks on deep learning models. Cryptography and Security (2017). \n                      https:\/\/arxiv.org\/abs\/1707.08945"},{"key":"4_CR6","unstructured":"Goodfellow, I.J., Shlens, J., Szegedy, C.: Explaining and harnessing adversarial examples (2015). \n                      https:\/\/arxiv.org\/abs\/1412.6572"},{"key":"4_CR7","unstructured":"Katz, G., Barrett, C., Dill, D., Julian, K., Kochenderfer, M.: Reluplex: an efficient SMT solver for verifying deep neural networks. Technical report. Stanford University, USA (2017). \n                      https:\/\/arxiv.org\/pdf\/1702.01135.pdf"},{"key":"4_CR8","unstructured":"Kendall, A., Gal, Y.: What uncertainties do we need in Bayesian deep learning for computer vision? (2017). \n                      http:\/\/arxiv.org\/abs\/1703.04977"},{"key":"4_CR9","doi-asserted-by":"publisher","first-page":"15","DOI":"10.4271\/2016-01-0128","volume":"4","author":"P Koopman","year":"2016","unstructured":"Koopman, P., Wagner, M.: Challenges in autonomous vehicle testing and validation. SAE Int. J. Trans. Saf. 4, 15\u201324 (2016). \n                      https:\/\/doi.org\/10.4271\/2016-01-0128","journal-title":"SAE Int. J. Trans. Saf."},{"key":"4_CR10","unstructured":"Krizhevsky, A., Sutskever, I., Hinton., G.E.: ImageNet classification with deep convolutional neural networks. In: Advances in Neural Information Processing Systems, pp. 1097\u20131105 (2012)"},{"key":"4_CR11","unstructured":"Leveson, N.: \n                      http:\/\/psas.scripts.mit.edu\/home\/2016-stamp-workshop\/"},{"key":"4_CR12","volume-title":"Engineering a Safer World: Systems Thinking Applied to Safety","author":"NG Leveson","year":"2011","unstructured":"Leveson, N.G.: Engineering a Safer World: Systems Thinking Applied to Safety. The MIT Press, Cambridge (2011)"},{"key":"4_CR13","unstructured":"Nguyen, A.M., Yosinski, J., Clune, J.: Multifaceted feature visualization: uncovering the different types of features learned by each neuron in deep neural networks. CoRR abs\/1602.03616 (2016). \n                      http:\/\/arxiv.org\/abs\/1602.03616"},{"key":"4_CR14","unstructured":"Tas, \u00d6.\u015e., Kuhnt, F., Zllner, J.M., Stiller, C.: Functional system architectures towards fully automated driving. In: 2016 IEEE Intelligent Vehicles Symposium, IV (2016). \n                      http:\/\/ieeexplore.ieee.org\/document\/7535402\/"},{"issue":"3","key":"4_CR15","doi-asserted-by":"publisher","first-page":"210","DOI":"10.1147\/rd.33.0210","volume":"3","author":"AL Samuel","year":"1959","unstructured":"Samuel, A.L.: Some studies in machine learning using the game of checkers. IBM J. Res. Dev. 3(3), 210\u2013229 (1959). \n                      http:\/\/ieeexplore.ieee.org\/document\/5392560\/","journal-title":"IBM J. Res. Dev."},{"key":"4_CR16","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/978-3-319-12352-3_6","volume-title":"Handbook of Driver Assistance Systems","author":"U Wilhelm","year":"2016","unstructured":"Wilhelm, U., Ebel, S., Weitzel, A.: Functional safety of driver assistance systems and ISO 26262. In: Winner, H., Hakuli, S., Lotz, F., Singer, C. (eds.) Handbook of Driver Assistance Systems, pp. 109\u2013131. Springer, Cham (2016). \n                      https:\/\/doi.org\/10.1007\/978-3-319-12352-3_6"},{"key":"4_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"818","DOI":"10.1007\/978-3-319-10590-1_53","volume-title":"Computer Vision \u2013 ECCV 2014","author":"MD Zeiler","year":"2014","unstructured":"Zeiler, M.D., Fergus, R.: Visualizing and understanding convolutional networks. In: Fleet, D., Pajdla, T., Schiele, B., Tuytelaars, T. (eds.) ECCV 2014. LNCS, vol. 8689, pp. 818\u2013833. Springer, Cham (2014). \n                      https:\/\/doi.org\/10.1007\/978-3-319-10590-1_53"}],"container-title":["Lecture Notes in Computer Science","Developments in Language Theory"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-99130-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,9,2]],"date-time":"2018-09-02T19:49:04Z","timestamp":1535917744000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-99130-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319986531","9783319986548"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-99130-6_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}