Invited papers

1. Towards Assurance Cases for Resilient Control Systems

James Weimer, Oleg Sokolsky, Nicola Bezzo, and Insup Lee


2. Towards Independent in-Cloud Evolution of Cyber-Physical Systems

Amir Taherkordi and Frank Eliassen


3. Smart Cells for Embedded Battery Management

Sebastian Steinhorst, Martin Lukasiewycz, Swaminathan Narayanaswamy, Matthias Kauer, Samarjit Chakraborty








Technical sponsorship