{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:17:00Z","timestamp":1761621420665,"version":"3.28.0"},"reference-count":14,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018,10]]},"DOI":"10.1109\/memcod.2018.8556962","type":"proceedings-article","created":{"date-parts":[[2018,12,7]],"date-time":"2018-12-07T00:57:30Z","timestamp":1544144250000},"page":"1-4","source":"Crossref","is-referenced-by-count":26,"title":["Towards Dependability Metrics for Neural Networks"],"prefix":"10.1109","author":[{"given":"Chih-Hong","family":"Cheng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Nuhrenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Chung-Hao","family":"Huang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Harald","family":"Ruess","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hirotoshi","family":"Yasuoka","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"263","reference":[{"key":"ref10","article-title":"Explaining and harnessing adversarial examples","author":"goodfellow","year":"2014","journal-title":"arXiv preprint arXiv 1412 6572"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2016.282"},{"key":"ref12","article-title":"Provable defenses against adversarial examples via the convex outer adversarial polytope","author":"kolter","year":"2017","journal-title":"arXiv preprint arXiv 1711 03890"},{"journal-title":"The PASCAL Visual Object Classes Challenge 2012 (VOC2012) Results","year":"0","author":"everingham","key":"ref13"},{"key":"ref14","first-page":"818","article-title":"Visualizing and understanding convolutional networks","author":"zeiler","year":"2014","journal-title":"ECCV"},{"key":"ref4","first-page":"251","article-title":"Maximum resilience of artificial neural networks","author":"cheng","year":"2017","journal-title":"ATVA"},{"key":"ref3","article-title":"Quantitative projection coverage for testing ml-enabled autonomous systems","author":"cheng","year":"2018","journal-title":"arXiv preprint arXiv 1805 04333"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"84","DOI":"10.37236\/571","article-title":"A survey of binary covering arrays","volume":"18","author":"lawrence","year":"2011","journal-title":"The Electronic Journal of Combinatorics"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.3233\/IDA-2002-6504"},{"journal-title":"Functional safety beyond iso26262 for neural networks in highly automated driving","year":"2018","key":"ref8"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/1883612.1883618"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1145\/3132747.3132785"},{"key":"ref1","first-page":"1005","article-title":"Neural networks for safety-critical applicationschallenges, experiments and perspectives","author":"cheng","year":"2018","journal-title":"DATE"},{"key":"ref9","article-title":"Intriguing properties of neural networks","author":"szegedy","year":"2013","journal-title":"arXiv preprint arXiv 1312 6199"}],"event":{"name":"2018 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)","start":{"date-parts":[[2018,10,15]]},"location":"Beijing, China","end":{"date-parts":[[2018,10,18]]}},"container-title":["2018 16th ACM\/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/8536775\/8556861\/08556962.pdf?arnumber=8556962","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,27]],"date-time":"2022-01-27T10:24:40Z","timestamp":1643279080000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/8556962\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10]]},"references-count":14,"URL":"https:\/\/doi.org\/10.1109\/memcod.2018.8556962","relation":{},"subject":[],"published":{"date-parts":[[2018,10]]}}}