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

Publicity