Abstract is missing.
- Modeling Challenges for CPS SystemsDavid Garlan. 1 [doi]
- Accelerating Regression Testing for Scaled Self-Driving Cars with Lightweight Virtualization - A Case StudyChristian Berger. 2-7 [doi]
- Fault Localization in Embedded Control System SoftwareKai Liang, Zhuofu Bai, Murat Cenk Cavusoglu, Andy Podgurski, Soumya Ray. 8-14 [doi]
- Verification and Validation in Cyber Physical Systems: Research Challenges and a Way ForwardXi Zheng, Christine Julien. 15-18 [doi]
- Continuous Collaboration: A Case Study on the Development of an Adaptive Cyber-physical SystemMatthias M. Hölzl, Thomas Gabor. 19-25 [doi]
- A Model-Based Approach for the Specification of a Virtual Power Plant Operating in Open ContextVasileios Koutsoumpas. 26-32 [doi]
- An Application Conflict Detection and Resolution System for Smart HomesMiki Yagita, Fuyuki Ishikawa, Shinichi Honiden. 33-39 [doi]
- Taming Heterogeneity and Distribution in sCPSBrice Morin, Franck Fleurey, Olivier Barais. 40-43 [doi]
- Versioning in Cyber-physical Production System Engineering - Best-Practice and Research AgendaRichard Mordinyi, Stefan Biffl. 44-47 [doi]
- Collaborating Multiple System Instances of Smart Cyber-physical Systems: A Problem Situation, Solution Idea, and Remaining Research ChallengesMarian Daun, Jennifer Brings, Torsten Bandyszak, Philipp Bohn, Thorsten Weyer. 48-51 [doi]
- Towards Cyber-physical Systems as Services: The ASIP ProtocolMirco Bordoni, Michele Bottone, Bob Fields, Nikos Gorogiannis, Michael Margolis, Giuseppe Primiero, Franco Raimondi. 52-55 [doi]