17. HASE 2016: Orlando, FL, USA

Session 1A: Cybersecurity I

Session 1B: Adaptive Systems

Session 2A: Testing and Quality Assurance

Session 2B: Safety-Critical Systems

Session 3A: System Resilience and Survivability

Session 3B: Software Analysis

Session 4A: Cybersecurity II

Session 4B: Formal Development

Session 5A: Analysis of Design Models

Session 5B: Networked Systems

Session 6A: Work in Progress - Software

Session 6B: Work in Progress - System

Session 7A: Cloud Services

Session 7B: Smart Grid and Cyber-Physical Systems

maintained by Schloss Dagstuhl LZI at University of Trier