| 9:00 |
|
Welcome to VERDI 2025
Behrooz Sangchoolie, David Pereira, José Proença
|
|---|
|
:15
|
|
|---|
|
:30
|
|
Graphical Security Models and Their Applications
Dan Dongseong Kim
Chair: Behrooz Sangchoolie
|
|---|
|
:45
|
|
|---|
| 10:00 |
|
|---|
|
:15
|
|
|---|
|
:30
|
|
Coffee break
|
|---|
|
:45
|
|
|---|
| 11:00 |
|
A Hybrid Cybersecurity Assessment Framework for Unmanned Aircraft Vehicles Based on IMECA and Penetration Testing
Artem Abakumov, Vyacheslav Kharchenko, Peter Popov
Chair: David Pereira
|
|---|
|
:15
|
|
|---|
|
:30
|
|
Refining Environmental Requirements for Autonomous Driving Systems: Leveraging the FRAV Framework
Mahwish Kundi, Faraz Ahmad, Rosemary Monahan
Chair: David Pereira
|
|---|
|
:45
|
|
|---|
| 12:00 |
|
Safety-Centric Architecture for AI-Enabled Autonomous Driving Systems
Jatin Arora, Alexandre Esper, Vasco Santos
Chair: David Pereira Short paper
|
|---|
|
:15
|
|
|---|
|
:30
|
|
Lunch
|
|---|
|
:45
|
|
|---|
| 13:00 |
|
|---|
|
:15
|
|
|---|
|
:30
|
|
|---|
|
:45
|
|
|---|
| 14:00 |
|
Model-driven, logic-supported exploratory dependability analysis
András Földvári, András Pataricza
Chair: Raul Barbosa
|
|---|
|
:15
|
|
|---|
|
:30
|
|
Enhancing Cyber-Physical System Dependability via Synthesis: Challenges and Future Directions
Max Taylor, Arthur Amorim
Chair: Raul Barbosa
|
|---|
|
:45
|
|
|---|
| 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
Chair: Raul Barbosa Short paper
|
|---|
|
:15
|
|
|---|
|
:30
|
|
Coffee break
|
|---|
|
:45
|
|
|---|
| 16:00 |
|
Dependability Assurance with Symbolic Reasoning in LLM-enabled Systems
András Gergely Deé-Lukács, András Földvári
Chair: Peter Popov
|
|---|
|
:15
|
|
|---|
|
:30
|
|
Program Verification for Rigorous Analysis of Decision Tree Ensembles against Specifications
Iat Tou Leong, Aleksandar Avdalovic, Raul Barbosa
Chair: Peter Popov
|
|---|
|
:45
|
|
|---|
| 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, Samvit Bhattacharya, Abubakr Nazriev, Sanika Hirave, Zaryab Kanjiani, Srinjoy Ghose
Chair: Peter Popov
|
|---|
|
:15
|
|
|---|