ICPC 2018
Sun 27 - Mon 28 May 2018 Gothenburg, Sweden
co-located with * ICSE 2018 *
* ICSE 2018 * (series) / ICPC 2018 (series) / Congress center Gothia Towers /

Room information: E1 room

VenueCongress center Gothia Towers
Room nameE1 room
Floor0
Capacity170
Room InformationNo extra information available
Program

You're viewing the program in a time zone which is different from your device's time zone change time zone

Mon 28 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 09:00
OpeningSEAMS at E1 room
08:30
30m
Welcome to SEAMS 2018
SEAMS
G: Jesper Andersson Linnaeus University, P: Danny Weyns KU Leuven
09:00 - 10:30
SEAMS KeynoteSEAMS at E1 room
Chair(s): Danny Weyns KU Leuven
09:00
90m
Self adaptive software systems are essential for the Internet of ThingsKeynote
SEAMS
Danny Hughes KU Leuven
File Attached
11:00 - 12:30
Qualities & VerificationSEAMS at E1 room
Chair(s): Radu Calinescu University of York, UK
11:00
25m
Compositional Verification of Self-Adaptive Cyber-Physical SystemsLong Paper
SEAMS
Aimee Borda Trinity College Dublin, Liliana Pasquale University College Dublin & Lero, Ireland, Vasileios Koutavas , Bashar Nuseibeh The Open University (UK) & Lero (Ireland)
Pre-print
11:25
15m
DeSiRE: Further Understanding Nuances of Degrees of Satisfaction of Non-functional Requirements Trade-offShort Paper
SEAMS
Ross Edwards , Nelly Bencomo Aston University
11:40
15m
RE-STORM: Mapping the Decision-Making Problem and Non-Functional Requirements Trade-off to Partially Observable Markov Decision ProcessesShort Paper
SEAMS
Luis Hernan Garcia Paucar Aston University, Nelly Bencomo Aston University
11:55
15m
Towards Integrating Undependable Self-Adaptive Systems in Safety-Critical EnvironmentsShort Paper
SEAMS
Gereon Weiss Fraunhofer ESK, Philipp Schleiss Fraunhofer ESK, Daniel Schneider Fraunhofer IESE, Mario Trapp Fraunhofer IESE
12:10
15m
K8-Scalar: a workbench to compare autoscalers for container-orchestrated database clustersArtifact
SEAMS
Wito Delnat Katholieke Universiteit Leuven, Eddy Truyen Katholieke Universiteit Leuven, Ansar Rafique Katholieke Universiteit Leuven, Dimitri Van Landuyt Katholieke Universiteit Leuven, Wouter Joosen Katholieke Universiteit Leuven
14:00 - 15:30
UncertaintySEAMS at E1 room
Chair(s): Hausi Müller University of Victoria, Computer Science, Faculty of Engineering, Canada
14:00
25m
Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic SearchLong Paper
SEAMS
Cody Kinneer Carnegie Mellon University, Zack Coker Carnegie Mellon University, Jiacheng Wang Dickinson College, David Garlan Carnegie Mellon University, Claire Le Goues Carnegie Mellon University
14:25
15m
Uncertainty Reduction in Self-Adaptive SystemsShort Paper
SEAMS
Gabriel A. Moreno Carnegie Mellon University, USA, Javier Camara Carnegie Mellon University, David Garlan Carnegie Mellon University, Mark Klein Carnegie Mellon University
14:40
25m
Adapting a System with Noisy Outputs with Statistical GuaranteesLong Paper
SEAMS
Ilias Gerostathopoulos Technical University of Munich, Christian Prehofer fortiss, Germany, Tomas Bures Charles University, Czech Republic
Pre-print
15:05
15m
Trace Checking for Dynamic Software Product LinesShort Paper
SEAMS
Rafael Olaechea University of Waterloo, Joanne M. Atlee University of Waterloo, Canada, Axel Legay , Uli Fahrenberg École Polytechnique
16:00 - 17:30
ModelingSEAMS at E1 room
Chair(s): Nelly Bencomo Aston University
16:00
25m
Hybrid Adaptation Policies – Towards a Framework for Classification and Modelling of Different Combinations of Adaptation PoliciesLong Paper
SEAMS
Frank Trollmann DAI-Labor, TU Berlin, Johannes Fähndrich DAI-Labor, TU Berlin, Sahin Albayrak DAI-Labor, TU Berlin
16:25
15m
A Systematic Literature Review of UML-based Domain-Specific Modeling Languages for Self-adaptive SystemsShort Paper
SEAMS
João Pablo S. Da Silva Universidade Federal do Rio Grande do Sul (UFRGS), Brazil, Miguel Ecar Federal University of Pampa, Brazil, Marcelo S. Pimenta Universidade Federal do Rio Grande do Sul (UFRGS), Brazil, Gilleanes T. A. Guedes Federal University of Pampa, Brazil , Luiz Paulo Franz Federal University of Pampa, Brazil , Luciano Marchezan Federal University of Pampa, Brazil
16:40
15m
Run-time Monitoring of Self-Adaptive Systems to Detect N-way Feature Interactions and their CausesShort Paper
SEAMS
Byron Devries Grand Valley State University, Betty H.C. Cheng Michigan State University
16:55
15m
mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-OptimizationArtifact
SEAMS
Thomas Vogel Humboldt-Universität zu Berlin
Link to publication Pre-print

Tue 29 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

08:30 - 09:00
OpeningSEAMS at E1 room
08:30
30m
Opening Day 2
SEAMS
G: Jesper Andersson Linnaeus University, P: Danny Weyns KU Leuven
09:00 - 10:30
Agents & DistributionSEAMS at E1 room
Chair(s): Patrizio Pelliccione University of Gothenburg & Chalmers University of Technology
09:00
25m
Cleaning Up the Mess: a Formal Framework for Autonomously Reverting BDI Agent ActionsLong Paper
SEAMS
João Faccin Universidade Federal do Rio Grande do Sul (UFRGS), Ingrid Nunes Universidade Federal do Rio Grande do Sul (UFRGS), Brazil
09:25
25m
Prototyping Self-managed Interdependent Networks - Self-healing Synergies against Cascading FailuresLong Paper
SEAMS
Evangelos Pournaras ETH Zurich, Mark Ballandies ETH Zurich, Dinesh Acharya ETH Zurich, Manish Thapa ETH Zurich, Ben-Elias Brandt ETH Zurich
Pre-print
09:50
15m
A Coordination Mechanism to Replicate Large-Scale Multi-Agent SystemsShort Paper
SEAMS
Sylvain Ductor UECE, Zahia Guessoum LIP6, Université Pierre et Marie Curie
10:05
15m
SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Web ApplicationsArtifactSEAMS 2018 Best Artifact Award
SEAMS
Gabriel A. Moreno Carnegie Mellon University, USA, Bradley Schmerl Carnegie Mellon University, USA, David Garlan Carnegie Mellon University
Link to publication Media Attached
10:20
10m
Decentralized Self-Adaptive Computing at the EdgeDoctoral Project
SEAMS
Mirko D'Angelo
11:00 - 12:30
SecuritySEAMS at E1 room
Chair(s): Rogério de Lemos University of Kent, UK
11:00
25m
Toward Evaluating the Impact of Self-adaptation on Security Control CertificationLong Paper
SEAMS
Allen Marshall University of Tulsa, Sharmin Jahan University of Tulsa, Rose Gamble University of Tulsa
11:25
25m
Requirements and Specifications for Adaptive Security: Concepts and AnalysisSEAMS 2018 Best Paper AwardLong Paper
SEAMS
Thein Tun , Mu Yang The Open University, Arosha K Bandara Open University, Yijun Yu The Open University, Armstrong Nhlabatsi Qatar University, Niamul Khan Qatar University, Khaled Khan Qatar University, Bashar Nuseibeh The Open University (UK) & Lero (Ireland)
Pre-print
11:50
25m
Defining, Enforcing and Checking Privacy Policies In Data-Intensive ApplicationsLong Paper
SEAMS
Michele Guerriero Politecnico di Milano, Damian Andrew Tamburri TU/e, Elisabetta Di Nitto Politecnico di Milano
12:15
10m
INSpIRA: INtegrating Security Into Risk AssessmentDoctoral Project
SEAMS
Jürgen Dobaj Graz University of Technology
14:00 - 15:30
Security and AdaptivitySEAMS at E1 room
Chair(s): David Garlan Carnegie Mellon University
14:00
10m
Security: A Critical Quality Attribute in Self-Adaptive SystemsExtended Abstract
SEAMS
Anthony Peruma Rochester Institute of Technology, Daniel Krutz Rochester Institute of Technology
14:10
10m
The Special Case of Data Protection and Self-adaptationExtended Abstract
SEAMS
Zoltan Mann University Duisburg-Essen, Andreas Metzger University of Duisburg-Essen
14:20
10m
Self-adapation Made Easy with BlockchainsExtended Abstract
SEAMS
Peter E. Sedgewick University of Kent, Rogério de Lemos University of Kent, UK
14:30
10m
Agree to Disagree: Security Requirements Are Different, But Mechanisms For Security Adaptation Are NotExtended Abstract
SEAMS
Thein Tun , Amel Bennaceur The Open University
14:40
50m
Panel Discussion on Security and AdaptivityPanel
SEAMS

16:00 - 17:10
LearningSEAMS at E1 room
Chair(s): Mauro Caporuscio Linnaeus University
16:00
25m
Learning Non-Deterministic Impact Models for AdaptationLong Paper
SEAMS
Francisco Duarte Universidade de Lisboa, Richard Gil Universidade de Lisboa, Paolo Romano University of Lisbon, Portugal, Antónia Lopes University of Lisbon, Luis Rodrigues INESC-ID, IST, ULisboa
16:25
25m
A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive SystemsLong Paper
SEAMS
Arthur Rodrigues University of Brası́lia, Ricardo Caldas University of Brası́lia, Genaina Rodrigues University of Brasilia, Thomas Vogel Humboldt-Universität zu Berlin, Patrizio Pelliccione University of Gothenburg & Chalmers University of Technology
Pre-print
16:50
15m
Adaptive Runtime Response Time Control in PLC-based Real-Time Systems using Reinforcement LearningShort Paper
SEAMS
Mahshid Helali Moghadam RISE SICS AB/Mälardalen University, Mehrdad Saadatmand RISE SICS, Markus Borg RISE SICS AB, Markus Bohlin RISE SICS, Björn Lisper Malardalen University
17:10 - 17:30
ClosingSEAMS at E1 room
17:10
10m
Closing SEAMS 2018
SEAMS
G: Jesper Andersson Linnaeus University, P: Danny Weyns KU Leuven
17:20
10m
Outlook on SEAMS 2019
SEAMS

Fri 1 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30
Design and Tools* ICSE * SEIP - Software Engineering in Practice at E1 room
Chair(s): Caitlin Sadowski Google
11:00
20m
Full-paper
Echoes from Space: Grouping Commands with Large-Scale Telemetry Data
* ICSE * SEIP - Software Engineering in Practice
Alexander Lattas Imperial College London, Diomidis Spinellis Athens University of Economics and Business
DOI Pre-print
11:20
20m
Talk
Tool-based Interactive Parallelization: A Case Study
* ICSE * SEIP - Software Engineering in Practice
Andreas Wilhelm TUM, Faris Cakaric , Tobias Schuele , Michael Gerndt TUM
Media Attached
11:40
20m
Talk
Studying Pull Request Merges: A Case Study of Shopify's Active Merchant
* ICSE * SEIP - Software Engineering in Practice
Oleksii Kononenko , Tresa Rose , Olga Baysal Carleton University, Michael W. Godfrey University of Waterloo, Canada, Dennis Theisen , Bart de Water
Pre-print
12:00
20m
Talk
A Detailed and Real-time Performance Monitoring Framework for Blockchain Systems
* ICSE * SEIP - Software Engineering in Practice
Peilin Zheng , Zibin Zheng , Xiapu Luo , Xiangping Chen , Xuanzhe Liu
File Attached
12:20
10m
Talk
Q&A in this sesson
* ICSE * SEIP - Software Engineering in Practice

14:00 - 15:30
Agile and Ways of Working* ICSE * SEIP - Software Engineering in Practice at E1 room
Chair(s): Zhi Jin Peking University
14:00
20m
Talk
Modern Code Review: A Case Study at Google
* ICSE * SEIP - Software Engineering in Practice
Caitlin Sadowski Google, Emma Söderberg Lund University, Luke Church , Michal Sipko , Alberto Bacchelli University of Zurich
14:20
20m
Talk
A Study of the Organizational Dynamics of Software Teams
* ICSE * SEIP - Software Engineering in Practice
Michael Hilton Carnegie Mellon University, USA, Andrew Begel Microsoft Research
Link to publication Pre-print Media Attached
14:40
20m
Talk
An Investigation of Work Practices Used by Companies Making Contributions to Established OSS Projects
* ICSE * SEIP - Software Engineering in Practice
Simon Butler The 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
20m
Talk
From Agile to Continuous Development in the Healthcare Domain – Lessons Learned
* ICSE * SEIP - Software Engineering in Practice
Walter Stocker
15:20
10m
Talk
Q&A in this sesson
* ICSE * SEIP - Software Engineering in Practice

Mon 28 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
E1 room

SEAMS

Opening

SEAMS

SEAMS Keynote

SEAMS

Qualities & Verification

SEAMS

Uncertainty

SEAMS

Modeling

Tue 29 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:00309:003010:003011:003012:003013:003014:003015:003016:003017:0030
E1 room

SEAMS

Opening

SEAMS

Agents & Distribution

SEAMS

Security

SEAMS

Security and Adaptivity

SEAMS

Learning

SEAMS

Closing

Fri 1 Jun

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room11:003012:003013:003014:003015:0030
E1 room

* ICSE * SEIP - Software Engineering in Practice

Design and Tools

* ICSE * SEIP - Software Engineering in Practice

Agile and Ways of Working

Mon 28 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

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

Tue 29 May

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room8:001530459:0015304510:0015304511:0015304512:0015304513:0015304514:0015304515:0015304516:0015304517:00153045
E1 room
SEAMS
Opening Day 2
08:30 - 09:00
SEAMS Long Paper
Cleaning Up the Mess: a Formal Framework for Autonomously Reverting BDI ...
09:00 - 09:25
SEAMS Long Paper
Prototyping Self-managed Interdependent Networks - Self-healing Synergi ...
09:25 - 09:50
SEAMS Short Paper
A Coordination Mechanism to Replicate Large-Scale Multi-Agent Systems
09:50 - 10:05
SEAMS ArtifactSEAMS 2018 Best Artifact Award
SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Appr ...
10:05 - 10:20
SEAMS Doctoral Project
Decentralized Self-Adaptive Computing at the Edge
10:20 - 10:30
SEAMS Long Paper
Toward Evaluating the Impact of Self-adaptation on Security Control Cer ...
11:00 - 11:25
SEAMS SEAMS 2018 Best Paper AwardLong Paper
Requirements and Specifications for Adaptive Security: Concepts and Ana ...
11:25 - 11:50
SEAMS Long Paper
Defining, Enforcing and Checking Privacy Policies In Data-Intensive App ...
11:50 - 12:15
SEAMS Doctoral Project
INSpIRA: INtegrating Security Into Risk Assessment
12:15 - 12:25
SEAMS Extended Abstract
Security: A Critical Quality Attribute in Self-Adaptive Systems
14:00 - 14:10
SEAMS Extended Abstract
The Special Case of Data Protection and Self-adaptation
14:10 - 14:20
SEAMS Extended Abstract
Self-adapation Made Easy with Blockchains
14:20 - 14:30
SEAMS Extended Abstract
Agree to Disagree: Security Requirements Are Different, But Mechanisms ...
14:30 - 14:40
SEAMS Panel
Panel Discussion on Security and Adaptivity
14:40 - 15:30
SEAMS Long Paper
Learning Non-Deterministic Impact Models for Adaptation
16:00 - 16:25
SEAMS Long Paper
A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive S ...
16:25 - 16:50
SEAMS Short 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

Displayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

Room11:0015304512:0015304513:0015304514:0015304515:00153045
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