Abstract:The first International Workshop on Verification and Validation of Cyber-Physical Systems (V2CPS-16) was held in conjunction with the 12th International Conference on integration of Formal Methods (iFM 2016) in Reykjavik, Iceland. The purpose of V2CPS-16 was to bring together researchers and experts of the fields of formal verification and cyber-physical systems (CPS) to cover the theme of this workshop, namely a wide spectrum of verification and validation methods including (but not limited to) control, simulation, formal methods, etc. A CPS is an integration of networked computational and physical processes with meaningful inter-effects; the former monitors, controls, and affects the latter, while the latter also impacts the former. CPSs have applications in a wide-range of systems spanning robotics, transportation, communication, infrastructure, energy, and manufacturing. Many safety-critical systems such as chemical processes, medical devices, aircraft flight control, and automotive systems, are indeed CPS. The advanced capabilities of CPS require complex software and synthesis algorithms, which are hard to verify. In fact, many problems in this area are undecidable. Thus, a major step is to find particular abstractions of such systems which might be algorithmically verifiable regarding specific properties of such systems, describing the partial/overall behaviors of CPSs.

Proceedings 10th International Workshop on Parallel and Distributed Methods in verifiCation

10th Workshop on Advances in Parallel and Distributed Computational Models - APDCM'08

Proceedings of the Eleventh International Workshop on Developments in Computational Models

Workshop 13: PDSEC Parallel and Distributed Scientific and Engineering Computing.

Dagstuhl Manifestos, Vol. 7, Issue 1 ISSN 2193-2433

Message from the PDSEC-10 Workshop Chairs.

Proceedings 13th International Workshop on Developments in Computational Models

Proceedings First Workshop on Pre- and Post-Deployment Verification Techniques

Workshop 9: PDCO Parallel / Distributed Combinatorics and Optimization

Proceedings of SPDP '96: 8th IEEE Symposium on Parallel and Distributed Processing

Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

Proceedings of the 11th annual ACM workshop on Digital rights management

Proceedings Tenth International Workshop on Developments in Computational Models

CADP 2011: a toolbox for the construction and analysis of distributed processes

Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems

Proceedings of the 12th International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software

Methods to Model-Check Parallel Systems Software

Message from the PDSEC-09 Workshop Chairs

Multi-Core Programming in Land Plan Spatial Data Quality Checking: A Case Study on Multilayer Relationship Checking

Special Issue on the pervasive nature of HPC (PN‐HPC)

CADP 2010: A Toolbox for the Construction and Analysis of Distributed Processes