Main Goal

The goal of the workshop is to provide a common forum where researchers from across the world can debate new research ideas and directions on novel dependability assessment approaches for cyber-physical and complex systems by gathering researchers and practitioners working on cypher-physical research topics and related areas such as data communication in cyber-physical networks, safety and security of cyber-physical and critical systems, automated verification and validation of critical systems.

Topics of the Workshop

The workshop aims at discussing current state of the art, emerging challenges and trends, as well as novel solutions for cyber-physical and critical systems validation. Workshop topics include, but are not limited to:

Submission Guidelines

Research Papers, Practical Experience Reports, and Short Papers should be respectively no longer than 10 pages, 6 pages and 4 pages, following the IEEE two-column format for conference proceedings. The category of the paper should be clearly marked in the first page. Authors are requested to first register their submissions and then submit their manuscripts in PDF format at the JEMS webpage. JEMS limits to a maximum of 8 authors per paper. More than 8 authors is allowed, but must be indicated to the TPC chairs after acceptance notification.

Important Dates

Paper Submission: Oct 2nd, 2019 (Extended)
Notification: Oct 10th, 2019
Camera Ready: Oct 14th, 2019
Note: Submission deadline falls after notification deadline of LADC. Feel free to resubmit paper that did not have luck at the main conference (if any), that may adequately fit the purpose of WAFERS.