Animation and exchanges in the Petri Nets community

[José Miguel Paiva Proença <address@concealed>]

-----------------------------------------------------------
VERDI 2024 - Deadline extension

2nd International Workshop on Verification & Validation of Dependable 
Cyber-Physical Systems
24 June 2024, Brisbane, Australia

Co-located with the 54th Annual IEEE/IFIP International Conference on 
Dependable Systems and Networks (DSN)

https://verdi-workshop.github.io/2024
-----------------------------------------------------------


=== Important Dates ===

Paper submission: April 2 (instead of March 22, AoE)
Notification: April 25 (instead of April 12, AoE)
Final version: May 3 (AoE)


=== About VERDI ===

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.


=== Scope ===

The fast increase and availability of communication bandwidth and 
computational power, as well as emerging computing paradigms such as Cloud 
Computing, Edge Computing, and Deep Learning, are pushing forward 
Cyber-Physical Systems (CPS) research and development and establishing them 
as promising engineering solutions to address challenges arising in several 
domains. A key property that CPS are expected to exhibit is that of 
dependability. A key ingredient to ensure dependability is to successfully 
apply verification & validation (V&V) techniques and attest the desired 
levels of safety, security, and privacy. This is a challenging task that 
comes with significant time and cost implications for all the organizations 
involved in the build-up and evaluation of CPS. This challenge becomes even 
more critical with the incorporation of more and more Artificial Intelligence 
models into the operational capabilities of CPS for handling tasks that are 
increasingly complex.


=== Topics ===

The 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. Topics include, but are not 
limited to:

  - 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


=== Submissions ===

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.

Please use the EasyChair link below to submit your paper, selecting the track 
allocated to VERDI 2024:
  
  - https://easychair.org/conferences/?conf=verdi2024

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.


=== 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 Florence, 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, 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
  - Ahmed Yazıcı, Eskisehir Osmangazi University, Turkey
  - Saman Zonouz, Georgia Tech, USA


=== Organising committee ===

  - David Pereira <address@concealed>, ISEP, Portugal
  - José Proença <address@concealed>, University of Porto, Portugal
  - Behrooz Sangchoolie <address@concealed>, RISE, Sweden