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 -

Mon 28 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna

08:30 - 09:00: OpeningSEAMS 2018 at E1 room
08:30 - 09:00
Welcome to SEAMS 2018
SEAMS 2018
G: Jesper AnderssonLinnaeus University, P: Danny WeynsKU Leuven
11:00 - 12:30: Qualities & VerificationSEAMS 2018 at E1 room
Chair(s): Radu CalinescuUniversity of York, UK
11:00 - 11:25
Compositional Verification of Self-Adaptive Cyber-Physical SystemsLong Paper
SEAMS 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
SEAMS 2018
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
SEAMS 2018
Luis Garcia PaucarAston University, Nelly BencomoAston University
11:55 - 12:10
Towards Integrating Undependable Self-Adaptive Systems in Safety-Critical EnvironmentsShort Paper
SEAMS 2018
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
SEAMS 2018
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: UncertaintySEAMS 2018 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
SEAMS 2018
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
SEAMS 2018
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
SEAMS 2018
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
SEAMS 2018
Rafael OlaecheaUniversity of Waterloo, Joanne M. AtleeUniversity of Waterloo, Canada, Axel Legay, Uli FahrenbergÉcole Polytechnique
16:00 - 17:30: ModelingSEAMS 2018 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
SEAMS 2018
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
SEAMS 2018
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
SEAMS 2018
Byron DevriesGrand Valley State University, Betty H.C. ChengMichigan State University
16:55 - 17:10
mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-OptimizationArtifact
SEAMS 2018
Thomas VogelHumboldt-Universität zu Berlin
Link to publication Pre-print
18:00 - 22:00: SEAMS BanquetSEAMS 2018 at Ristoria Restaurant
18:00 - 22:00
Dinner
SEAMS Banquet
SEAMS 2018

Tue 29 May
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna

08:30 - 09:00: OpeningSEAMS 2018 at E1 room
08:30 - 09:00
Opening Day 2
SEAMS 2018
G: Jesper AnderssonLinnaeus University, P: Danny WeynsKU Leuven
09:00 - 10:30: Agents & DistributionSEAMS 2018 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
SEAMS 2018
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
SEAMS 2018
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
SEAMS 2018
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
SEAMS 2018
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
SEAMS 2018
11:00 - 12:30: SecuritySEAMS 2018 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
SEAMS 2018
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
SEAMS 2018
Thein Tun, Mu YangThe Open University, Arosha K BandaraOpen University, Yijun YuThe Open University, 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
SEAMS 2018
Michele GuerrieroPolitecnico di Milano, Damian Andrew TamburriTU/e, Elisabetta Di NittoPolitecnico di Milano
12:15 - 12:25
INSpIRA: INtegrating Security Into Risk AssessmentDoctoral Project
SEAMS 2018
Jürgen DobajGraz University of Technology
14:00 - 15:30: Security and AdaptivitySEAMS 2018 at E1 room
Chair(s): David GarlanCarnegie Mellon University
14:00 - 14:10
Security: A Critical Quality Attribute in Self-Adaptive SystemsExtended Abstract
SEAMS 2018
Anthony PerumaRochester Institute of Technology, Daniel KrutzRochester Institute of Technology
14:10 - 14:20
The Special Case of Data Protection and Self-adaptationExtended Abstract
SEAMS 2018
Zoltan MannUniversity Duisburg-Essen, Andreas MetzgerUniversity of Duisburg-Essen
14:20 - 14:30
Self-adapation Made Easy with BlockchainsExtended Abstract
SEAMS 2018
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
SEAMS 2018
Thein Tun, Amel BennaceurThe Open University
14:40 - 15:30
Panel Discussion on Security and AdaptivityPanel
SEAMS 2018
16:00 - 17:10: LearningSEAMS 2018 at E1 room
Chair(s): Mauro CaporuscioLinnaeus University
16:00 - 16:25
Learning Non-Deterministic Impact Models for AdaptationLong Paper
SEAMS 2018
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
SEAMS 2018
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
SEAMS 2018
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: ClosingSEAMS 2018 at E1 room
17:10 - 17:20
Closing SEAMS 2018
SEAMS 2018
G: Jesper AnderssonLinnaeus University, P: Danny WeynsKU Leuven
17:20 - 17:30
Outlook on SEAMS 2019
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).

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
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
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
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
DeSiRE: Further Understanding Nuances of Degrees of Satisfaction of Non-functional Requirements Trade-offShort Paper
SEAMS 2018
Decentralized Self-Adaptive Computing at the EdgeDoctoral Project
SEAMS 2018
Defining, Enforcing and Checking Privacy Policies In Data-Intensive ApplicationsLong 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
Prototyping Self-managed Interdependent Networks - Self-healing Synergies against Cascading FailuresLong 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
Requirements and Specifications for Adaptive Security: Concepts and AnalysisSEAMS 2018 Best Paper AwardLong Paper
SEAMS 2018
Pre-print
Run-time Monitoring of Self-Adaptive Systems to Detect N-way Feature Interactions and their CausesShort Paper
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
Security: A Critical Quality Attribute in Self-Adaptive SystemsExtended Abstract
SEAMS 2018
Self-adapation Made Easy with BlockchainsExtended Abstract
SEAMS 2018
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
mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-OptimizationArtifact
SEAMS 2018
Link to publication Pre-print

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