{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T09:42:37Z","timestamp":1766137357627,"version":"3.37.3"},"reference-count":28,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"2","license":[{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"content-version":"am","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"},{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2020,4,1]],"date-time":"2020-04-01T00:00:00Z","timestamp":1585699200000},"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":["IEEE Des. Test"],"published-print":{"date-parts":[[2020,4]]},"DOI":"10.1109\/mdat.2020.2968274","type":"journal-article","created":{"date-parts":[[2020,1,20]],"date-time":"2020-01-20T20:38:15Z","timestamp":1579552695000},"page":"8-18","source":"Crossref","is-referenced-by-count":13,"title":["Semantic Adversarial Deep Learning"],"prefix":"10.1109","volume":"37","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6190-8707","authenticated-orcid":false,"given":"Sanjit A.","family":"Seshia","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Somesh","family":"Jha","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tommaso","family":"Dreossi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30206-3_12"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1007\/BF01995674"},{"key":"ref12","article-title":"A formalization of robustness for deep neural networks","author":"dreossi","year":"2019","journal-title":"Proc AAAI Spring Symp Workshop Verification Neural Netw (VNN)"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-01090-4_2"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-57288-8_26"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-018-09509-5"},{"article-title":"Compositional verification without compositional specification for learning-based systems","year":"2017","author":"seshia","key":"ref16"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1145\/2647868.2654889"},{"key":"ref18","first-page":"1097","article-title":"ImageNet classification with deep convolutional neural networks","author":"krizhevsky","year":"2012","journal-title":"Proc Advances Neural Inf Process Syst"},{"journal-title":"TensorFlow Large-Scale Machine Learning on Heterogeneous Systems","year":"2015","author":"abadi","key":"ref19"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/DATE.2007.364501"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/ICASSP.2013.6638293"},{"key":"ref27","article-title":"Generating semantic adversarial examples with differentiable rendering","author":"jain","year":"2019","journal-title":"CoRR"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1038\/nbt.3300"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/3134599"},{"journal-title":"Introduction to Embedded Systems A Cyber-physical Systems Approach","year":"2016","author":"lee","key":"ref5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-96145-3_1"},{"article-title":"Towards verified artificial intelligence","year":"2016","author":"seshia","key":"ref7"},{"journal-title":"How paypal beats the bad guys with machine learning","year":"2015","author":"knorr","key":"ref2"},{"journal-title":"Deep Learning","year":"2016","author":"goodfellow","key":"ref9"},{"journal-title":"NVIDIA Nvidia tegra drive px Self-driving car computer","year":"2015","key":"ref1"},{"journal-title":"Image","year":"2019","key":"ref20"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/FMCAD.2016.7886680"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2015.2421907"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1109\/DSN.2019.00027"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.24963\/ijcai.2018\/286"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_25"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/3314221.3314633"}],"container-title":["IEEE Design & Test"],"original-title":[],"link":[{"URL":"https:\/\/ieeexplore.ieee.org\/ielam\/6221038\/9075303\/8963923-aam.pdf","content-type":"application\/pdf","content-version":"am","intended-application":"syndication"},{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/6221038\/9075303\/08963923.pdf?arnumber=8963923","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,27]],"date-time":"2022-04-27T17:21:39Z","timestamp":1651080099000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8963923\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,4]]},"references-count":28,"journal-issue":{"issue":"2"},"URL":"https:\/\/doi.org\/10.1109\/mdat.2020.2968274","relation":{},"ISSN":["2168-2356","2168-2364"],"issn-type":[{"type":"print","value":"2168-2356"},{"type":"electronic","value":"2168-2364"}],"subject":[],"published":{"date-parts":[[2020,4]]}}}