Program

Sunday 19.10.2014

18:00 Light Dinner

Monday 20.10.2014

08:45 - 09:00 Welcome and Opening Remarks
09:00 - 10:00 Requirements and Development (3 talks)
10:00 - 11:00 Design and Development (3 talks)
11:00 - 11:15 Coffee Break
11:15 - 12:15 Control Theory and Synthesis (3 talks)
12:15 - 14:00 Lunch Break
14:00 - 15:20 Monitoring, Analysis and Decision-Making (4 talks)
15:20 - 16:00 Coffee Break
16:00 - 17:00 Verification, Validation and Assurances (3 talks)
17:00 - 17:40 Resource-Efficiency and Performance (2 talks)
18:00 Dinner

Tuesday 21.10.2014

09:00 - 10:00 Security and Privacy (3 talks)
10:00 - 10:40 Context-based Applications (2 talks)
10:40 - 11:10 Coffee Break
11:10 - 11:50 Embedded and Cyber-Physical Systems (2 talks)
11:50 - 12:15 Discussion / Collect topics for breakout groups
12:15 - 14:00 Lunch Break
14:00 - 15:30 Discussion / Select topics and form breakout groups
15:30 - 16:00 Coffee Break
16:00 - 18:00 Group work
18:00 Dinner

Wednesday 22.10.2014

09:00 - 09:30 Stand-Up Announcements of groups and topics
09:30 - 12:00 Group Work (10:45 Coffee Break)
12:00 - 12:15 Group Picture
12:15 - 13:30 Lunch Break
14:00 - 17:30 Social activities
18:00 Dinner

Thursday 23.10.2014

09:00 - 10:45 Group Work
10:45 - 11:00 Coffee Break
11:00 - 12:15 Group report (plenary session)
12:15 - 14:00 Lunch Break
14:00 - 15:30 Group work
15:30 - 16:00 Coffee Break
16:00 - 18:00 Group work
18:00 Dinner

Friday 24.10.2014

09:00 - 10:30 Group Work
10:30 - 10:45 Coffee Break
10:45 - 12:00 Group report (plenary session)
12:00 - 12:15 Closing Remarks
12:15 Lunch Break


Sessions

Requirements and Development

  • Alessia Knauss – Elicitation, Discovery and Evolution of Contextual Requirements
  • Juan Carlos Muñoz Fernández – Requirements Engineering Framework for Self Adaptive Software Systems
  • Ilias Gerostathopoulos – Adaptation in Ensemble-Based Component Systems: From System Goals to Architecture Configurations

Design and Development

  • Alexander Frömmgen – Design Principles for Adaptive Communication Systems
  • Adnan Shahzada – A Comprehensive Framework for the Development of Dynamic Smart Spaces
  • Mahdi Derakhshanmanesh – The Vision of Model-Integrating Development

Control Theory and Synthesis

  • Filip Krikava – System-Level Abstractions for Integrating Control Mechanisms into Software Systems
  • Antonio Filieri – Automated control synthesis for dependable software adaptation
  • Romina Spalazzese – Automated approaches to build self-adaptive systems

Monitoring, Analysis and Decision-Making

  • Robert Heinrich – Integrating Observation and Modeling Techniques to Support Adaptation and Evolution of Software-intensive Systems
  • Ivan Paez Anaya – Integrating Predictive Analysis with Self-Adaptive Systems
  • Alexander Schiendorfer – Constraints in Self-organizing, adaptive Systems
  • Sebastian Götz – Multi-Quality Auto-Tuning: From Energy-neutrality to Robots and Roles

Verification, Validation and Assurances

  • Benedikt Eberhardinger – Testing Self-adaptive, Self-organising Systems
  • Sinem Getir – Model-based Probabilistic Incremental Verification for Evolving Systems
  • Simos Gerasimou – Runtime Quantitative Verification in Self-Adaptive AI Systems

Resource-Efficiency and Performance

  • Matthias Becker – Engineering Resource-Efficient and Elastic Self-Adaptive Systems
  • Inti Gonzalez-Herrera – Resource reservation in pervasive middleware

Security and Privacy

  • Christopher Bailey – Handling Insider Threats through Self-Adaptation
  • Liliana Pasquale – Topology Aware Adaptive Security
  • Eric Schmieders – Runtime Model based Privacy Checks of Cloud Services

Context-based Applications

  • Lorena Castaneda – Supporting Senior Shoppers with Self-Adaptive Personalized Web-Tasking
  • Nina Taherimakhsousi – Context-based Face Recognition for Smart Application

Embedded and Cyber-Physical Systems

  • Amel Belaggoun – Is it Useful to Make AUTOSAR Fully Dynamic?
  • Sebastian Wätzoldt – Modeling Collaboration in Cyber-Physical Systems