{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,19]],"date-time":"2026-02-19T02:06:48Z","timestamp":1771466808626,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T00:00:00Z","timestamp":1726185600000},"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":[[2024,9,13]]},"DOI":"10.1145\/3679008.3685547","type":"proceedings-article","created":{"date-parts":[[2024,9,13]],"date-time":"2024-09-13T07:14:09Z","timestamp":1726211649000},"page":"44-51","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Runtime Verified Neural Networks for Cyber-Physical Systems"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0004-2333-8212","authenticated-orcid":false,"given":"Dhiren","family":"Tripuramallu","sequence":"first","affiliation":[{"name":"IIT Bhubaneswar, Bhubaneswar, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0009-0009-3754-630X","authenticated-orcid":false,"given":"Ayush","family":"Anand","sequence":"additional","affiliation":[{"name":"IIT Bhubaneswar, Bhubaneswar, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7779-8231","authenticated-orcid":false,"given":"Srinivas","family":"Pinisetty","sequence":"additional","affiliation":[{"name":"IIT Bhubaneswar, Bhubaneswar, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-3488-7004","authenticated-orcid":false,"given":"Hammond","family":"Pearce","sequence":"additional","affiliation":[{"name":"UNSW, Sydney, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-9654-5678","authenticated-orcid":false,"given":"Partha","family":"Roop","sequence":"additional","affiliation":[{"name":"University of Auckland, Auckland, New Zealand"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2024,9,13]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Nestico & Redick, LLC","year":"2023","unstructured":"2023. Self-Driving Car Accident Statistics. Kisling, Nestico & Redick, LLC (2023). https:\/\/www.knrlegal.com\/car-"},{"key":"e_1_3_2_1_2_1","unstructured":"Anonymous. [n. d.]. Misclassification Analyzer. ([n. d.]). https:\/\/drive.google.com\/file\/d\/1uGlMBK3wvr3l3moYa0xqNBGovw6Bw1ub\/view?usp=sharing"},{"key":"e_1_3_2_1_3_1","volume-title":"Cyber-physical systems.  The impact of control technology  12, 1","author":"Baheti Radhakisan","year":"2011","unstructured":"Radhakisan Baheti and Helen Gill. 2011. Cyber-physical systems. The impact of control technology 12, 1 (2011), 161\u2013166."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2000799.2000800"},{"key":"e_1_3_2_1_5_1","volume-title":"Proceedings of the international conference on  artificial neural networks. Citeseer.","author":"Bedford DF","year":"1996","unstructured":"DF Bedford, G Morgan, and J Austin. 1996. Requirements for a standard certifying the use of artificial neural networks in safety critical applications. In Proceedings of the international conference on artificial neural networks. Citeseer."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.2139\/ssrn.3829897"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1049\/ip-vis:19941330"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2018.8556962"},{"key":"e_1_3_2_1_9_1","volume-title":"Uber in fatal crash detected pedestrian but had  emergency braking disabled.  (May","author":"Coldewey Devin","year":"2018","unstructured":"Devin Coldewey. 2018. Uber in fatal crash detected pedestrian but had emergency braking disabled. (May 2018). https:\/\/techcrunch.com\/2018\/05\/24\/uber-in-fatal-crash-detected-pedestrian-but-had-emergency-braking-disabled\/"},{"key":"e_1_3_2_1_10_1","volume-title":"CARLA: An Open Urban Driving Simulator. In  Proceedings of the 1st Annual Conference on Robot  Learning. 1\u201316","author":"Dosovitskiy Alexey","year":"2017","unstructured":"Alexey Dosovitskiy, German Ros, Felipe Codevilla, Antonio Lopez, and Vladlen Koltun. 2017. CARLA: An Open Urban Driving Simulator. In Proceedings of the 1st Annual Conference on Robot Learning. 1\u201316."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-04694-0_4"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/SP.2018.00058"},{"key":"e_1_3_2_1_13_1","unstructured":"Jonathan Govette. 2022. The Truth about Healthcare AI and Why It has Failed So Far. (2022). https:\/\/oatmealhealth.com\/why-has-ai-failed-so-far-in-healthcare-despite-billions-of-investment\/"},{"key":"e_1_3_2_1_14_1","volume-title":"Recent advances in convolutional neural networks.  Pattern recognition 77","author":"Gu J","year":"2018","unstructured":"J Gu, Z Wang, J Kuen, L Ma, A Shahroudy, B Shuai, T Liu, X Wang, G Wang, J Cai, and T Chen. 2018. Recent advances in convolutional neural networks. Pattern recognition 77 (2018), 354\u2013377."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-63387-9_5"},{"key":"e_1_3_2_1_16_1","unstructured":"Zeshan Kurd. 2005. Artificial neural networks in safety-critical applications. Ph. D. Dissertation. Citeseer."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45224-9_24"},{"key":"e_1_3_2_1_18_1","volume-title":"Automated Verification of Neural Networks:  Advances, Challenges and Perspectives.  ArXiv abs\/1805.09938","author":"Leofante Francesco","year":"2018","unstructured":"Francesco Leofante, Nina Narodytska, Luca Pulina, and Armando Tacchella. 2018. Automated Verification of Neural Networks: Advances, Challenges and Perspectives. ArXiv abs\/1805.09938 (2018). https:\/\/api.semanticscholar.org\/CorpusID:44064771"},{"key":"e_1_3_2_1_19_1","volume-title":"Safety Verification of Multiple Autonomous Systems  by Formal Approach","author":"Okano Kozo","unstructured":"Kozo Okano and Toshifusa Sekizawa. 2014. Safety Verification of Multiple Autonomous Systems by Formal Approach. In Computer Safety, Reliability, and Security, Andrea Bondavalli, Andrea Ceccarelli, and Frank Ortmeier (Eds.). Springer International Publishing, Cham, 11\u201318. isbn:978-3-319-10557-4"},{"key":"e_1_3_2_1_20_1","volume-title":"An introduction to convolutional neural networks.  arXiv preprint arXiv:1511.08458","author":"O\u2019shea Keiron","year":"2015","unstructured":"Keiron O\u2019shea and Ryan Nash. 2015. An introduction to convolutional neural networks. arXiv preprint arXiv:1511.08458 (2015)."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2019.2945520"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2018.8556922"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/3126500"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.47852\/bonviewAIA32021513"},{"key":"e_1_3_2_1_25_1","volume-title":"Proceedings (Cat. No. 99CH36339)","volume":"5","author":"Rodvold David M","year":"1999","unstructured":"David M Rodvold. 1999. A software development process model for artificial neural networks in critical applications. In IJCNN\u201999. International Joint Conference on Neural Networks. Proceedings (Cat. No. 99CH36339), Vol. 5. IEEE, 3317\u20133322."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/3503914"},{"key":"e_1_3_2_1_27_1","volume-title":"Convolutional neural networks.  Introduction to Deep Learning: from logical  calculus to artificial intelligence","author":"Skansi Sandro","year":"2018","unstructured":"Sandro Skansi and Sandro Skansi. 2018. Convolutional neural networks. Introduction to Deep Learning: from logical calculus to artificial intelligence (2018), 121\u2013133."},{"key":"e_1_3_2_1_28_1","volume-title":"Feature squeezing: Detecting adversarial examples  in deep neural networks.  arXiv preprint arXiv:1704.01155","author":"Xu W","year":"2017","unstructured":"W Xu, D Evans, and Y Qi. 2017. Feature squeezing: Detecting adversarial examples in deep neural networks. arXiv preprint arXiv:1704.01155 (2017)."}],"event":{"name":"VORTEX '24: 7th ACM International Workshop on Verification and Monitoring at Runtime Execution","location":"Vienna Austria","acronym":"VORTEX '24","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","AITO"]},"container-title":["Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3679008.3685547","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3679008.3685547","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T00:58:14Z","timestamp":1750294694000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3679008.3685547"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,9,13]]},"references-count":28,"alternative-id":["10.1145\/3679008.3685547","10.1145\/3679008"],"URL":"https:\/\/doi.org\/10.1145\/3679008.3685547","relation":{},"subject":[],"published":{"date-parts":[[2024,9,13]]},"assertion":[{"value":"2024-09-13","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}