VERDI 2024: 2nd International Workshop on Verification & Validation of Dependable Cyber-Physical Systems Co-located with DSN 2024 Brisbane, Australia, June 24, 2024 |
Conference website | https://verdi-workshop.github.io/2024/ |
Submission link | https://easychair.org/conferences/?conf=verdi2024 |
Abstract registration deadline | March 22, 2024 |
Submission deadline | April 12, 2024 |
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.
List of Topics
- Safety/security risk assessment and assurance
- Analysis of threats and vulnerabilities
- In-the-loop and model-based analysis and assessment
- Architecture-driven assurance of safety and security
- Interplay between safety and security
- Tools for validation and verification
- Dependability analysis using simulation and experimental measurement
- Methods for qualification, assurance, and certification
- Test space exploration and test space pruning
- Distributed and real-time monitoring and control
- Analysis of probabilistic, real-time, or hybrid systems
Submission Guidelines
We welcome submissions in IEEE two-column conference style in two formats:
- Full papers up to 8 pages
- Short papers up to 4 pages
The page limit includes references. Accepted papers (full and short) will be published in the DSN supplemental volume and made available in IEEE Xplore.
Publication
All submissions should be made in PDF and must adhere to the IEEE Computer Society 8.5"x11" two-column camera-ready format (using a 10-point font on 12- point single-spaced leading). Templates are available at https://www.ieee.org/conferences/publishing/templates.html.
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.
Committees
Program Committee
- Thomas Bauer, Fraunhofer IESE, Germany
- José Bacelar Almeida, University of Minho, Portugal
- Raul Barbosa, University of Coimbra, Portugal
- Stelios Basagiannis, Collins Aerospace, Ireland
- Marcello Cinque, University of Naples Federico II (UNINA), Italy
- Jose Luis de la Vara, University of Castilla-La Mancha, Spain
- André De Matos Pedro, VORTEX-CoLab, Portugal
- Marie Farrell, University of Manchester, United Kingdom
- Barbara Gallina, Mälardalen University, Sweden
- Guillaume Hiet, INRIA, France
- Paolo Lollini, University of Firenze, Italy
- Jan Tobias Mühlberg, Université Libre de Bruxelles, Belgium
- Rosemary Monahan, Maynooth University, Ireland
- Nasser Nowdehi, Volvo AB, Sweden
- Peter Ölveczky, University of Oslo, Norway
- Karthik Pattabiraman, University of British Columbia (UBC), Canada
- Antonio Pecchia, University of Sannio, Italy
- Peter Popov, City University, United Kingdom
- Juan Carlos Ruiz, Technical University of Valencia, Spain
- Horst Schirmeier, TU Dresden, Germany
- Christoph Schmittner, Austrian Institute of Technology, Austria
- Aleš Smrčka, Brno University of Technology, Czech Republic
- Volker Stolz, Høgskulen på Vestlandet, Norway
- Carolyn Talcott, SRI International, USA
- Stefano Tonetta, FBK-ICT, Italy
- Ahmet Yazici, Eskisehir Osmangazi University, Turkey
- Saman Zonouz, Georgia Institute of Technology, USA
Organizing committee
- David Pereira, Polytechnic Institute of Porto, Portugal
- José Proença, University of Porto, Portugal
- Behrooz Sangchoolie, RISE Research Institutes of Sweden, Borås, Sweden