Dynamic Risk Management for Safely Automating Connected Driving Maneuvers. - Marta Grobelna; João-Vitor Zacchi; Philipp Schleiß; Simon Burton 001 (EDCC, 2021)

Situation-Aware Model Refinement for Semantic Image Segmentation. - Lukas Habermayr; Markus Hofbauer; João-Vitor Zacchi; Christopher B. Kuhn (ITSC, 2021)

Reliability Estimation of ML for Image Perception: A Lightweight Nonlinear Transformation Approach Based on Full Reference Image Quality Metrics. - João-Vitor Zacchi; Francesco Carella; Priyank Upadhya; Shanza Ali Zafar; John Molloy; Lisa Jöckel; Janek Groß; Núria Mata; Nguyen Anh Vu Doan (MCSoC, 2023)

Uncertainty-Aware Evaluation of Quantitative ML Safety Requirements. - Simon Burton 001; Benjamin Herd; João-Vitor Zacchi (SAFECOMP (Workshops), 2024)

A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective Logic. - Benjamin Herd; João-Vitor Zacchi; Simon Burton 001 (SAFECOMP (Workshops), 2024)

Navigating the EU AI Act: A Methodological Approach to Compliance for Safety-critical Products. - Jessica Kelly; Shanza Ali Zafar; Lena Heidemann; João-Vitor Zacchi; D. Espinoza; Núria Mata (CoRR, 2024)

Towards Automated Safety Requirements Derivation Using Agent-based RAG. - Balahari Vignesh Balu; Florian Geissler; Francesco Carella; João-Vitor Zacchi; Josef Jiru; Núria Mata; Reinhard Stolle (AAAI Spring Symposia, 2025)

Runtime Monitor Synthesis for Automotive Software Architectures. - Fazli Faruk Okumus; João-Vitor Zacchi; Maike Salfeld; Markus Schweizer; Núria Mata; Stefan Kugele (ECSA, 2025)

Integrating Defeaters into Subjective Logic-Based Quantitative Assurance Arguments. - Benjamin Herd; Jessica Kelly; João-Vitor Zacchi; Clarissa Heinemann; Simon Diemert (EDCC, 2025)

Uncrewed Ground Vehicles in Military Operations: Lessons Learned from Experimental Exercises. - Bruno Cândido; Nuno Pessanha Santos; Alexandra Moutinho; João-Vitor Zacchi (ICARSC, 2025)

APIKS: A Modular ROS2 Framework for Rapid Prototyping and Validation of Automated Driving Systems. - João-Vitor Zacchi; Edoardo Clementi; Núria Mata (CoRR, 2025)