ICSE 2026
Sun 12 - Sat 18 April 2026 Rio de Janeiro, Brazil
Thu 16 Apr 2026 14:15 - 14:30 at Oceania X - Dependability and Security 6 Chair(s): Elizabeth Dinella

Safety-critical systems in domains such as aerospace, railways, and automotive require anomaly detection methods that are not only accurate but also transparent, predictable, and certifiable under strict operational constraints. Traditional deep neural networks fall short in these contexts because their black-box nature prevents formal reasoning, and their outputs cannot be restricted within well-defined operational limits. In this paper, we present SafeKAN, developed in collaboration with Thales Alenia Space, to address anomaly detection in satellite telemetry. SafeKAN builds on Kolmogorov–Arnold Networks (KANs) and introduces domain-specific adaptations, including codomain bounds derived from noise statistics, the exploitation of periodicity to learn from minimal datasets, and the estimation of signal period without prior knowledge. The results show that SafeKAN can achieve reliable anomaly detection while operating within safety bounds and providing the transparency required in certification processes.

Thu 16 Apr

Displayed time zone: Brasilia, Distrito Federal, Brazil change

14:00 - 15:30
Dependability and Security 6SE In Practice (SEIP) / Research Track / SE in Society (SEIS) at Oceania X
Chair(s): Elizabeth Dinella Bryn Mawr College
14:00
15m
Talk
"Where is My Troubleshooting Procedure?": Studying the Potential of RAG in Assisting Failure Resolution of Large Cyber-Physical System
SE In Practice (SEIP)
Maria Teresa Rossi University of Milano Bicocca, Italy, Leonardo Mariani University of Milano-Bicocca, Oliviero Riganelli University of Milano - Bicocca, Giuseppe Filomento University of Milano - Bicocca, Danilo Giannone University of Milano - Bicocca, Paolo Gavazzo University of Milano - Bicocca
Pre-print
14:15
15m
Talk
Deploying SafeKAN for Anomaly Detection in Safety-Critical Satellite Operations: An Industry-Guided Study
SE In Practice (SEIP)
Alberto Petrucci Gran Sasso Science Institute (GSSI), Francesco Basciani Gran Sasso Science Institute (GSSI), Franco Raimondi Gran Sasso Science Institute (GSSI), Patrizio Pelliccione Gran Sasso Science Institute, L'Aquila, Italy
14:30
15m
Talk
FoundRoot: Towards Foundation Model for Root Cause Analysis via Structured Deep Thinking
Research Track
Zhe Xie Tsinghua University, Zeyan Li ByteDance, Xiao He Bytedance, Shenglin Zhang Nankai University, Longlong Xu Tsinghua University, Yuzhuo Yang Tsinghua University, Tieying Zhang ByteDance, Jianjun Chen Bytedance, Rui Shi Bytedance, Dan Pei Tsinghua University
14:45
15m
Talk
An Ontology-Based Approach to Security Risk Identification for Container Deployments in OT ContextsVirtual Attendance
SE In Practice (SEIP)
Yannick Landeck fortiss GmbH, Dian Balta fortiss GmbH, Martin Wimmer Siemens AG, Christian Knierim Siemens AG
DOI Pre-print Media Attached
15:00
15m
Talk
PCICF: A Pedestrian Crossing Identification and Classification Framework
SE In Practice (SEIP)
Junyi Gu Chalmers University of Technology and University of Gothenburg, Beatriz Cabrero-Daniel University of Gothenburg, Ali Nouri Volvo cars & Chalmers University of Technology, Lydia Armini Chalmers University of Technology and University of Gothenburg, Christian Berger Chalmers University of Technology, Sweden
15:15
15m
Talk
Engineering Future Critical CPSs with Trustworthy GenAI Across the Lifecycle
SE in Society (SEIS)
Alessio Bucaioni Mälardalen University, Antonio Cicchetti Mälardalen University, Gordana Dodig Crnkovic Mälardalen University, Romina Spalazzese Malmö University, Emma Söderberg Lund University, Daniel Varro Linköping University / McGill University