{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T06:10:12Z","timestamp":1747894212575,"version":"3.41.0"},"reference-count":43,"publisher":"IEEE","license":[{"start":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T00:00:00Z","timestamp":1743379200000},"content-version":"stm-asf","delay-in-days":0,"URL":"https:\/\/doi.org\/10.15223\/policy-029"},{"start":{"date-parts":[[2025,3,31]],"date-time":"2025-03-31T00:00:00Z","timestamp":1743379200000},"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":[],"published-print":{"date-parts":[[2025,3,31]]},"DOI":"10.23919\/date64628.2025.10992891","type":"proceedings-article","created":{"date-parts":[[2025,5,21]],"date-time":"2025-05-21T17:36:35Z","timestamp":1747848995000},"page":"1-7","source":"Crossref","is-referenced-by-count":0,"title":["Formally Verifying Analog Neural Networks with Device Mismatch Variations"],"prefix":"10.23919","author":[{"given":"Yasmine","family":"Abu-Haeyeh","sequence":"first","affiliation":[{"name":"Goethe University Frankfurt,Germany"}]},{"given":"Thomas","family":"Bartelsmeier","sequence":"additional","affiliation":[{"name":"Leibniz University Hannover,Germany"}]},{"given":"Tobias","family":"Ladner","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Germany"}]},{"given":"Matthias","family":"Althoff","sequence":"additional","affiliation":[{"name":"Technical University of Munich,Germany"}]},{"given":"Lars","family":"Hedrich","sequence":"additional","affiliation":[{"name":"Goethe University Frankfurt,Germany"}]},{"given":"Markus","family":"Olbrich","sequence":"additional","affiliation":[{"name":"Leibniz University Hannover,Germany"}]}],"member":"263","reference":[{"key":"ref1","doi-asserted-by":"publisher","DOI":"10.1016\/j.heliyon.2018.e00938"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1609\/aaai.v34i09.7123"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1016\/j.neucom.2010.03.021"},{"key":"ref4","doi-asserted-by":"publisher","DOI":"10.1109\/JSSC.2002.808305"},{"key":"ref5","article-title":"Explaining and harnessing adversarial examples","volume-title":"International Conference on Learning Representations","author":"Goodfellow","year":"2015"},{"key":"ref6","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3508352.3549360","article-title":"Computing-in-memory neural network accelerators for safety-critical systems: Can small device variations be disastrous?","volume-title":"Proceedings of the 41st IEEE\/ACM International Conference on Computer-Aided Design","author":"Yan","year":"2022"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1109\/TAI.2024.3377147"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1038\/s44172-023-00074-3"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1038\/s41467-023-40770-4"},{"key":"ref10","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/3316781.3317770","article-title":"Analog\/mixed-signal hardware error modeling for deep learning inference","volume-title":"Proceedings of the 56th Annual Design Automation Conference 2019","author":"Rekhi","year":"2019"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1109\/TCSII.2023.3234009"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/DAC.2018.8465796"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1007\/s10009-023-00703-4"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.29007\/x38n"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"ref17","article-title":"Efficient neural network robustness certification with general activation functions","volume":"31","author":"Zhang","year":"2018","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-030-25540-4_26"},{"key":"ref19","doi-asserted-by":"publisher","DOI":"10.3233\/faia200385"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1145\/3290354"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"key":"ref22","article-title":"Fast and effective robustness certification","volume":"31","author":"Singh","year":"2018","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-031-37703-7_19"},{"key":"ref24","doi-asserted-by":"publisher","DOI":"10.1145\/3575870.3587129"},{"key":"ref25","first-page":"1","article-title":"Branch and bound for piecewise linear neural network verification","volume":"21","author":"Bunel","year":"2020","journal-title":"Journal of Machine Learning Research"},{"key":"ref26","article-title":"Beta-CROWN: Efficient bound propagation with per-neuron split constraints for complete and incomplete neural network verification","volume":"34","author":"Wang","year":"2021","journal-title":"Advances in Neural Information Processing Systems"},{"key":"ref27","article-title":"Complete verification via multi-neuron relaxation guided branch-and-bound","volume-title":"International Conference on Learning Representations","author":"Ferrari","year":"2022"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1109\/TNNLS.2018.2808470"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/978-0-387-45528-0"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-31954-2_19"},{"key":"ref31","article-title":"Reachability analysis and its application to the safety assessment of autonomous cars","volume-title":"Technical University of Munich","author":"Althoff","year":"2010"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1109\/TCAD.2018.2864238"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1016\/j.automatica.2016.02.036"},{"key":"ref34","first-page":"1","article-title":"Schematic generation of programmable analog neural networks for signal proccessing","volume-title":"International Conference on SMACD and 16th Conference on PRIME","author":"Aul","year":"2021"},{"key":"ref35","doi-asserted-by":"publisher","DOI":"10.1063\/1.5143815"},{"volume-title":"TensorFlow: Large-scale machine learning on heterogeneous systems","year":"2015","author":"Abadi","key":"ref36"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.5540\/tema.2003.04.03.0297"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1051\/ro\/197408V300731"},{"journal-title":"I. Cadence Design Systems","article-title":"Cadence virtuoso spectre simulator datasheet","year":"2024","key":"ref39"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.29007\/zbkv"},{"volume-title":"jaadd","year":"2017","author":"Grimm","key":"ref41"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.7717\/peerj-cs.1929\/table-6"},{"volume-title":"Mnist handwritten digit database","year":"2010","author":"LeCun","key":"ref43"}],"event":{"name":"2025 Design, Automation & Test in Europe Conference (DATE)","start":{"date-parts":[[2025,3,31]]},"location":"Lyon, France","end":{"date-parts":[[2025,4,2]]}},"container-title":["2025 Design, Automation & Test in Europe Conference (DATE)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx8\/10992638\/10992588\/10992891.pdf?arnumber=10992891","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,22]],"date-time":"2025-05-22T05:32:35Z","timestamp":1747891955000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/10992891\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,3,31]]},"references-count":43,"URL":"https:\/\/doi.org\/10.23919\/date64628.2025.10992891","relation":{},"subject":[],"published":{"date-parts":[[2025,3,31]]}}}