João-Vitor Zacchi

According to our database, João-Vitor Zacchi authored at least 11 papers between 2021 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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, February, 2025

Uncrewed Ground Vehicles in Military Operations: Lessons Learned from Experimental Exercises.

Bruno Cândido, Nuno Pessanha Santos, Alexandra Moutinho, João-Vitor Zacchi

Proceedings of the IEEE International Conference on Autonomous Robot Systems and Competitions, 2025

Integrating Defeaters into Subjective Logic-Based Quantitative Assurance Arguments.

Benjamin Herd, Jessica Kelly, João-Vitor Zacchi, Clarissa Heinemann, Simon Diemert

Proceedings of the 20th European Dependable Computing Conference, 2025

Runtime Monitor Synthesis for Automotive Software Architectures.

Fazli Faruk Okumus, João-Vitor Zacchi, Maike Salfeld, Markus Schweizer, Núria Mata, Stefan Kugele

Proceedings of the Software Architecture - 19th European Conference, 2025

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

Proceedings of the 2025 AAAI Spring Symposium Series, 2025

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

A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective Logic.

Benjamin Herd, João-Vitor Zacchi, Simon Burton

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024

Uncertainty-Aware Evaluation of Quantitative ML Safety Requirements.

Simon Burton, Benjamin Herd, João-Vitor Zacchi

Proceedings of the Computer Safety, Reliability, and Security. SAFECOMP 2024 Workshops, 2024

2023

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

Proceedings of the 16th IEEE International Symposium on Embedded Multicore/Many-core Systems-on-Chip, 2023

2021

Situation-Aware Model Refinement for Semantic Image Segmentation.

Lukas Habermayr, Markus Hofbauer, João-Vitor Zacchi, Christopher B. Kuhn

Proceedings of the 24th IEEE International Intelligent Transportation Systems Conference, 2021

Dynamic Risk Management for Safely Automating Connected Driving Maneuvers.

Marta Grobelna, João-Vitor Zacchi, Philipp Schleiß, Simon Burton

Proceedings of the 17th European Dependable Computing Conference, 2021