E1 room - * ICSE 2018 *

Aimee BordaTrinity College Dublin, Liliana PasqualeUniversity College Dublin & Lero, Ireland, Vasileios Koutavas, Bashar NuseibehThe Open University (UK) & Lero (Ireland)

Pre-print

11:25 - 11:40

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

Ross Edwards, Nelly BencomoAston University

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 PaucarAston University, Nelly BencomoAston University

11:55 - 12:10

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

Gereon WeissFraunhofer ESK, Philipp SchleissFraunhofer ESK, Daniel SchneiderFraunhofer IESE, Mario TrappFraunhofer IESE

12:10 - 12:25

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

Wito DelnatKatholieke Universiteit Leuven, Eddy TruyenKatholieke Universiteit Leuven, Ansar RafiqueKatholieke Universiteit Leuven, Dimitri Van LanduytKatholieke Universiteit Leuven, Wouter JoosenKatholieke Universiteit Leuven

14:00 - 15:30: SEAMS 2018 - Uncertainty at E1 room
Chair(s): Hausi MüllerUniversity of Victoria, Computer Science, Faculty of Engineering, Canada

14:00 - 14:25

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

Cody KinneerCarnegie Mellon University, Zack CokerCarnegie Mellon University, Jiacheng WangDickinson College, David GarlanCarnegie Mellon University, Claire Le GouesCarnegie Mellon University

14:25 - 14:40

Uncertainty Reduction in Self-Adaptive SystemsShort Paper

Gabriel A. MorenoCarnegie Mellon University, USA, Javier CamaraCarnegie Mellon University, David GarlanCarnegie Mellon University, Mark KleinCarnegie Mellon University

14:40 - 15:05

Adapting a System with Noisy Outputs with Statistical GuaranteesLong Paper

Ilias GerostathopoulosTechnical University of Munich, Christian Prehoferfortiss, Germany, Tomas BuresCharles University, Czech Republic

Pre-print

15:05 - 15:20

Trace Checking for Dynamic Software Product LinesShort Paper

Rafael OlaecheaUniversity of Waterloo, Joanne M. AtleeUniversity of Waterloo, Canada, Axel Legay, Uli FahrenbergÉcole Polytechnique

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

16:00 - 16:25

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

Frank TrollmannDAI-Labor, TU Berlin, Johannes FähndrichDAI-Labor, TU Berlin, Sahin AlbayrakDAI-Labor, TU Berlin

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 SilvaUniversidade Federal do Rio Grande do Sul (UFRGS), Brazil, Miguel EcarFederal University of Pampa, Brazil, Marcelo S. PimentaUniversidade Federal do Rio Grande do Sul (UFRGS), Brazil, Gilleanes T. A. GuedesFederal University of Pampa, Brazil , Luiz Paulo FranzFederal University of Pampa, Brazil , Luciano MarchezanFederal University of Pampa, Brazil

16:40 - 16:55

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

Byron DevriesGrand Valley State University, Betty ChengMichigan State University

16:55 - 17:10

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

Thomas VogelHumboldt-Universität zu Berlin

Link to publication Pre-print

Tue 29 May

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

08:30 - 09:00

Opening Day 2

Jesper AnderssonLinnaeus University, Danny WeynsKU Leuven

09:00 - 10:30: SEAMS 2018 - Agents & Distribution at E1 room
Chair(s): Patrizio PelliccioneUniversity of Gothenburg & Chalmers University of Technology

09:00 - 09:25

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

João FaccinUniversidade Federal do Rio Grande do Sul (UFRGS), Ingrid NunesUniversidade Federal do Rio Grande do Sul (UFRGS), Brazil

09:25 - 09:50

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

Evangelos PournarasETH Zurich, Mark BallandiesETH Zurich, Dinesh AcharyaETH Zurich, Manish ThapaETH Zurich, Ben-Elias BrandtETH Zurich

Pre-print

09:50 - 10:05

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

Sylvain DuctorUECE, Zahia GuessoumLIP6, Université Pierre et Marie Curie

10:05 - 10:20

SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Web ApplicationsArtifactSEAMS 2018 Best Artifact Award

Gabriel A. MorenoCarnegie Mellon University, USA, Bradley SchmerlCarnegie Mellon University, USA, David GarlanCarnegie Mellon University

Link to publication Media Attached

10:20 - 10:30

Decentralized Self-Adaptive Computing at the EdgeDoctoral Project

Mirko D'Angelo

11:00 - 12:30: SEAMS 2018 - Security at E1 room
Chair(s): Rogério de LemosUniversity of Kent, UK

11:00 - 11:25

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

Allen MarshallUniversity of Tulsa, Sharmin JahanUniversity of Tulsa, Rose GambleUniversity of Tulsa

11:25 - 11:50

Requirements and Specifications for Adaptive Security: Concepts and AnalysisSEAMS 2018 Best Paper AwardLong Paper

Thein Tun, Mu YangThe Open University, Arosha BandaraOpen University, Yijun YuThe Open University, UK, Armstrong NhlabatsiQatar University, Niamul KhanQatar University, Khaled KhanQatar University, Bashar NuseibehThe Open University (UK) & Lero (Ireland)

Pre-print

11:50 - 12:15

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

Michele GuerrieroPolitecnico di Milano, Damian Andrew TamburriTU/e, Elisabetta Di NittoPolitecnico di Milano

12:15 - 12:25

INSpIRA: INtegrating Security Into Risk AssessmentDoctoral Project

Jürgen DobajGraz University of Technology

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

14:00 - 14:10

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

Anthony PerumaRochester Institute of Technology, Daniel KrutzRochester Institute of Technology

14:10 - 14:20

The Special Case of Data Protection and Self-adaptationExtended Abstract

Zoltan MannUniversity Duisburg-Essen, Andreas MetzgerUniversity of Duisburg-Essen

14:20 - 14:30

Self-adapation Made Easy with BlockchainsExtended Abstract

Peter E. SedgewickUniversity of Kent, Rogério de LemosUniversity of Kent, UK

14:30 - 14:40

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

Thein Tun, Amel BennaceurThe Open University

14:40 - 15:30

Panel Discussion on Security and AdaptivityPanel

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

16:00 - 16:25

Learning Non-Deterministic Impact Models for AdaptationLong Paper

Francisco DuarteUniversidade de Lisboa, Richard GilUniversidade de Lisboa, Paolo RomanoUniversity of Lisbon, Portugal, Antónia LopesUniversity of Lisbon, Luis RodriguesINESC-ID, IST, ULisboa

16:25 - 16:50

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

Arthur RodriguesUniversity of Brası́lia, Ricardo CaldasUniversity of Brası́lia, Genaina RodriguesUniversity of Brasilia, Thomas VogelHumboldt-Universität zu Berlin, Patrizio PelliccioneUniversity of Gothenburg & Chalmers University of Technology

Pre-print

16:50 - 17:05

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

Mahshid Helali MoghadamRISE SICS AB/Mälardalen University, Mehrdad SaadatmandRISE SICS, Markus BorgRISE SICS AB, Markus BohlinRISE SICS, Bjorn LisperMalardalen University

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

17:10 - 17:20

Closing SEAMS 2018

Jesper AnderssonLinnaeus University, Danny WeynsKU Leuven

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 SadowskiGoogle

11:00 - 11:20
Full-paper

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

Alexander LattasImperial College London, Diomidis SpinellisAthens University of Economics and Business

DOI Pre-print Media Attached

11:20 - 11:40
Talk

Tool-based Interactive Parallelization: A Case Study

Andreas WilhelmTUM, Faris Cakaric, Tobias Schuele, Michael GerndtTUM

Media Attached File Attached

11:40 - 12:00
Talk

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

Oleksii Kononenko, Tresa Rose, Olga BaysalCarleton University, Michael W. GodfreyUniversity of Waterloo, Canada, Dennis Theisen, Bart de Water

Pre-print

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

File Attached

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 JinPeking University

14:00 - 14:20
Talk

Modern Code Review: A Case Study at Google

Caitlin SadowskiGoogle, Emma SöderbergLund University, Luke Church, Michal Sipko, Alberto BacchelliUniversity of Zurich

14:20 - 14:40
Talk

A Study of the Organizational Dynamics of Software Teams

Michael HiltonCarnegie Mellon University, USA, Andrew BegelMicrosoft Research

Link to publication Pre-print Media Attached

14:40 - 15:00
Talk

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

Simon ButlerThe University of Skövde, 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

Walter Stocker

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 Opening 08:30 - 09:00						SEAMS SEAMS Keynote 09:00 - 10:30																								SEAMS Qualities & Verification 11:00 - 12:30																																				SEAMS Uncertainty 14:00 - 15:30																								SEAMS 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 Opening 08:30 - 09:00						SEAMS Agents & Distribution 09:00 - 10:30																								SEAMS Security 11:00 - 12:30																																				SEAMS Security and Adaptivity 14:00 - 15:30																								SEAMS Learning 16:00 - 17:10														SEAMS 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	* ICSE * SEIP - Software Engineering in Practice Design and Tools 11:00 - 12:30																																				* ICSE * 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 Welcome to SEAMS 2018 08:30 - 09:00						SEAMSKeynote Self adaptive software systems are essential for the Internet of Things 09:00 - 10:30																								SEAMSLong Paper Compositional Verification of Self-Adaptive Cyber-Physical Systems 11:00 - 11:25					SEAMSShort Paper DeSiRE: Further Understanding Nuances of Degrees of Satisfaction of Non ... 11:25 - 11:40			SEAMSShort Paper RE-STORM: Mapping the Decision-Making Problem and Non-Functional Requir ... 11:40 - 11:55			SEAMSShort Paper Towards Integrating Undependable Self-Adaptive Systems in Safety-Critic ... 11:55 - 12:10			SEAMSArtifact K8-Scalar: a workbench to compare autoscalers for container-orchestrate ... 12:10 - 12:25																						SEAMSLong Paper Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stoch ... 14:00 - 14:25					SEAMSShort Paper Uncertainty Reduction in Self-Adaptive Systems 14:25 - 14:40			SEAMSLong Paper Adapting a System with Noisy Outputs with Statistical Guarantees 14:40 - 15:05					SEAMSShort Paper Trace Checking for Dynamic Software Product Lines 15:05 - 15:20											SEAMSLong Paper Hybrid Adaptation Policies – Towards a Framework for Classification and ... 16:00 - 16:25					SEAMSShort Paper A Systematic Literature Review of UML-based Domain-Specific Modeling La ... 16:25 - 16:40			SEAMSShort Paper Run-time Monitoring of Self-Adaptive Systems to Detect N-way Feature In ... 16:40 - 16:55			SEAMSArtifact 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 Opening Day 2 08:30 - 09:00						SEAMSLong Paper Cleaning Up the Mess: a Formal Framework for Autonomously Reverting BDI ... 09:00 - 09:25					SEAMSLong Paper Prototyping Self-managed Interdependent Networks - Self-healing Synergi ... 09:25 - 09:50					SEAMSShort Paper A Coordination Mechanism to Replicate Large-Scale Multi-Agent Systems 09:50 - 10:05			SEAMSArtifactSEAMS 2018 Best Artifact Award SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Appr ... 10:05 - 10:20			SEAMSDoctoral Project Decentralized Self-Adaptive Computing at the Edge 10:20 - 10:30								SEAMSLong Paper Toward Evaluating the Impact of Self-adaptation on Security Control Cer ... 11:00 - 11:25					SEAMSSEAMS 2018 Best Paper AwardLong Paper Requirements and Specifications for Adaptive Security: Concepts and Ana ... 11:25 - 11:50					SEAMSLong Paper Defining, Enforcing and Checking Privacy Policies In Data-Intensive App ... 11:50 - 12:15					SEAMSDoctoral Project INSpIRA: INtegrating Security Into Risk Assessment 12:15 - 12:25																					SEAMSExtended Abstract Security: A Critical Quality Attribute in Self-Adaptive Systems 14:00 - 14:10		SEAMSExtended Abstract The Special Case of Data Protection and Self-adaptation 14:10 - 14:20		SEAMSExtended Abstract Self-adapation Made Easy with Blockchains 14:20 - 14:30		SEAMSExtended Abstract Agree to Disagree: Security Requirements Are Different, But Mechanisms ... 14:30 - 14:40		SEAMSPanel Panel Discussion on Security and Adaptivity 14:40 - 15:30																SEAMSLong Paper Learning Non-Deterministic Impact Models for Adaptation 16:00 - 16:25					SEAMSLong Paper A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive S ... 16:25 - 16:50					SEAMSShort Paper Adaptive Runtime Response Time Control in PLC-based Real-Time Systems u ... 16:50 - 17:05				SEAMS Closing SEAMS 2018 17:10 - 17:20		SEAMS 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 * SEIP - Software Engineering in Practice Echoes from Space: Grouping Commands with Large-Scale Telemetry Data 11:00 - 11:20				* ICSE * SEIP - Software Engineering in Practice Tool-based Interactive Parallelization: A Case Study 11:20 - 11:40				* ICSE * SEIP - Software Engineering in Practice Studying Pull Request Merges: A Case Study of Shopify's Active Merchant 11:40 - 12:00				* ICSE * SEIP - Software Engineering in Practice A Detailed and Real-time Performance Monitoring Framework for Blockchai ... 12:00 - 12:20				* ICSE * SEIP - Software Engineering in Practice Q&A in this sesson 12:20 - 12:30																				* ICSE * SEIP - Software Engineering in Practice Modern Code Review: A Case Study at Google 14:00 - 14:20				* ICSE * SEIP - Software Engineering in Practice A Study of the Organizational Dynamics of Software Teams 14:20 - 14:40				* ICSE * SEIP - Software Engineering in Practice An Investigation of Work Practices Used by Companies Making Contributio ... 14:40 - 15:00				* ICSE * SEIP - Software Engineering in Practice From Agile to Continuous Development in the Healthcare Domain – Lessons ... 15:00 - 15:20				* ICSE * SEIP - Software Engineering in Practice Q&A in this sesson 15:20 - 15:30

Room information: E1 room

Mon 28 May

Tue 29 May

Fri 1 Jun

Mon 28 May 2018

SEAMS

SEAMS

SEAMS

SEAMS

SEAMS

Tue 29 May 2018

SEAMS

SEAMS

SEAMS

SEAMS

SEAMS

SEAMS

Fri 1 Jun 2018

* ICSE * SEIP - Software Engineering in Practice

* ICSE * SEIP - Software Engineering in Practice

Mon 28 May 2018

Tue 29 May 2018

Fri 1 Jun 2018

Tracks

Co-hosted Conferences

Co-hosted Symposiums