Dec 2, 2015
Schedule
Arrival day–24th, April
- 19:00-21:00 : Welcome Reception
Day 1st–Mon., 25th, April
- 7:30-8:30 : Breakfast
- 8:30-9:00 : Opening
- 9:00-10:20 : Session 1 (4 speakers)
- Betty Cheng – A Search-Based Approach to Exploring Uncertainty for Self-Adaptive Systems
- Gregor Engels – Model-Integrating Development of Software Systems: A Flexible Component-Based Approach
- Paola Inverardi – Analysis for self-adaptation
- Gabriel Tamura, Norha Villegas, and Hausi Muller– Lessons to Learn from Control Theory in Self-Adaptive Software Systems
- 10:20-10:50 : Break
- 10:50-11:50 : Session 2 (3 speakers)
- Shihong Huang – Incorporate Human Mental State in Self-Adaptive Systems
- David Garlan – Human-in-the-Loop Control Synthesis and Other Challenges for Controlled Adaptation
- Jeff Kramer – Architectures for Adaptation
- 12:00-14:00 : Lunch
- 14:00-15:20 : Session 3 (4 speakers)
- Zhenjiang Hu – Self-adaptation and bidirectional programming: towards a happy marriage
- Romina Spalazzese – Towards Supporting the Internet of Things through Model-Driven Engineering
- Shin Nakajima – Lessons Learned from a Self-adaptive Web Application
- Thomas Vogel and Holger Giese – Toward Self-Adaptive Software Employing Model Predictive Control
- 15:20-15:50 : Break
- 15:50-16:50 : Session 4 (3 speakers)
- Alan Colman – The illusion of control
- Javier Cámara Moreno – Managing Trade-Offs in Offline Synthesis of Adaptation Behavior
- Nicolás D’Ippolito – tbd
- 18:00-19:30 : Dinner
Day 2nd–Tue., 26th, April
- 6:00-7:30 : Hike to Ogusu-yama
- 7:30-8:45 : Breakfast
- 9:00-10:20 : Session 5 (4 speakers)
- Antonio Filieri – Lightweight Adaptive Filters for Learning Software Behaviors @Runtime
- Marco Autili – Automatic Synthesis of Adaptable and Evolving Choreographies
- Alessandro Papadopoulos – Control of Self-Adaptive Software in Presence of Uncertainty
- Sebastián Uchitel – Dynamic Controller Update
- 10:20-10:50 : Break
- 10:50-11:50 : Session 6 (3 speakers)
- Sasinee Pruekprasert – Quantitative Supervisory Control Game for Discrete Event Systems
- Nir Piterman – Considering Time in Discrete Control
- Martina Maggio – Automated Software Control: closing the loop around software systems with formal guarantees and limited prior knowledge
- 12:00-14:00 : Lunch
- 14:00-15:20 : Session 7 (4 speakers)
- Filip Krikava – Towards the use of runtime models for infrastructure management and self-adaptation
- Patrizio Pelliccione – Leveraging Collective run-time Adaptation for UAV-based systems
- Liliana Pasquale – Topology Aware Adaptive Security of Cyber-Physical Systems
- Kenji Tei – Qualitative Analysis for Adaptation Strategies
- 15:20-15:50 : Break
- 15:50-16:50 : Session 8 (3 speakers)
- Pooyan Jamshidi – Fuzzy Self-Learning Controllers for Elasticity Management in Dynamic Cloud Architectures
- Giovanni Quattrocchi – Advanced self-adaptation of cloud applications with containerization and control theory
- Toshimitsu Ushio – Nonblocking Supervisory Control of Mealy Automata with Nondeterministic Output Functions
- 18:00-19:30 : Dinner
- 19:45-21:00 : Ping-pong
Day 3rd–Wed., 27th, April
- 7:30-8:45 : Breakfast
- 9:00-9:30 : Topic selection and team building
- 9:30-11:30 : Break out session
- 11:30-13:00 : Lunch
- 13:30-19:00 : Excursion : Kamakura tour
- 19:00-21:30 : Banquet in Kamakura
Day 4th–Thu., 28th, April
- 7:30-8:45 : Breakfast
- 9:00-10:00 : Presentation preparation
- 10:00-11:30 : Presentation and discussion
- 11:30-11:45 : Closing
- 11:45-12:30 : Lunch
- 13:00- : Departure