{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T10:53:07Z","timestamp":1767178387040,"version":"3.48.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","funder":[{"name":"Ericsson Research India","award":["E240"],"award-info":[{"award-number":["E240"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,1,6]]},"DOI":"10.1145\/3737611.3776948","type":"proceedings-article","created":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T10:35:20Z","timestamp":1767177320000},"page":"40-41","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards Verification of Spiking Neural Networks for Next-Generation AI Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-9720-4565","authenticated-orcid":false,"given":"Sruti","family":"Goswami","sequence":"first","affiliation":[{"name":"Advanced Computing and Microelectronics Unit, Indian Statistical Institute, Kolkata, West Bengal, India"}]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0220-646X","authenticated-orcid":false,"given":"Ansuman","family":"Banerjee","sequence":"additional","affiliation":[{"name":"Advanced Computing and Microelectronics Unit, Indian Statistical Institute, Kolkata, West Bengal, India"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6167-9892","authenticated-orcid":false,"given":"Swarup K.","family":"Mohalik","sequence":"additional","affiliation":[{"name":"Ericsson India, Bangalore, Karnataka, India"}]}],"member":"320","published-online":{"date-parts":[[2026,1,4]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"Steven\u00a0K. Esser et\u00a0al. 2016. Convolutional Networks for Fast Energy-Efficient Neuromorphic Computing. arXiv preprint abs\/1603.08270 (2016). arXiv:https:\/\/arXiv.org\/abs\/1603.08270."},{"key":"e_1_3_3_1_3_2","doi-asserted-by":"publisher","DOI":"10.1109\/ISVLSI65124.2025.11130309"},{"key":"e_1_3_3_1_4_2","unstructured":"International Telecommunication Union (ITU-R). 2023. Recommendation ITU-R M.2160: Framework and overall objectives of the future development of IMT for 2030 and beyond."},{"key":"e_1_3_3_1_5_2","first-page":"97","volume-title":"CAV","author":"Katz Guy","year":"2017","unstructured":"Guy Katz et\u00a0al. 2017. Reluplex: An efficient SMT solver for verifying deep neural networks. In CAV. Springer, 97\u2013117."},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"crossref","unstructured":"Gr\u00e9goire Montavon et\u00a0al. 2018. Methods for interpreting and understanding deep neural networks. Digital Signal Processing 73 (2018) 1\u201315.","DOI":"10.1016\/j.dsp.2017.10.011"},{"key":"e_1_3_3_1_7_2","unstructured":"Elisa Nguyen et\u00a0al. 2023. Feature Attribution Explanations for Spiking Neural Networks. arxiv:https:\/\/arXiv.org\/abs\/2311.02110\u00a0[cs.NE] https:\/\/arxiv.org\/abs\/2311.02110"},{"key":"e_1_3_3_1_8_2","doi-asserted-by":"publisher","unstructured":"Bodo Rueckauer et\u00a0al. 2017. Conversion of Continuous-Valued Deep Networks to Efficient Event-Driven Networks for Image Classification. Frontiers in Neuroscience Volume 11 - 2017 (2017). 10.3389\/fnins.2017.00682","DOI":"10.3389\/fnins.2017.00682"},{"key":"e_1_3_3_1_9_2","unstructured":"Changyang She et\u00a0al. 2021. A Tutorial on Ultra-Reliable and Low-Latency Communications in 6G: Integrating Domain Knowledge Into Deep Learning. IEEE Communications Surveys & Tutorials 23 4 (2021) 2832\u20132885."},{"key":"e_1_3_3_1_10_2","unstructured":"Sumit\u00a0Bam Shrestha et\u00a0al. 2023. Efficient Video and Audio processing with Loihi 2. arxiv:https:\/\/arXiv.org\/abs\/2310.03251\u00a0[cs.NE]"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"Gagandeep Singh et\u00a0al. 2019. An abstract domain for certifying neural networks. Proc. ACM Program. Lang. 3 POPL Article 41 (Jan. 2019) 30\u00a0pages.","DOI":"10.1145\/3290354"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","unstructured":"Matthew Sotoudeh et\u00a0al. 2021. Provable repair of deep neural networks(PLDI 2021). New York NY USA 588\u2013603. 10.1145\/3453483.3454064","DOI":"10.1145\/3453483.3454064"}],"event":{"name":"ICDCN 2026: 27th International Conference on Distributed Computing and Networking","acronym":"ICDCN Companion 2026","location":"Nara Japan"},"container-title":["Companion Proceedings of the 27th International Conference on Distributed Computing and Networking"],"original-title":[],"deposited":{"date-parts":[[2025,12,31]],"date-time":"2025-12-31T10:49:07Z","timestamp":1767178147000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3737611.3776948"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,1,4]]},"references-count":11,"alternative-id":["10.1145\/3737611.3776948","10.1145\/3737611"],"URL":"https:\/\/doi.org\/10.1145\/3737611.3776948","relation":{},"subject":[],"published":{"date-parts":[[2026,1,4]]},"assertion":[{"value":"2026-01-04","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}