23 June 2025, 3rd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems (VERDI 2025), Naples, Italy
The VERDI workshop aims at serving as a discussion forum focused on the area of V&V as a means to guarantee dependability of complex, potentially automated/autonomous CPS. This workshop covers all aspects related to the dependability evaluation (with special focus on *safety* and *security*) of safety-critical CPS using techniques such as fault/attack-injection, runtime verification, formal verification, semi-formal analysis, simulation, and testing.
We welcome submissions in IEEE two-column conference style in two formats: Full papers (up to 8 pages) and Short papers (up to 4 pages). All submissions should be made in PDF and must adhere to the IEEE Computer Society 8.5"x11" two-column camera-ready format. Reviewing is single-blind. The names and affiliations of authors must appear in the submitted papers. Submissions not respecting format requirements may be rejected without review.