Monday (22 May)

09:00-10:30    S1: Keynote 1: Siobhán Clarke [Chair: Bashar Nuseibeh]

11:00-12:30    S2: Requirements and Monitoring [Chair: Hausi Muller]

L     Antoine Cailliau and Axel van Lamsweerde. Runtime Monitoring and Resolution of Probabilistic Obstacles to System Goals

L     Stepan Shevtsov, Danny Weyns and Martina Maggio. Handling New and Changing Requirements with Guarantees in Self-Adaptive Systems using SimCA

A     Davi Monteiro Barbosa, Rômulo Gadelha de Moura Lima, Paulo Henrique Mendes Maia and Evilásio Costa Junior. Lotus@Runtime: a tool for runtime monitoring and verification of self-adaptive systems

14:00-15:30    S3: Learning and Prediction [Chair: Ilias Gerostathopoulos]

L     Pooyan Jamshidi, Miguel Velez, Christian Kästner, Norbert Siegmund and Prasad Kawthekar. Transfer Learning for Improving Model Predictions in Highly Configurable Software

L     Gabriel A. Moreno, Alessandro Vittorio Papadopoulos, Konstantinos Angelopoulos, Javier Cámara and Bradley Schmerl. Comparing Model-Based Predictive Approaches to Self-Adaptation: CobRA and PLA

L     Peter Pilgerstorfer and Evangelos Pournaras. Self-adaptive Learning in Decentralized Combinatorial Optimization — A Design Paradigm for Sharing Economies

16:00-17:30    S4: Applications and Exemplars [Chair: Javier Cámara]

L     Cornel Barna, Hamzeh Khazaei, Marios Fokaefs and Marin Litoiu. Delivering Elastic Containerized Cloud Applications to Enable DevOps

A     Muhammad Usman Iftikhar, Gowri Sankar Ramachandran, Danny Weyns and Danny Hughes. Applying Self-adaptation in Internet of Things using ActivFORMS

A     Simos Gerasimou, Radu Calinescu, Stepan Shevtsov and Danny Weyns. UNDERSEA: An Exemplar for Engineering Self-Adaptive Unmanned Underwater Vehicles

   Eric Lloyd, Shihong Huang and Emmanuelle Tognoli. Improving Human-in-the-Loop Adaptive Systems Using Brain-Computer Interaction

19.30-*    Banquet [Place:]

Tuesday (23 May)

09:00-10:30    S5: Keynote 2: René Doursat [Chair: David Garlan]

11:00-12:30    S6: Planning & Decision Making [Chair: Nelly Bencomo]

    Gabriel A. Moreno, Sagar Chaki, Ofer Strichman and Radislav Vaisman. Decision-Making with Cross-Entropy for Self-Adaptation

    Sanny Schmid, Ilias Gerostathopoulos, Christian Prehofer and Tomas Bures. Self-Adaptation Based on Big Data Analytics: A Model Problem and Tool

    Ashutosh Pandey, Ivan Ruchkin, Bradley Schmerl and Javier Cámara. Towards a Formal Framework for Hybrid Planning in Self-Adaptation

    Filip Krijt, Zbynek Jiracek, Tomas Bures, Petr Hnetynka and Ilias Gerostathopoulos. Intelligent Ensembles – a Declarative Group Description Language and Java Framework

A   Martina Maggio, Alessandro Vittorio Papadopoulos, Antonio Filieri and Henry Hoffmann. Self-Adaptive Video Encoder: Comparison of Multiple Adaptation Strategies Made Simple

 14:00-15:30    S7: Adaptation Strategies and Runtime Verification [Chair: Danny Weyns]

L     Gustavo Sousa, Walter Rudametkin and Laurence Duchien. Extending Dynamic Software Product Lines with Temporal Constraints

L     Pascal Weisenburger, Manisha Luthra, Boris Koldehofe and Guido Salvaneschi. Quality-Aware Runtime Adaptation in Complex Event Processing

    Yasuyuki Tahara, Akihiko Ohsuga and Shinichi Honiden. Formal Verification of Dynamic Evolution Processes of UML Models Using Aspects

16:00-17:30    S8: Languages and Policies [Chair: Bradley Schmerl]

A     Bo Zhang, Filip Krikava and Romain Rouvoy. Hadoop-Benchmark: Rapid Prototyping and Evaluation of Self-Adaptive Behaviors in Hadoop Clusters

    Oliviero Riganelli, Daniela Micucci and Leonardo Mariani. Policy Enforcement with Proactive Libraries

L     Carlos Eduardo Da Silva, José Diego Saraiva Da Silva, Colin Paterson and Radu Calinescu. Self-Adaptive Role-Based Access Control for Business Processes

17:30-18:00    Closing Remarks and SEAMS 2018 Presentation (30 mins) [Chair: David Garlan]

[L= Long (25 + 5 mins), S = Short (15 mins), A = Artefact (15 mins)]