Accepted Papers & Talks

Invited Talks

• Invited talk (tbd)

  Chair: Behrooz Sangchoolie 

Autonomous Vehicles

• A Hybrid Cybersecurity Assessment Framework for Unmanned Aircraft Vehicles Based on IMECA and Penetration Testing

  Artem Abakumov, Vyacheslav Kharchenko, Peter Popov

  Chair: David Pereira 

• Refining Environmental Requirements for Autonomous Driving Systems: Leveraging the FRAV Framework

  Mahwish Kundi, Faraz Ahmad, Rosemary Monahan

  Chair: David Pereira 

• Safety-Centric Architecture for AI-Enabled Autonomous Driving Systems

  Jatin Arora, Alexandre Esper, Vasco Santos

  Chair: David Pereira Short paper 

Logical Reasoning

• Enhancing Cyber-Physical System Dependability via Synthesis: Challenges and Future Directions

  Max Taylor, Arthur Amorim

  Chair: Raul Barbosa 

• Model-driven, logic-supported exploratory dependability analysis

  András Földvári, András Pataricza

  Chair: Raul Barbosa 

• 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

  Chair: Raul Barbosa Short paper 

AI for V&V

• Dependability Assurance with Symbolic Reasoning in LLM-enabled Systems

  András Gergely Deé-Lukács, András Földvári

  Chair: Peter Popov 

• 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

  Chair: Peter Popov 

• Theorem Proving for Rigorous Verification of Decision Tree Ensembles against Specifications

  Iat Tou Leong, Aleksandar Avdalovic, Raul Barbosa

  Chair: Peter Popov 

Welcome

• Welcome to VERDI 2025

  Behrooz Sangchoolie, David Pereira, José Proença

Organisation

• Coffee break

• Lunch