{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T02:05:37Z","timestamp":1771466737849,"version":"3.50.1"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,3]]},"DOI":"10.23919\/date48585.2020.9116247","type":"proceedings-article","created":{"date-parts":[[2020,6,15]],"date-time":"2020-06-15T19:28:37Z","timestamp":1592249317000},"page":"666-669","source":"Crossref","is-referenced-by-count":12,"title":["FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks"],"prefix":"10.23919","author":[{"given":"Mahum","family":"Naseer","sequence":"first","affiliation":[]},{"given":"Mishal Fatima","family":"Minhas","sequence":"additional","affiliation":[]},{"given":"Faiq","family":"Khalid","sequence":"additional","affiliation":[]},{"given":"Muhammad Abdullah","family":"Hanif","sequence":"additional","affiliation":[]},{"given":"Osman","family":"Hasan","sequence":"additional","affiliation":[]},{"given":"Muhammad","family":"Shafique","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-77935-5_9"},{"key":"ref11","article-title":"Formal Verification of CNN-based Perception Systems","author":"kouvaros","year":"2018"},{"key":"ref12","first-page":"6367","article-title":"Efficient Formal Safety Analysis of Neural Networks","author":"wang","year":"2018","journal-title":"NIPS"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-68167-2_19"},{"key":"ref14","article-title":"A survey on bias and fairness in machine learning","author":"mehrabi","year":"2019"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1137\/1.9781611974348.17"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/3287560.3287586"},{"key":"ref17","article-title":"Verifying Fairness Properties via Concentration","author":"bastani","year":"2018"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/ISCAS.1994.409622"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-2607(99)00046-2"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1145\/3323685"},{"key":"ref3","article-title":"Intriguing properties of neural networks","author":"szegedy","year":"2013"},{"key":"ref6","first-page":"1","article-title":"Evaluating Robustness of Neural Networks with Mixed Integer Programming","author":"tjeng","year":"2019","journal-title":"ICLRE"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"ref7","first-page":"6615","article-title":"Verifying Properties of Binarized Deep Neural Networks","author":"narodytska","year":"2018","journal-title":"AAAI"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-658-23751-6_20"},{"key":"ref9","first-page":"279","article-title":"Verification of Binarized Neural Networks via InterNeuron Factoring","author":"cheng","year":"2018","journal-title":"VSTTE"},{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1038\/s41591-018-0316-z"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45675-9_89"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1109\/CVPR.2017.243"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1007\/s00521-015-2132-4"},{"key":"ref24","article-title":"Leukemia data","year":"0"},{"key":"ref23","author":"bozzano","year":"2016","journal-title":"nuXmv 1 1 1 User Manual"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1007\/s00034-017-0572-z"}],"event":{"name":"2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)","location":"Grenoble, France","start":{"date-parts":[[2020,3,9]]},"end":{"date-parts":[[2020,3,13]]}},"container-title":["2020 Design, Automation & Test in Europe Conference & Exhibition (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/9112295\/9116186\/09116247.pdf?arnumber=9116247","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,7,13]],"date-time":"2020-07-13T18:43:07Z","timestamp":1594665787000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/9116247\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,3]]},"references-count":25,"URL":"https:\/\/doi.org\/10.23919\/date48585.2020.9116247","relation":{},"subject":[],"published":{"date-parts":[[2020,3]]}}}