João-Vitor Zacchi

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

Collaborative distances:

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

2024

Navigating the EU AI Act: A Methodological Approach to Compliance for Safety-critical Products.

Jessica Kelly, S. Zafar, L. 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