The concrete room for the VERDI workshop will be announced later.
|
9:15
|
Welcome to VERDI 2025
Behrooz Sangchoolie, David Pereira, José Proença
|
|
9:30
|
Invited talk (tbd)
|
|
10:30
|
Coffee break
|
|
11:00
|
A Hybrid Cybersecurity Assessment Framework for Unmanned Aircraft Vehicles Based on IMECA and Penetration Testing
Artem Abakumov, Vyacheslav Kharchenko, Peter Popov
|
|
11:30
|
Refining Environmental Requirements for Autonomous Driving Systems: Leveraging the FRAV Framework
Mahwish Kundi, Faraz Ahmad, Rosemary Monahan
|
|
12:00
|
Safety-Centric Architecture for AI-Enabled Autonomous Driving Systems
Jatin Arora, Alexandre Esper, Vasco Santos
|
|
12:30
|
Lunch
|
|
14:00
|
Model-driven, logic-supported exploratory dependability analysis
András Földvári, András Pataricza
|
|
14:30
|
Enhancing Cyber-Physical System Dependability via Synthesis: Challenges and Future Directions
Max Taylor, Arthur Amorim
|
|
15:00
|
Reasoning with Happens-Before Relations about Concurrent Programs in the Theta Framework
Csanád Telbisz, Levente Bajczi, Dániel Szekeres, András Vörös, István Majzik
|
|
15:30
|
Coffee break
|
|
16:00
|
Dependability Assurance with Symbolic Reasoning in LLM-enabled Systems
András Gergely Deé-Lukács, András Földvári
|
|
16:30
|
Theorem Proving for Rigorous Verification of Decision Tree Ensembles against Specifications
Iat Tou Leong, Aleksandar Avdalovic, Raul Barbosa
|
|
17:00
|
DURA‑CPS: A Multi‑Role Orchestrator for Dependability Assurance in LLM‑Enabled Cyber‑Physical Systems
Trisanth Srinivasan, Santosh Patapati, Himani Musku, Idhant Gode, Aditya Arora, Abubakr Nazriev, Sanika Hirave, Zaryab Kanjiani, Srinjoy Ghose
|