{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T10:11:37Z","timestamp":1783764697393,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2026,4,12]],"date-time":"2026-04-12T00:00:00Z","timestamp":1775952000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0\/legalcode"}],"funder":[{"name":"Italian Ministry of University and Research (MUR)","award":["ECS00000041"],"award-info":[{"award-number":["ECS00000041"]}]},{"name":"European Union (Horizon Europe \u2013 KDT Joint Undertaking)","award":["101140216"],"award-info":[{"award-number":["101140216"]}]},{"name":"Italian Ministry of University and Research (MUR)","award":["Department of Excellence 2023\u20132027 (GSSI)"],"award-info":[{"award-number":["Department of Excellence 2023\u20132027 (GSSI)"]}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2026,4,12]]},"DOI":"10.1145\/3786583.3786861","type":"proceedings-article","created":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T09:12:14Z","timestamp":1783761134000},"page":"152-162","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Deploying SafeKAN for Anomaly Detection in Safety-Critical Satellite Operations: An Industry-Guided Study"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0009-0000-7363-8388","authenticated-orcid":false,"given":"Alberto","family":"Petrucci","sequence":"first","affiliation":[{"name":"Gran Sasso Science Institute (GSSI), L'Aquila, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9800-3431","authenticated-orcid":false,"given":"Francesco","family":"Basciani","sequence":"additional","affiliation":[{"name":"Gran Sasso Science Institute (GSSI), L'Aquila, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-9508-7713","authenticated-orcid":false,"given":"Franco","family":"Raimondi","sequence":"additional","affiliation":[{"name":"Gran Sasso Science Institute (GSSI), L'Aquila, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5438-2281","authenticated-orcid":false,"given":"Patrizio","family":"Pelliccione","sequence":"additional","affiliation":[{"name":"Gran Sasso Science Institute (GSSI), L'Aquila, Italy"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2026,7,11]]},"reference":[{"key":"e_1_3_3_1_2_2","unstructured":"Abdul\u00a0Fatir Ansari Lorenzo Stella Caner Turkmen Xiyuan Zhang Pedro Mercado Huibin Shen Oleksandr Shchur Syama\u00a0Sundar Rangapuram Sebastian\u00a0Pineda Arango Shubham Kapoor et\u00a0al. 2024. Chronos: Learning the language of time series. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2403.07815 (2024)."},{"key":"e_1_3_3_1_3_2","unstructured":"Christian Berghoff Battista Biggio Elisa Brummel Vasilios Danos Thomas Doms Heiko Ehrich Thorsten Gantevoort Barbara Hammer Joachim Iden Sven Jacob et\u00a0al. 2021. Towards auditable ai systems. Whitepaper. Bonn Berlin: Bundesamt f\u00fcr Sicherheit in der Informationstechnik Fraunhofer-Institut f\u00fcr Nachrichtentechnik und Verband der T\u00dcV eV (2021)."},{"key":"e_1_3_3_1_4_2","doi-asserted-by":"crossref","unstructured":"Davide Castelvecchi. 2016. Can we open the black box of AI? Nature News 538 7623 (2016) 20.","DOI":"10.1038\/538020a"},{"key":"e_1_3_3_1_5_2","unstructured":"Raghavendra Chalapathy and Venu\u00a0Govindan Menon. 2019. Deep learning for anomaly detection: A survey. J. Parallel and Distrib. Comput. 134 (2019) 1\u201321."},{"key":"e_1_3_3_1_6_2","doi-asserted-by":"publisher","unstructured":"Varun Chandola Arindam Banerjee and Vipin Kumar. 2009. Anomaly detection: A survey. ACM Comput. Surv. 41 3 Article 15 (July 2009) 58\u00a0pages. 10.1145\/1541880.1541882","DOI":"10.1145\/1541880.1541882"},{"key":"e_1_3_3_1_7_2","unstructured":"ESA. 2017. Space product assurance: Software product assurance. (15 2 2017) 117\u00a0pages. https:\/\/ecss.nl\/standard\/ecss-q-st-80c-rev-1-software-product-assurance-15-february-2017\/"},{"key":"e_1_3_3_1_8_2","unstructured":"ESA. 2020. Space engineering: Simulation modelling platform. (2 3 2020) 144\u00a0pages. https:\/\/ecss.nl\/standard\/ecss-q-st-80c-rev-1-software-product-assurance-15-february-2017\/"},{"key":"e_1_3_3_1_9_2","doi-asserted-by":"publisher","DOI":"10.5555\/3086952"},{"key":"e_1_3_3_1_10_2","doi-asserted-by":"crossref","unstructured":"Riccardo Guidotti Anna Monreale Salvatore Ruggieri Franco Turini Fosca Giannotti and Dino Pedreschi. 2018. A survey of methods for explaining black box models. ACM computing surveys (CSUR) 51 5 (2018) 1\u201342.","DOI":"10.1145\/3236009"},{"key":"e_1_3_3_1_11_2","doi-asserted-by":"crossref","unstructured":"David\u00a0J Hand and Shakeel Khan. 2020. Validating and verifying AI systems. Patterns 1 3 (2020).","DOI":"10.1016\/j.patter.2020.100037"},{"key":"e_1_3_3_1_12_2","doi-asserted-by":"publisher","unstructured":"Stefan Jesenski Jan\u00a0Erik Stellet Florian Schiegg and J.\u00a0Marius Z\u00f6llner. 2019. Generation of Scenes in Intersections for the Validation of Highly Automated Driving Functions. (2019) 502\u2013509. 10.1109\/IVS.2019.8813776","DOI":"10.1109\/IVS.2019.8813776"},{"key":"e_1_3_3_1_13_2","doi-asserted-by":"crossref","unstructured":"Philip Koopman and Michael Wagner. 2016. Challenges in autonomous vehicle testing and validation. SAE International Journal of Transportation Safety 4 1 (2016) 15\u201324.","DOI":"10.4271\/2016-01-0128"},{"key":"e_1_3_3_1_14_2","doi-asserted-by":"crossref","unstructured":"Philip Koopman and Michael Wagner. 2017. Autonomous vehicle safety: An interdisciplinary challenge. IEEE Intelligent Transportation Systems Magazine 9 1 (2017) 90\u201396.","DOI":"10.1109\/MITS.2016.2583491"},{"key":"e_1_3_3_1_15_2","unstructured":"Alex Krizhevsky Ilya Sutskever and Geoffrey\u00a0E Hinton. 2012. Imagenet classification with deep convolutional neural networks. Advances in neural information processing systems 25 (2012) 1097\u20131105."},{"key":"e_1_3_3_1_16_2","doi-asserted-by":"crossref","unstructured":"Yann LeCun Yoshua Bengio and Geoffrey Hinton. 2015. Deep learning. Nature 521 7553 (2015) 436\u2013444.","DOI":"10.1038\/nature14539"},{"key":"e_1_3_3_1_17_2","unstructured":"Bryan Lim Taesup Arsalan Sungbin Kim and Juho Kang. 2021. Time series forecasting with deep learning: A survey. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2103.01913 (2021)."},{"key":"e_1_3_3_1_18_2","unstructured":"Gordon\u00a0S Linoff and Michael\u00a0JA Berry. 2011. Data mining techniques: for marketing sales and customer relationship management. (2011)."},{"key":"e_1_3_3_1_19_2","doi-asserted-by":"publisher","unstructured":"Qinghua Liu Paul Boniol Themis Palpanas and John Paparrizos. 2024. Time-Series Anomaly Detection: Overview and New Trends. Proc. VLDB Endow. 17 12 (Nov. 2024) 4229\u20134232. 10.14778\/3685800.3685842","DOI":"10.14778\/3685800.3685842"},{"key":"e_1_3_3_1_20_2","unstructured":"Ziming Liu Yixuan Wang Sachin Vaidya Fabian Ruehle James Halverson Marin Solja\u010di\u0107 Thomas\u00a0Y Hou and Max Tegmark. 2024. KAN: Kolmogorov-Arnold Networks. arXiv preprint arXiv:https:\/\/arXiv.org\/abs\/2404.19756 (2024)."},{"key":"e_1_3_3_1_21_2","doi-asserted-by":"publisher","unstructured":"Ngoc-Thanh Nguyen Rogardt Heldal and Patrizio Pelliccione. 2024. Concept-drift-adaptive anomaly detector for marine sensor data streams. Internet of Things 28 (2024) 101414. 10.1016\/j.iot.2024.101414","DOI":"10.1016\/j.iot.2024.101414"},{"key":"e_1_3_3_1_22_2","doi-asserted-by":"publisher","DOI":"10.1145\/1555619.1555629"},{"key":"e_1_3_3_1_23_2","doi-asserted-by":"publisher","unstructured":"John Paparrizos Yuhao Kang Paul Boniol Ruey\u00a0S. Tsay Themis Palpanas and Michael\u00a0J. Franklin. 2022. TSB-UAD: an end-to-end benchmark suite for univariate time-series anomaly detection. Proc. VLDB Endow. 15 8 (April 2022) 1697\u20131711. 10.14778\/3529337.3529354","DOI":"10.14778\/3529337.3529354"},{"key":"e_1_3_3_1_24_2","doi-asserted-by":"crossref","unstructured":"Kexin Pei Yifan Cao Junfeng Yang and Suman Jana. 2017. DeepXplore: Automated whitebox testing of deep learning systems. (2017) 1\u201318.","DOI":"10.1145\/3132747.3132785"},{"key":"e_1_3_3_1_25_2","doi-asserted-by":"publisher","unstructured":"Jon Perez-Cerrolaza Jaume Abella Markus Borg Carlo Donzella Jes\u00fas Cerquides Francisco\u00a0J. Cazorla Cristofer Englund Markus Tauber George Nikolakopoulos and Jose\u00a0Luis Flores. 2024. Artificial Intelligence for Safety-Critical Systems in Industrial and Transportation Domains: A Survey. ACM Comput. Surv. 56 7 Article 176 (April 2024) 40\u00a0pages. 10.1145\/3626314","DOI":"10.1145\/3626314"},{"key":"e_1_3_3_1_26_2","doi-asserted-by":"crossref","unstructured":"Alberto Petrucci Francesco Basciani and Patrizio Pelliccione. 2024. AI\/ML for safety-critical software: the case of the space domain. IEEE Software (2024).","DOI":"10.1109\/MS.2024.3412406"},{"key":"e_1_3_3_1_27_2","unstructured":"Alberto Petrucci Francesco Basciani Franco Raimondi and Patrizio Pelliccione. 2025. Replication Package for Deploying SafeKAN for Anomaly Detection in Safety-Critical Satellite Operations: An Industry-Guided Study. (2025). https:\/\/zenodo.org\/records\/17177484 Accessed: September 22 2025."},{"key":"e_1_3_3_1_28_2","doi-asserted-by":"crossref","unstructured":"Luciana Rebelo Francesco Basciani and Patrizio Pelliccione. 2025. Applications of AI in Space Domain. Comput. Surveys (2025).","DOI":"10.1145\/3757317"},{"key":"e_1_3_3_1_29_2","doi-asserted-by":"publisher","DOI":"10.1145\/2593690.2593694"},{"key":"e_1_3_3_1_30_2","doi-asserted-by":"crossref","unstructured":"David Salinas Valentin Flunkert Jan Gasthaus and Tim Januschowski. 2020. DeepAR: Probabilistic forecasting with autoregressive recurrent networks. International journal of forecasting 36 3 (2020) 1181\u20131191.","DOI":"10.1016\/j.ijforecast.2019.07.001"},{"key":"e_1_3_3_1_31_2","unstructured":"Christian Szegedy Wojciech Zaremba Ilya Sutskever Joan Bruna Dumitru Erhan Ian Goodfellow and Rob Fergus. 2013. Intriguing properties of neural networks. (2013)."},{"key":"e_1_3_3_1_32_2","unstructured":"ICS :\u00a043.040.10 Technical Committee : ISO\/TC 22\/SC\u00a032. 2022. ISO 21448:2022 Road vehicles \u2014 Safety of the intended functionality. International Organization for Standardization (2022)."},{"key":"e_1_3_3_1_33_2","doi-asserted-by":"crossref","unstructured":"Du Tran Lubomir\u00a0D Bourdev Rob Fergus Lorenzo Torresani and Manohar Paluri. 2015. Learning spatiotemporal features with 3d convolutional networks. (2015) 4489\u20134497.","DOI":"10.1109\/ICCV.2015.510"},{"key":"e_1_3_3_1_34_2","doi-asserted-by":"crossref","unstructured":"Claes Wohlin and Per Runeson. 2021. Guiding the selection of research methodology in industry\u2013academia collaboration in software engineering. Information and software technology 140 (2021) 106678.","DOI":"10.1016\/j.infsof.2021.106678"},{"key":"e_1_3_3_1_35_2","doi-asserted-by":"crossref","unstructured":"Tom Young Devamanyu Hazarika Soujanya Poria and Erik Cambria. 2018. Recent trends in deep learning based natural language processing. IEEE Computational intelligence magazine 13 3 (2018) 55\u201375.","DOI":"10.1109\/MCI.2018.2840738"},{"key":"e_1_3_3_1_36_2","unstructured":"Tian\u00a0Zhang Zhang Soumya Basak Saikat Ray and Bimal Viswanath. 2018. Towards systematic testing of deep neural networks. (2018) 707\u2013718."},{"key":"e_1_3_3_1_37_2","unstructured":"Xianyang Zhang and Huijuan Zhou. 2024. Generalization Bounds and Model Complexity for Kolmogorov-Arnold Networks. (2024). arxiv:https:\/\/arXiv.org\/abs\/2410.08026\u00a0[cs.LG] https:\/\/arxiv.org\/abs\/2410.08026"}],"event":{"name":"ICSE-SEIP '26: 2026 IEEE\/ACM 48th International Conference on Software Engineering","location":"Rio de Janeiro Brazil","acronym":"ICSE-SEIP '26","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering","IEEE CS","Faculty of Engineering of University of Porto"]},"container-title":["Proceedings of the IEEE\/ACM 48th International Conference on Software Engineering: Software Engineering in Practice"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3786583.3786861","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,7,11]],"date-time":"2026-07-11T09:12:32Z","timestamp":1783761152000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3786583.3786861"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2026,4,12]]},"references-count":36,"alternative-id":["10.1145\/3786583.3786861","10.1145\/3786583"],"URL":"https:\/\/doi.org\/10.1145\/3786583.3786861","relation":{},"subject":[],"published":{"date-parts":[[2026,4,12]]},"assertion":[{"value":"2026-07-11","order":3,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}