2025
Safety Interventions against Adversarial Patches in an Open-Source Driver Assistance System.
CoRR, April, 2025

2024
Hybrid Knowledge and Data Driven Synthesis of Runtime Monitors for Cyber-Physical Systems.
IEEE Trans. Dependable Secur. Comput., 2024

Strategic Resilience Evaluation of Neural Networks Within Autonomous Vehicle Software.
Proceedings of the Computer Safety, Reliability, and Security, 2024

2023
KnowSafe: Combined Knowledge and Data Driven Hazard Mitigation in Artificial Pancreas Systems.
CoRR, 2023

Experimental Security Analysis of DNN-based Adaptive Cruise Control under Context-Aware Perception Attacks.
CoRR, 2023

Short: Basal-Adjust: Trend Prediction Alerts and Adjusted Basal Rates for Hyperglycemia Prevention.
Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2023

Towards Developing Safety Assurance Cases for Learning-Enabled Medical Cyber-Physical Systems.
Proceedings of the Workshop on Artificial Intelligence Safety 2023 (SafeAI 2023) co-located with the Thirty-Seventh AAAI Conference on Artificial Intelligence (AAAI 2023), 2023

2022
Strategic Safety-Critical Attacks Against an Advanced Driver Assistance System.
Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

Robustness Testing of Data and Knowledge Driven Anomaly Detection in Cyber-Physical Systems.
Proceedings of the 52nd Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2022

Design and Validation of an Open-Source Closed-Loop Testbed for Artificial Pancreas Systems.
Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2022

2021
Data-driven Design of Context-aware Monitors for Hazard Prediction in Artificial Pancreas Systems.
Proceedings of the 51st Annual IEEE/IFIP International Conference on Dependable Systems and Networks, 2021