Abstract is missing.
- SEsCPS 2017 Workshop SummaryTomás Bures, Danny Weyns, Bradley R. Schmerl, John Fitzgerald. 1 [doi]
- Crossing Boundaries: On the Inevitable Intertwining of Digital, Physical, and Social SpacesBashar Nuseibeh. 2 [doi]
- Engineering Events in CPS - Experiences and Lessons LearnedJulius Ollesch, Marc Hesenius, Volker Gruhn. 3-9 [doi]
- Bayesian Verification under Model UncertaintyLenz Belzner, Thomas Gabor. 10-13 [doi]
- Actor Based Root Cause Analysis in a Distributed EnvironmentMichal Zasadzinski, Victor Muntés-Mulero, Marc Soe Simo. 14-17 [doi]
- Stacked Thompson BanditsLenz Belzner, Thomas Gabor. 18-21 [doi]
- Smart Cyber-Physical Systems: Beyond Usable Security to Security Ergonomics by DesignBarnaby Craggs, Awais Rashid. 22-25 [doi]
- McFSM: Globally Taming Complex SystemsFlorian Murr, Wolfgang Mauerer. 26-29 [doi]
- Toward Energy-Aware Programming for Unmanned Aerial VehiclesYu David Liu, Lukasz Ziarek. 30-33 [doi]
- Software Engineering Challenges for Investigating Cyber-Physical IncidentsFaeq Alrimawi, Liliana Pasquale, Bashar Nuseibeh. 34-40 [doi]