{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T10:56:54Z","timestamp":1725706614585},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2016,11,7]],"date-time":"2016-11-07T00:00:00Z","timestamp":1478476800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016,11,7]]},"DOI":"10.1145\/2966986.2980077","type":"proceedings-article","created":{"date-parts":[[2016,10,18]],"date-time":"2016-10-18T12:23:59Z","timestamp":1476793439000},"page":"1-8","source":"Crossref","is-referenced-by-count":10,"title":["Efficient statistical validation of machine learning systems for autonomous driving"],"prefix":"10.1145","author":[{"given":"Weijing","family":"Shi","sequence":"first","affiliation":[{"name":"Carnegie Mellon University"}]},{"given":"Mohamed Baker","family":"Alawieh","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}]},{"given":"Xin","family":"Li","sequence":"additional","affiliation":[{"name":"Carnegie Mellon University"}]},{"given":"Huafeng","family":"Yu","sequence":"additional","affiliation":[{"name":"Boeing Research and Technology"}]},{"given":"Nikos","family":"Arechiga","sequence":"additional","affiliation":[{"name":"TOYOTA InfoTechnology Center"}]},{"given":"Nobuyuki","family":"Tomatsu","sequence":"additional","affiliation":[{"name":"TOYOTA InfoTechnology Center"}]}],"member":"320","published-online":{"date-parts":[[2016,11,7]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"38","article-title":"State of the art analysis: An overview of advanced driver assistance systems (ADAS) and possible human factors issues","author":"Lindgren A.","year":"2006","journal-title":"Human Factors and Economics Aspects on Safety"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2014.2360306"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/MITS.2014.2306552"},{"key":"e_1_3_2_1_4_1","first-page":"119","article-title":"A survey of traffic sign recognition","author":"Fu M.","year":"2010","journal-title":"ICWAPR"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1109\/TITS.2013.2262331"},{"key":"e_1_3_2_1_6_1","first-page":"339","article-title":"Hardware-in-the-loop testing of computer vision based driver assistance systems","author":"Nentwig M.","year":"2011","journal-title":"IV"},{"key":"e_1_3_2_1_7_1","unstructured":"E. Roth and T. Calapoglu \"Advanced driver assistance system testing using OptiX \" NVIDIA GTC 2012. E. Roth and T. Calapoglu \"Advanced driver assistance system testing using OptiX \" NVIDIA GTC 2012."},{"key":"e_1_3_2_1_8_1","unstructured":"L. Raffa\u00eblli etal \"Facing ADAS validation complexity with usage oriented testing \" ERTS 2016. L. Raffa\u00eblli et al. \"Facing ADAS validation complexity with usage oriented testing \" ERTS 2016."},{"key":"e_1_3_2_1_9_1","unstructured":"M. Lankamp etal \"MGSim-Simulation tools for multi-core processor architectures \" arXiv 2013. M. Lankamp et al. \"MGSim-Simulation tools for multi-core processor architectures \" arXiv 2013."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0266-8920(01)00019-4"},{"key":"e_1_3_2_1_11_1","first-page":"324","article-title":"Fast statistical analysis of rare circuit failure events via subset simulation in high-dimensional variation space","author":"Sun S.","year":"2014","journal-title":"ICCAD"},{"key":"e_1_3_2_1_12_1","first-page":"207","article-title":"Graph drawing by high dimensional embedding","author":"Harel D.","year":"2002","journal-title":"GD"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1201\/b17040"},{"volume-title":"Springer-Verlag New York","year":"2005","author":"Borg I.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1146909.1147033"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/361002.361007"},{"key":"e_1_3_2_1_17_1","unstructured":"C. Bishop Pattern Recognition and Machine Learning Prentice Hall 2007. C. Bishop Pattern Recognition and Machine Learning Prentice Hall 2007."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/321958.321975"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0304-3975(85)90224-5"},{"key":"e_1_3_2_1_20_1","first-page":"I511","article-title":"Rapid object detection using a boosted cascade of simple features","author":"Viola P.","year":"2001","journal-title":"CVPR"},{"key":"e_1_3_2_1_21_1","unstructured":"P. Dollar \"Piotr's computer vision Matlab toolbox (PMT) \" http:\/\/vision.ucsd.edu\/˜pdollar\/toolbox\/doc\/index.html. P. Dollar \"Piotr's computer vision Matlab toolbox (PMT) \" http:\/\/vision.ucsd.edu\/˜pdollar\/toolbox\/doc\/index.html."},{"key":"e_1_3_2_1_22_1","first-page":"1","article-title":"Traffic sign recognition - How far are we from the solution?","author":"Timof R.","year":"2013","journal-title":"IJCNN"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.neunet.2012.02.016"},{"key":"e_1_3_2_1_24_1","first-page":"1","article-title":"Detection of traffic signs in real-world images: The German traffic sign detection benchmark","author":"Houben S.","year":"2013","journal-title":"IJCNN"}],"event":{"name":"ICCAD '16: IEEE\/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN","sponsor":["SIGDA ACM Special Interest Group on Design Automation","IEEE CAS","IEEE CS","IEEE-EDS Electronic Devices Society"],"location":"Austin Texas","acronym":"ICCAD '16"},"container-title":["Proceedings of the 35th International Conference on Computer-Aided Design"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2966986.2980077","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,21]],"date-time":"2020-12-21T05:28:35Z","timestamp":1608528515000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2966986.2980077"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,11,7]]},"references-count":24,"alternative-id":["10.1145\/2966986.2980077","10.1145\/2966986"],"URL":"https:\/\/doi.org\/10.1145\/2966986.2980077","relation":{},"subject":[],"published":{"date-parts":[[2016,11,7]]}}}