Accepted papers

Full papers

  • Fault Localization in Embedded Control System Software
    Kai Liang, Zhuofu Bai, M. Cenk Cavosoglu, Andy Podgurski, Soumya Ray
    Case Western Reserve University, USA
  • Continuous Collaboration: A Case Study on the Development of an Adaptive Cyber-Physical System
    Matthias Hölzl, Thomas Gabor
    LMU München, Germany
  • A Model-based Approach for the Specification of a Virtual Power Plant Operating in Open Context
    Vasileios Koutsoumpas
    TUM, Germany
  • Accelerating Regression Testing for Scaled Self-Driving Cars with Lightweight Virtualization – A Case Study
    Christian Berger
    University of Gothenburg, Sweden
  • An Application Conflict Detection and Resolution System for Smart Homes
    Miki Yagita, Fuyuki Ishikawa, Shinichi Honiden
    National Institute of Informatics and the University of Tokyo, Japan

Position and Future-trends papers

  • Verification and Validation in Cyber Physical Systems: Research Challenges and a Way Forward
    Xi Zheng, Christine Julien
    University of Texas, USA
  • Versioning in Cyber-Physical Production System Engineering? Best-Practice and Research Agenda
    Richard Mordinyi, Stefan Biffl
    Vienna University of Technology, Austria
  • Towards Cyber-Physical Systems as Services: the ASIP Protocol
    Mirco Bordoni, Michele Bottone, Bob Fields, Nikos Gorogiannis, Michael Margolis, Giuseppe Primiero, Franco Raimondi
    Ocado Group and Middlesex University, United Kingdom
  • Collaborating Multiple System Instances of Smart Cyber-Physical Systems: A Problem Situation, Solution Idea, and Remaining Research Challenges
    Marian Daun, Jennifer Brings, Torsten Bandyszak, Philipp Bohn, Thorsten Weyer
    University of Duisburg-Essen, Germany
  • Taming Heterogeneity and Distribution in sCPS
    Brice Morin, Franck Fleurey, Olivier Barais
    SINTEF, Norway and INRIA, France