CPS Week 2016
11-14 April 2016
Hofburg, Vienna
CPS Week is the premier event on Cyber-Physical Systems. It brings together four top conferences, HSCC, ICCPS, IPSN, and RTAS, three summits, six tutorials, 21 workshops, a localization competition and various exhibitions from both industry and academia. Altogether the CPS Week program covers a multitude of complementary aspects of CPS, and reunites the leading researchers in this dynamic field.
MT CPS 2016
First International Workshop on Monitoring and Testing Cyber-Physical Systems
11 April 2016
Hofburg, Vienna
Collocated with CPS Week 2016
CPS Week is the premier event on Cyber-Physical Systems. It brings together four top conferences, HSCC, ICCPS, IPSN, and RTAS, three summits, six tutorials, 21 workshops, a localization competition and various exhibitions from both industry and academia. Altogether the CPS Week program covers a multitude of complementary aspects of CPS, and reunites the leading researchers in this dynamic field.
RV 2015
15th International Conference on Runtime Verification
22-25 September 2015
Vienna, Austria
Runtime verification is concerned with monitoring and analysis of software and hardware system executions. Runtime verification techniques are crucial for system correctness, reliability, and robustness; they are significantly more powerful and versatile than conventional testing, and more practical than exhaustive formal verification. Runtime verification can be used prior to deployment, for testing, verification, and debugging purposes, and after deployment for ensuring reliability, safety, and security and for providing fault containment and recovery as well as online system repair.