Write a Blog >>
SEAMS 2018
Mon 28 - Tue 29 May 2018 Gothenburg, Sweden
co-located with * ICSE 2018 *

SEAMS 2018 is co-located with ICSE 2018 in Gothenburg, Sweden and will be held from May 28-29, 2018.

News

Scope

Modern and emerging software systems, such as industrial Internet of Things, Cyber-Physical Systems, cloud and mobile computing, have to operate without interruption. Self-adaptation and self-management enable these systems to adapt themselves at runtime to preserve and optimize their operation in the presence of uncertain changes in their operating environment, resource variability, new user needs, attacks, intrusions, and faults.

Approaches to complement software-based systems with self-managing and self-adaptive capabilities are an important area of research and development, offering solutions that leverage advances in fields such as software architecture, fault-tolerant computing, programming languages, robotics, run-time program analysis and verification, among others. Additionally, research in this field is informed by related areas such as control systems, machine learning, artificial intelligence, agent-based systems, and biologically inspired computing. The SEAMS symposium focuses on applying software engineering to these approaches, including methods, techniques, processes and tools that can be used to support self-* properties like self-protection, self-healing, self-optimization, and self-configuration.

The objective of SEAMS is to bring together researchers and practitioners from diverse areas to investigate, discuss, and examine the fundamental principles, the state of the art, and critical challenges of engineering self-adaptive and self-managing systems.

Topics of Interest:

All topics related to engineering self-adaptive and self-managing systems, including:

Foundational Concepts

  • Understanding and taming uncertainty
  • Runtime models and variability
  • Online analysis and planning
  • Consistent change of systems in operation
  • Mixed-initiative and human-in-the-loop systems

Adaptation Objectives

  • Self-* properties
  • Automatic configuration, openness
  • Adaptive security and privacy (SEAMS’18 will devote a special session on this topic)

Engineering Strategies

  • Architecture and model-driven approaches
  • Control theory
  • Automatic synthesis techniques
  • Search-based techniques and learning

Engineering Activities

  • Requirements elicitation techniques
  • Architecture and design techniques
  • Systematic reuse (e.g., patterns, viewpoints, reference architectures, code)
  • Instrumentation of legacy systems (probing and effecting)
  • Processes and methodologies
  • Adaptation in the context of DevOps
  • Real-world demonstrators
  • Controlled experiments, case studies, replication studies, surveys

Analytical Methods

  • Runtime decision-making (multi-objective, multi-layered, distributed)
  • Analysis and testing frameworks
  • Verification and validation
  • Simulation

Languages

  • Formal notations for modeling and analyzing self-* properties
  • Domain-specific language support for self-adaptation
  • Programming language support for self-adaptation

Application Areas

  • Industrial internet of things
  • Cyber-physical systems
  • Cloud and edge computing
  • Robotics
  • Smart environments
  • Smart user interfaces

Artifacts

  • Model problems and exemplars
  • Resources including data sets, metrics, and software useful to compare self-adaptive approaches
Dates
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
08:30
30m
Welcome to SEAMS 2018
SEAMS 2018
G: Jesper Andersson Linnaeus University, P: Danny Weyns KU Leuven
11:00 - 12:30
Qualities & VerificationSEAMS 2018 at E1 room
Chair(s): Radu Calinescu University of York, UK
11:00
25m
Compositional Verification of Self-Adaptive Cyber-Physical SystemsLong Paper
SEAMS 2018
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 2018
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 2018
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 2018
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 2018
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 2018 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 2018
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 2018
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 2018
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 2018
Rafael Olaechea University of Waterloo, Joanne M. Atlee University of Waterloo, Canada, Axel Legay , Uli Fahrenberg École Polytechnique
16:00 - 17:30
ModelingSEAMS 2018 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 2018
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 2018
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 2018
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 2018
Thomas Vogel Humboldt-Universität zu Berlin
Link to publication Pre-print
18:00 - 22:00
18:00
4h
Dinner
SEAMS Banquet
SEAMS 2018

Tue 29 May

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

08:30 - 09:00
08:30
30m
Opening Day 2
SEAMS 2018
G: Jesper Andersson Linnaeus University, P: Danny Weyns KU Leuven
09:00 - 10:30
Agents & DistributionSEAMS 2018 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 2018
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 2018
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 2018
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 2018
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 2018
11:00 - 12:30
SecuritySEAMS 2018 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 2018
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 2018
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 2018
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 2018
Jürgen Dobaj Graz University of Technology
14:00 - 15:30
Security and AdaptivitySEAMS 2018 at E1 room
Chair(s): David Garlan Carnegie Mellon University
14:00
10m
Security: A Critical Quality Attribute in Self-Adaptive SystemsExtended Abstract
SEAMS 2018
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 2018
Zoltan Mann University Duisburg-Essen, Andreas Metzger University of Duisburg-Essen
14:20
10m
Self-adapation Made Easy with BlockchainsExtended Abstract
SEAMS 2018
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 2018
Thein Tun , Amel Bennaceur The Open University
14:40
50m
Panel Discussion on Security and AdaptivityPanel
SEAMS 2018

16:00 - 17:10
LearningSEAMS 2018 at E1 room
Chair(s): Mauro Caporuscio Linnaeus University
16:00
25m
Learning Non-Deterministic Impact Models for AdaptationLong Paper
SEAMS 2018
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 2018
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 2018
Mahshid Helali Moghadam RISE SICS AB/Mälardalen University, Mehrdad Saadatmand RISE SICS, Markus Borg RISE SICS AB, Markus Bohlin RISE SICS, Bjorn Lisper Malardalen University
17:10 - 17:30
17:10
10m
Closing SEAMS 2018
SEAMS 2018
G: Jesper Andersson Linnaeus University, P: Danny Weyns KU Leuven
17:20
10m
Outlook on SEAMS 2019
SEAMS 2018

Accepted Papers

The following list contains all accepted full papers, short papers, artifact papers, doctoral project papers, and abstracts.

Title
A Coordination Mechanism to Replicate Large-Scale Multi-Agent SystemsShort Paper
SEAMS 2018
Adapting a System with Noisy Outputs with Statistical GuaranteesLong Paper
SEAMS 2018
Pre-print
Adaptive Runtime Response Time Control in PLC-based Real-Time Systems using Reinforcement LearningShort Paper
SEAMS 2018
Agree to Disagree: Security Requirements Are Different, But Mechanisms For Security Adaptation Are NotExtended Abstract
SEAMS 2018
A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive SystemsLong Paper
SEAMS 2018
Pre-print
A Systematic Literature Review of UML-based Domain-Specific Modeling Languages for Self-adaptive SystemsShort Paper
SEAMS 2018
Cleaning Up the Mess: a Formal Framework for Autonomously Reverting BDI Agent ActionsLong Paper
SEAMS 2018
Compositional Verification of Self-Adaptive Cyber-Physical SystemsLong Paper
SEAMS 2018
Pre-print
Decentralized Self-Adaptive Computing at the EdgeDoctoral Project
SEAMS 2018
Defining, Enforcing and Checking Privacy Policies In Data-Intensive ApplicationsLong Paper
SEAMS 2018
DeSiRE: Further Understanding Nuances of Degrees of Satisfaction of Non-functional Requirements Trade-offShort Paper
SEAMS 2018
Hybrid Adaptation Policies – Towards a Framework for Classification and Modelling of Different Combinations of Adaptation PoliciesLong Paper
SEAMS 2018
INSpIRA: INtegrating Security Into Risk AssessmentDoctoral Project
SEAMS 2018
K8-Scalar: a workbench to compare autoscalers for container-orchestrated database clustersArtifact
SEAMS 2018
Learning Non-Deterministic Impact Models for AdaptationLong Paper
SEAMS 2018
Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic SearchLong Paper
SEAMS 2018
mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-OptimizationArtifact
SEAMS 2018
Link to publication Pre-print
Prototyping Self-managed Interdependent Networks - Self-healing Synergies against Cascading FailuresLong Paper
SEAMS 2018
Pre-print
Requirements and Specifications for Adaptive Security: Concepts and AnalysisSEAMS 2018 Best Paper AwardLong Paper
SEAMS 2018
Pre-print
RE-STORM: Mapping the Decision-Making Problem and Non-Functional Requirements Trade-off to Partially Observable Markov Decision ProcessesShort Paper
SEAMS 2018
Run-time Monitoring of Self-Adaptive Systems to Detect N-way Feature Interactions and their CausesShort Paper
SEAMS 2018
Security: A Critical Quality Attribute in Self-Adaptive SystemsExtended Abstract
SEAMS 2018
Self-adapation Made Easy with BlockchainsExtended Abstract
SEAMS 2018
SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Web ApplicationsArtifactSEAMS 2018 Best Artifact Award
SEAMS 2018
Link to publication Media Attached
The Special Case of Data Protection and Self-adaptationExtended Abstract
SEAMS 2018
Toward Evaluating the Impact of Self-adaptation on Security Control CertificationLong Paper
SEAMS 2018
Towards Integrating Undependable Self-Adaptive Systems in Safety-Critical EnvironmentsShort Paper
SEAMS 2018
Trace Checking for Dynamic Software Product LinesShort Paper
SEAMS 2018
Uncertainty Reduction in Self-Adaptive SystemsShort Paper
SEAMS 2018

Call for Papers

Solicited Types of Paper

SEAMS solicits different types of papers:

  • Long papers (10 pages main text, inclusive of figures, tables, appendices, etc.; plus references up to two additional pages). Long papers should: (1) clearly describe innovative and original research, or (2) report a survey on a research topic in the field, or (3) explain how existing techniques have been applied to a real-world case.

  • Comparative study papers (10 pages main text, plus references up to two additional pages). Comparative study papers should clearly describe a research problem and the artifact that is used to evaluate and compare at least two different solutions to the problem. The artifact used in a comparative study can be any artifact that is formally published, within or outside the SEAMS community. Comparative study papers are regular research papers, as long papers.

  • Short papers (6 pages + 1 page references). Short papers should describe novel and promising ideas and/or techniques that are in an early stage of development. To that end, short papers will be reviewed with dedicated review guidelines.

  • Extended abstracts on “security and adaptivity” (2 pages including references). SEAMS 2018 will organize a session devoted to “security and adaptivity” led by David Garlan. Besides other types of submissions, interested authors are invited to submit an extended abstract in which they provide an argumentation either in favor or against the statement “security is not just another quality attribute in self-adaptive systems.”

  • Artifact papers (6 pages + 1 page references). Artifact papers should describe a model problem, an exemplar, or useful set of resources for the broader community. A model problem provides a description of a problem that poses and highlights fundamental or characteristic challenges in the area of self-adaptive systems that should be addressed. An exemplar is an implementation of a system that can be used with multiple self-adaptive approaches. A data repository provides data (e.g., logging data, system traces, survey raw data) useful in other studies. A framework offers tools and services illustrating new approaches to self-adaptation that could be used by other researchers in different contexts. Please provide instructions on how to install or try out the artifact and include a link to the artifact in the paper.

  • Doctoral project papers (4 pages + 1 page references). A doctoral project paper should describe the dissertation research of a PhD student in the field of self-adaptive and self-managing systems. This paper has to be authored by the student only. A suggestion for structuring the paper is as follows:

    • The problem to be solved in your thesis (justify why this problem is important and make clear that previous research has not yet solved that problem).
    • Your research hypothesis (claim).
    • The expected contributions of your dissertation research.
    • How you plan to evaluate your results and to present credible evidence of your results to the community.
    • A description of the results achieved so far and a planned timeline for completion.

    Students of accepted papers will have a short time slot to introduce their research and interact with the audience during a poster session. Instructions for formatting posters will be provided after the notification. We encourage submissions from PhD students at any stage of their research.

Paper Submission Details and Review Process

Please note that SEAMS 2018 will not use double blind reviewing. It will continue using single blind reviewing.

All submitted papers and artifacts will be reviewed by at least three members of the program committee. Papers must not have been previously published or concurrently submitted elsewhere. Papers must conform to ACM formatting guidelines (see ICSE 2018 style guidelines here and here), and submitted via EasyChair. Accepted papers will appear in the symposium proceedings that will be published in the ACM and IEEE digital libraries. The official publication date of an accepted paper will be the date the proceedings are made available in the ACM Digital Library. This date may be up to two weeks prior to the first day of ICSE2018. The official publication date affects the deadline for any patent filings related to published work. Purchases of additional pages in the proceedings is not allowed.

Accepted artifact papers will also be archived on the Dagstuhl Artifacts Series (DARTS).

Symposia-related email should be addressed to: seams-2018-org [AT] cs.kuleuven.be

Follow SEAMS 2018 on Twitter and Facebook.

SEAMS 2018 flyer (pdf)

SEAMS community page: http://self-adaptive.org