E1 room - * ICSE 2018 *

Sun 27 May - Sun 3 June 2018 Gothenburg, Sweden

VenueCongress center Gothia Towers

Room nameE1 room

Floor0

Room number

Capacity170

Additional informationThere is no additional information of this room available.

Program

Mon 28 May

08:30 - 09:00: SEAMS 2018 - Opening at E1 room

08:30 - 09:00

Welcome to SEAMS 2018

Jesper Andersson, Danny Weyns

09:00 - 10:30: SEAMS 2018 - SEAMS Keynote at E1 room
Chair(s): Danny Weyns

09:00 - 10:30

Self adaptive software systems are essential for the Internet of ThingsKeynote

11:00 - 12:30: SEAMS 2018 - Qualities & Verification at E1 room
Chair(s): Radu Calinescu

11:00 - 11:25

Compositional Verification of Self-Adaptive Cyber-Physical SystemsLong Paper

Aimee Borda, Liliana Pasquale, Vasileios Koutavas, Bashar Nuseibeh

11:25 - 11:40

DeSiRE: Further Understanding Nuances of Degrees of Satisfaction of Non-functional Requirements Trade-offShort Paper

Ross Edwards, Nelly Bencomo

11:40 - 11:55

RE-STORM: Mapping the Decision-Making Problem and Non-Functional Requirements Trade-off to Partially Observable Markov Decision ProcessesShort Paper

Luis Garcia Paucar, Nelly Bencomo

11:55 - 12:10

Towards Integrating Undependable Self-Adaptive Systems in Safety-Critical EnvironmentsShort Paper

Gereon Weiss, Philipp Schleiss, Daniel Schneider, Mario Trapp

12:10 - 12:25

K8-Scalar: a workbench to compare autoscalers for container-orchestrated database clustersArtifact

Wito Delnat, Eddy Truyen, Ansar Rafique, Dimitri Van Landuyt, Wouter Joosen

14:00 - 15:30: SEAMS 2018 - Uncertainty at E1 room
Chair(s): Hausi Müller

14:00 - 14:25

Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic SearchLong Paper

Cody Kinneer, Zack Coker, Jiacheng Wang, David Garlan, Claire Le Goues

14:25 - 14:40

Uncertainty Reduction in Self-Adaptive SystemsShort Paper

Gabriel A. Moreno, Javier Camara, David Garlan, Mark Klein

14:40 - 15:05

Adapting a System with Noisy Outputs with Statistical GuaranteesLong Paper

Ilias Gerostathopoulos, Christian Prehofer, Tomas Bures

15:05 - 15:20

Trace Checking for Dynamic Software Product LinesShort Paper

Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg

16:00 - 17:30: SEAMS 2018 - Modeling at E1 room
Chair(s): Nelly Bencomo

16:00 - 16:25

Hybrid Adaptation Policies – Towards a Framework for Classification and Modelling of Different Combinations of Adaptation PoliciesLong Paper

Frank Trollmann, Johannes Fähndrich, Sahin Albayrak

16:25 - 16:40

A Systematic Literature Review of UML-based Domain-Specific Modeling Languages for Self-adaptive SystemsShort Paper

João Pablo S. Da Silva, Miguel Ecar, Marcelo S. Pimenta, Gilleanes T. A. Guedes, Luiz Paulo Franz, Luciano Marchezan

16:40 - 16:55

Run-time Monitoring of Self-Adaptive Systems to Detect N-way Feature Interactions and their CausesShort Paper

Byron Devries, Betty Cheng

16:55 - 17:10

mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-OptimizationArtifact

Tue 29 May

08:30 - 09:00: SEAMS 2018 - Opening at E1 room

08:30 - 09:00

Jesper Andersson, Danny Weyns

09:00 - 10:30: SEAMS 2018 - Agents & Distribution at E1 room
Chair(s): Patrizio Pelliccione

09:00 - 09:25

Cleaning Up the Mess: a Formal Framework for Autonomously Reverting BDI Agent ActionsLong Paper

João Faccin, Ingrid Nunes

09:25 - 09:50

Prototyping Self-managed Interdependent Networks - Self-healing Synergies against Cascading FailuresLong Paper

Evangelos Pournaras, Mark Ballandies, Dinesh Acharya, Manish Thapa, Ben-Elias Brandt

09:50 - 10:05

A Coordination Mechanism to Replicate Large-Scale Multi-Agent SystemsShort Paper

Sylvain Ductor, Zahia Guessoum

10:05 - 10:20

SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Web ApplicationsArtifact

Gabriel A. Moreno, Bradley Schmerl, David Garlan

10:20 - 10:30

Decentralized Self-Adaptive Computing at the EdgeDoctoral Project

11:00 - 12:30: SEAMS 2018 - Security at E1 room
Chair(s): Rogério de Lemos

11:00 - 11:25

Toward Evaluating the Impact of Self-adaptation on Security Control CertificationLong Paper

Allen Marshall, Sharmin Jahan, Rose Gamble

11:25 - 11:50

Requirements and Specifications for Adaptive Security: Concepts and AnalysisLong Paper

Thein Tun, Mu Yang, Arosha Bandara, Yijun Yu, Armstrong Nhlabatsi, Niamul Khan, Khaled Khan, Bashar Nuseibeh

11:50 - 12:15

Defining, Enforcing and Checking Privacy Policies In Data-Intensive ApplicationsLong Paper

Michele Guerriero, Damian Andrew Tamburri, Elisabetta Di Nitto

12:15 - 12:25

INSpIRA: INtegrating Security Into Risk AssessmentDoctoral Project

14:00 - 15:30: SEAMS 2018 - Security and Adaptivity at E1 room
Chair(s): David Garlan

14:00 - 14:10

Security: A Critical Quality Attribute in Self-Adaptive SystemsExtended Abstract

Anthony Peruma, Daniel Krutz

14:10 - 14:20

The Special Case of Data Protection and Self-adaptationExtended Abstract

Zoltan Mann, Andreas Metzger

14:20 - 14:30

Self-adapation Made Easy with BlockchainsExtended Abstract

Peter E. Sedgewick, Rogério de Lemos

14:30 - 14:40

Agree to Disagree: Security Requirements Are Different, But Mechanisms For Security Adaptation Are NotExtended Abstract

Thein Tun, Amel Bennaceur

14:40 - 15:30

Panel Discussion on Security and Adaptivity

16:00 - 17:10: SEAMS 2018 - Learning at E1 room
Chair(s): Mauro Caporuscio

16:00 - 16:25

Learning Non-Deterministic Impact Models for AdaptationLong Paper

Francisco Duarte, Richard Gil, Paolo Romano, Antónia Lopes, Luis Rodrigues

16:25 - 16:50

A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive SystemsLong Paper

Arthur Rodrigues, Ricardo Caldas, Genaina Rodrigues, Thomas Vogel, Patrizio Pelliccione

16:50 - 17:05

Adaptive Runtime Response Time Control in PLC-based Real-Time Systems using Reinforcement LearningShort Paper

Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Bjorn Lisper

17:10 - 17:30: SEAMS 2018 - Closing at E1 room

17:10 - 17:20

Closing SEAMS 2018

Jesper Andersson, Danny Weyns

17:20 - 17:30

Outlook on SEAMS 2019

Fri 1 Jun

11:00 - 12:30: SEIP - Software Engineering in Practice - Design and Tools at E1 room
Chair(s): Caitlin Sadowski

11:00 - 11:20
Full-paper

Echoes from Space: Grouping Commands with Large-Scale Telemetry Data

Alexander Lattas, Diomidis Spinellis

DOI Pre-print Media Attached

11:20 - 11:40
Talk

Tool-based Interactive Parallelization: A Case Study

Andreas Wilhelm, Faris Cakaric, Tobias Schuele, Michael Gerndt

11:40 - 12:00
Talk

Studying Pull Request Merges: A Case Study of Shopify's Active Merchant

Oleksii Kononenko, Tresa Rose, Olga Baysal, Michael W. Godfrey, Dennis Theisen, Bart de Water

12:00 - 12:20
Talk

A Detailed and Real-time Performance Monitoring Framework for Blockchain Systems

Peilin Zheng, Zibin Zheng, Xiapu Luo, Xiangping Chen, Xuanzhe Liu

12:20 - 12:30
Talk

Q&A in this sesson

14:00 - 15:30: SEIP - Software Engineering in Practice - Agile and Ways of Working at E1 room
Chair(s): Zhi Jin

14:00 - 14:20
Talk

Modern Code Review: A Case Study at Google

Caitlin Sadowski, Emma Söderberg, Luke Church, Michal Sipko, Alberto Bacchelli

14:20 - 14:40
Talk

A Study of the Organizational Dynamics of Software Teams

Michael Hilton, Andrew Begel

14:40 - 15:00
Talk

An Investigation of Work Practices Used by Companies Making Contributions to Established OSS Projects

Simon Butler, Jonas Gamalielsson, Bjorn Lundell, Per Jonsson, Johan Sjöberg, Anders Mattsson, Niklas Rickö, Tomas Gustavsson, Jonas Feist, Stefan Landemoo, Erik Lönroth

15:00 - 15:20
Talk

From Agile to Continuous Development in the Healthcare Domain – Lessons Learned

15:20 - 15:30
Talk

Q&A in this sesson

Mon 28 May 2018


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
E1 room							SEAMS 2018 Opening 08:30 - 09:00						SEAMS 2018 SEAMS Keynote 09:00 - 10:30																								SEAMS 2018 Qualities & Verification 11:00 - 12:30																																				SEAMS 2018 Uncertainty 14:00 - 15:30																								SEAMS 2018 Modeling 16:00 - 17:30

Tue 29 May 2018


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
E1 room							SEAMS 2018 Opening 08:30 - 09:00						SEAMS 2018 Agents & Distribution 09:00 - 10:30																								SEAMS 2018 Security 11:00 - 12:30																																				SEAMS 2018 Security and Adaptivity 14:00 - 15:30																								SEAMS 2018 Learning 16:00 - 17:10														SEAMS 2018 Closing 17:10 - 17:30

Fri 1 Jun 2018


Room	11:00						30						12:00						30						13:00						30						14:00						30						15:00						30
E1 room	SEIP - Software Engineering in Practice Design and Tools 11:00 - 12:30																																				SEIP - Software Engineering in Practice Agile and Ways of Working 14:00 - 15:30

Mon 28 May 2018


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
E1 room							SEAMS 2018 Welcome to SEAMS 2018 08:30 - 09:00						SEAMS 2018Keynote Self adaptive software systems are essential for the Internet of Things 09:00 - 10:30																								SEAMS 2018Long Paper Compositional Verification of Self-Adaptive Cyber-Physical Systems 11:00 - 11:25					SEAMS 2018Short Paper DeSiRE: Further Understanding Nuances of Degrees of Satisfaction of Non ... 11:25 - 11:40			SEAMS 2018Short Paper RE-STORM: Mapping the Decision-Making Problem and Non-Functional Requir ... 11:40 - 11:55			SEAMS 2018Short Paper Towards Integrating Undependable Self-Adaptive Systems in Safety-Critic ... 11:55 - 12:10			SEAMS 2018Artifact K8-Scalar: a workbench to compare autoscalers for container-orchestrate ... 12:10 - 12:25																						SEAMS 2018Long Paper Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stoch ... 14:00 - 14:25					SEAMS 2018Short Paper Uncertainty Reduction in Self-Adaptive Systems 14:25 - 14:40			SEAMS 2018Long Paper Adapting a System with Noisy Outputs with Statistical Guarantees 14:40 - 15:05					SEAMS 2018Short Paper Trace Checking for Dynamic Software Product Lines 15:05 - 15:20											SEAMS 2018Long Paper Hybrid Adaptation Policies – Towards a Framework for Classification and ... 16:00 - 16:25					SEAMS 2018Short Paper A Systematic Literature Review of UML-based Domain-Specific Modeling La ... 16:25 - 16:40			SEAMS 2018Short Paper Run-time Monitoring of Self-Adaptive Systems to Detect N-way Feature In ... 16:40 - 16:55			SEAMS 2018Artifact mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self ... 16:55 - 17:10

Tue 29 May 2018


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
E1 room							SEAMS 2018 Opening Day 2 08:30 - 09:00						SEAMS 2018Long Paper Cleaning Up the Mess: a Formal Framework for Autonomously Reverting BDI ... 09:00 - 09:25					SEAMS 2018Long Paper Prototyping Self-managed Interdependent Networks - Self-healing Synergi ... 09:25 - 09:50					SEAMS 2018Short Paper A Coordination Mechanism to Replicate Large-Scale Multi-Agent Systems 09:50 - 10:05			SEAMS 2018Artifact SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Appr ... 10:05 - 10:20			SEAMS 2018Doctoral Project Decentralized Self-Adaptive Computing at the Edge 10:20 - 10:30								SEAMS 2018Long Paper Toward Evaluating the Impact of Self-adaptation on Security Control Cer ... 11:00 - 11:25					SEAMS 2018Long Paper Requirements and Specifications for Adaptive Security: Concepts and Ana ... 11:25 - 11:50					SEAMS 2018Long Paper Defining, Enforcing and Checking Privacy Policies In Data-Intensive App ... 11:50 - 12:15					SEAMS 2018Doctoral Project INSpIRA: INtegrating Security Into Risk Assessment 12:15 - 12:25																					SEAMS 2018Extended Abstract Security: A Critical Quality Attribute in Self-Adaptive Systems 14:00 - 14:10		SEAMS 2018Extended Abstract The Special Case of Data Protection and Self-adaptation 14:10 - 14:20		SEAMS 2018Extended Abstract Self-adapation Made Easy with Blockchains 14:20 - 14:30		SEAMS 2018Extended Abstract Agree to Disagree: Security Requirements Are Different, But Mechanisms ... 14:30 - 14:40		SEAMS 2018 Panel Discussion on Security and Adaptivity 14:40 - 15:30																SEAMS 2018Long Paper Learning Non-Deterministic Impact Models for Adaptation 16:00 - 16:25					SEAMS 2018Long Paper A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive S ... 16:25 - 16:50					SEAMS 2018Short Paper Adaptive Runtime Response Time Control in PLC-based Real-Time Systems u ... 16:50 - 17:05				SEAMS 2018 Closing SEAMS 2018 17:10 - 17:20		SEAMS 2018 Outlook on SEAMS 2019 17:20 - 17:30

Fri 1 Jun 2018


Room	11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45
E1 room	* ICSE 2018 * SEIP - Software Engineering in Practice Echoes from Space: Grouping Commands with Large-Scale Telemetry Data 11:00 - 11:20				* ICSE 2018 * SEIP - Software Engineering in Practice Tool-based Interactive Parallelization: A Case Study 11:20 - 11:40				* ICSE 2018 * SEIP - Software Engineering in Practice Studying Pull Request Merges: A Case Study of Shopify's Active Merchant 11:40 - 12:00				* ICSE 2018 * SEIP - Software Engineering in Practice A Detailed and Real-time Performance Monitoring Framework for Blockchai ... 12:00 - 12:20				* ICSE 2018 * SEIP - Software Engineering in Practice Q&A in this sesson 12:20 - 12:30																				* ICSE 2018 * SEIP - Software Engineering in Practice Modern Code Review: A Case Study at Google 14:00 - 14:20				* ICSE 2018 * SEIP - Software Engineering in Practice A Study of the Organizational Dynamics of Software Teams 14:20 - 14:40				* ICSE 2018 * SEIP - Software Engineering in Practice An Investigation of Work Practices Used by Companies Making Contributio ... 14:40 - 15:00				* ICSE 2018 * SEIP - Software Engineering in Practice From Agile to Continuous Development in the Healthcare Domain – Lessons ... 15:00 - 15:20				* ICSE 2018 * SEIP - Software Engineering in Practice Q&A in this sesson 15:20 - 15:30