Joo-Vitor Zacchi
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2021–2026
Best venue rank
Unranked
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | SAC | A Subjective Logic-based method for runtime confidence updates in safety arguments. | Benjamin Herd, Jessica Kelly, Clarissa Heinemann, Joo-Vitor Zacchi |
| 2025 | ECSA | Runtime Monitor Synthesis for Automotive Software Architectures. | Fazli Faruk Okumus, Joo-Vitor Zacchi, Maike Salfeld, Markus Schweizer, Nria Mata, Stefan Kugele |
| 2025 | EDCC | Integrating Defeaters into Subjective Logic-Based Quantitative Assurance Arguments. | Benjamin Herd, Jessica Kelly, Joo-Vitor Zacchi, Clarissa Heinemann, Simon Diemert |
| 2024 | SAFECOMP | Uncertainty-Aware Evaluation of Quantitative ML Safety Requirements. | Simon Burton, Benjamin Herd, Joo-Vitor Zacchi |
| 2024 | SAFECOMP | A Deductive Approach to Safety Assurance: Formalising Safety Contracts with Subjective Logic. | Benjamin Herd, Joo-Vitor Zacchi, Simon Burton |
| 2021 | EDCC | Dynamic Risk Management for Safely Automating Connected Driving Maneuvers. | Marta Grobelna, Joo-Vitor Zacchi, Philipp Schlei, Simon Burton |