{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,30]],"date-time":"2026-03-30T02:40:03Z","timestamp":1774838403984,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,6,29]],"date-time":"2020-06-29T00:00:00Z","timestamp":1593388800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2020,6,29]]},"DOI":"10.1145\/3387939.3391594","type":"proceedings-article","created":{"date-parts":[[2020,9,19]],"date-time":"2020-09-19T02:13:13Z","timestamp":1600481593000},"page":"5-8","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":8,"title":["On the probabilistic analysis of neural networks"],"prefix":"10.1145","author":[{"given":"Corina","family":"P\u0103s\u0103reanu","sequence":"first","affiliation":[{"name":"Carnegie Mellon University"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hayes","family":"Converse","sequence":"additional","affiliation":[{"name":"University of Texas at Austin"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonio","family":"Filieri","sequence":"additional","affiliation":[{"name":"Imperial College London"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Divya","family":"Gopinath","sequence":"additional","affiliation":[{"name":"NASA Ames"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2020,9,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10898-014-0145-7"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2594291.2594329"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-0348-8438-9_6"},{"key":"e_1_3_2_1_4_1","volume-title":"NFM 2018, Newport News, VA, USA, April 17--19, 2018, Proceedings.","author":"Dutta Souradeep","year":"2018","unstructured":"Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, and Ashish Tiwari. 2018. Output Range Analysis for Deep Feedforward Neural Networks. In NASA Formal Methods - 10th International Symposium, NFM 2018, Newport News, VA, USA, April 17--19, 2018, Proceedings."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3194656"},{"key":"e_1_3_2_1_6_1","volume-title":"Deep Neural Networks as 0--1 Mixed Integer Linear Programs: A Feasibility Study. CoRR abs\/1712.06174","author":"Fischetti Matteo","year":"2017","unstructured":"Matteo Fischetti and Jason Jo. 2017. Deep Neural Networks as 0--1 Mixed Integer Linear Programs: A Feasibility Study. CoRR abs\/1712.06174 (2017)."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"key":"e_1_3_2_1_8_1","unstructured":"Divya Gopinath Guy Katz Corina S. Pasareanu and Clark Barrett. 2017. Deep-Safe: A Data-driven Approach for Checking Adversarial Robustness in Neural Networks. https:\/\/arxiv.org\/abs\/1710.00486."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1132973.1132980"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/0012-365X(94)00111-U"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"Xiaowei Huang Marta Kwiatkowska Sen Wang and Min Wu. 2017. Safety Verification of Deep Neural Networks. In CAV.","DOI":"10.1007\/978-3-319-63387-9_1"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/DASC.2016.7778091"},{"key":"e_1_3_2_1_13_1","volume-title":"Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks. In CAV.","author":"Katz G.","year":"2017","unstructured":"G. Katz, C. Barrett, D. Dill, K. Julian, and M. Kochenderfer. 2017. Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks. In CAV."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00934543"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE-NIER.2019.00032"},{"key":"e_1_3_2_1_17_1","unstructured":"C. Szegedy W. Zaremba I. Sutskever J. Bruna D. Erhan I. Goodfellow and R. Fergus. 2013. Intriguing Properties of Neural Networks. Technical Report. http:\/\/arxiv.org\/abs\/1312.6199."},{"key":"e_1_3_2_1_18_1","volume-title":"27th USENIX Security Symposium, USENIX Security 2018","author":"Wang Shiqi","year":"2018","unstructured":"Shiqi Wang, Kexin Pei, Justin Whitehouse, Junfeng Yang, and Suman Jana. 2018. Formal Security Analysis of Neural Networks using Symbolic Intervals. In 27th USENIX Security Symposium, USENIX Security 2018, Baltimore, MD, USA, August 15--17, 2018."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 36th International Conference on Machine Learning, ICML 2019, 9--15","author":"Weng Lily","year":"2019","unstructured":"Lily Weng, Pin-Yu Chen, Lam M. Nguyen, Mark S. Squillante, Akhilan Boopathy, Ivan V. Oseledets, and Luca Daniel. 2019. PROVEN: Verifying Robustness of Neural Networks with a Probabilistic Approach. In Proceedings of the 36th International Conference on Machine Learning, ICML 2019, 9--15 June 2019, Long Beach, California, USA. 6727--6736. http:\/\/proceedings.mlr.press\/v97\/weng19a.html"}],"event":{"name":"SEAMS '20: IEEE\/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems","location":"Seoul Republic of Korea","acronym":"SEAMS '20","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS"]},"container-title":["Proceedings of the IEEE\/ACM 15th International Symposium on Software Engineering for Adaptive and Self-Managing Systems"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387939.3391594","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3387939.3391594","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:41:42Z","timestamp":1750200102000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3387939.3391594"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,6,29]]},"references-count":19,"alternative-id":["10.1145\/3387939.3391594","10.1145\/3387939"],"URL":"https:\/\/doi.org\/10.1145\/3387939.3391594","relation":{},"subject":[],"published":{"date-parts":[[2020,6,29]]},"assertion":[{"value":"2020-09-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}