João-Vitor Zacchi

13 papers B 1Misc 2Journal 3Unranked 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
APIKS: A Modular ROS2 Framework for Rapid Prototyping and Validation of Automated Driving Systems.
CoRR
João-Vitor Zacchi, Edoardo Clementi, Núria Mata
2025 Misc conf
Integrating Defeaters into Subjective Logic-Based Quantitative Assurance Arguments.
EDCC
Benjamin Herd, Jessica Kelly, João-Vitor Zacchi, Clarissa Heinemann, Simon Diemert
2025 B conf
Runtime Monitor Synthesis for Automotive Software Architectures.
ECSA
Fazli Faruk Okumus, João-Vitor Zacchi, Maike Salfeld, Markus Schweizer, Núria Mata, Stefan Kugele
2025 — conf
Towards Automated Safety Requirements Derivation Using Agent-based RAG.
AAAI Spring Symposia
Balahari Vignesh Balu, Florian Geissler, Francesco Carella, João-Vitor Zacchi, Josef Jiru, Núria Mata, Reinhard Stolle
2025 J jnl
Towards Automated Safety Requirements Derivation Using Agent-based RAG.
CoRR
Balahari Vignesh Balu, Florian Geissler, Francesco Carella, João-Vitor Zacchi, Josef Jiru, Núria Mata, Reinhard Stolle
2025 — conf
Uncrewed Ground Vehicles in Military Operations: Lessons Learned from Experimental Exercises.
ICARSC
Bruno Cândido, Nuno Pessanha Santos, Alexandra Moutinho, João-Vitor Zacchi
2024 — conf
A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective Logic.
SAFECOMP (Workshops)
Benjamin Herd, João-Vitor Zacchi, Simon Burton
2024 — conf
Navigating the EU AI Act: A Methodological Approach to Compliance for Safety-critical Products.
CAI
Jessica Kelly, Shanza Ali Zafar, Lena Heidemann, João-Vitor Zacchi, Delfina Espinoza, Núria Mata
2024 J jnl
Navigating the EU AI Act: A Methodological Approach to Compliance for Safety-critical Products.
CoRR
Jessica Kelly, Shanza Ali Zafar, Lena Heidemann, João-Vitor Zacchi, Delfina Espinoza, Núria Mata
2024 — conf
Uncertainty-Aware Evaluation of Quantitative ML Safety Requirements.
SAFECOMP (Workshops)
Simon Burton, Benjamin Herd, João-Vitor Zacchi
2023 — conf
Reliability Estimation of ML for Image Perception: A Lightweight Nonlinear Transformation Approach Based on Full Reference Image Quality Metrics.
MCSoC
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
2021 Misc conf
Dynamic Risk Management for Safely Automating Connected Driving Maneuvers.
EDCC
Marta Grobelna, João-Vitor Zacchi, Philipp Schleiß, Simon Burton
2021 — conf
Situation-Aware Model Refinement for Semantic Image Segmentation.
ITSC
Lukas Habermayr, Markus Hofbauer, João-Vitor Zacchi, Christopher B. Kuhn