13th International Symposium on Software Engineering for Adaptive and Self-Managing SystemsSEAMS 2018
SEAMS 2018 is co-located with ICSE 2018 in Gothenburg, Sweden and will be held from May 28-29, 2018.
- The SEAMS 2018 proceedings are available online at the ACM Digital Library.
- Pictures of SEAMS 2018 can be found at our Facebook page, particularly, here and here.
- The slides of the keynote “Self adaptive software systems are essential for the Internet of Things” by Danny Hughes are available here.
- The SEAMS 2018 best paper award goes to “Requirements and Specifications for Adaptive Security: Concepts and Analysis” by Thein Tun, Mu Yang, Arosha Bandara, Yijun Yu, Armstrong Nhlabatsi, Niamul Khan, Khaled Khan, and Bashar Nuseibeh and the best artifact award to “SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Web Applications” by Gabriel A. Moreno, Bradley Schmerl, and David Garlan. Congratulations!
- The SEAMS 2018 proceedings are available as part of the ICSE 2018 proceedings on the official ICSE 2018 webpage.
- We have now officially published the SEAMS 2018 artifacts as issue 1 in the volume 4 of the “Dagstuhl Artifacts Series (DARTS)”.
- Register to SEAMS 2018 through the ICSE 2018 registration. Please note the early registration deadline of April 1st 2018.
- Keynote speaker confirmed: Danny Hughes will give a talk entitled “Self adaptive software systems are essential for the Internet of Things”.
- Extended submission deadline for all solicited types of papers (including the extended abstracts on “security and adaptivity”). The extended deadline is strict.
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:
- 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
- Self-* properties
- Automatic configuration, openness
- Adaptive security and privacy (SEAMS’18 will devote a special session on this topic)
- Architecture and model-driven approaches
- Control theory
- Automatic synthesis techniques
- Search-based techniques and learning
- 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
- Runtime decision-making (multi-objective, multi-layered, distributed)
- Analysis and testing frameworks
- Verification and validation
- Formal notations for modeling and analyzing self-* properties
- Domain-specific language support for self-adaptation
- Programming language support for self-adaptation
- Industrial internet of things
- Cyber-physical systems
- Cloud and edge computing
- Smart environments
- Smart user interfaces
- Model problems and exemplars
- Resources including data sets, metrics, and software useful to compare self-adaptive approaches
Mon 28 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 09:00
OpeningSEAMS 2018 at E1 room
|Welcome to SEAMS 2018|
09:00 - 10:30
SEAMS KeynoteSEAMS 2018 at E1 room
Chair(s): Danny Weyns KU Leuven
|Self adaptive software systems are essential for the Internet of ThingsKeynote|
Danny Hughes KU LeuvenFile Attached
14:00 - 15:30
UncertaintySEAMS 2018 at E1 room
Chair(s): Hausi Müller University of Victoria, Computer Science, Faculty of Engineering, Canada
|Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic SearchLong Paper|
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
|Uncertainty Reduction in Self-Adaptive SystemsShort Paper|
Gabriel A. Moreno Carnegie Mellon University, USA, Javier Camara Carnegie Mellon University, David Garlan Carnegie Mellon University, Mark Klein Carnegie Mellon University
|Adapting a System with Noisy Outputs with Statistical GuaranteesLong Paper|
Ilias Gerostathopoulos Technical University of Munich, Christian Prehofer fortiss, Germany, Tomas Bures Charles University, Czech RepublicPre-print
|Trace Checking for Dynamic Software Product LinesShort Paper|
Rafael Olaechea University of Waterloo, Joanne M. Atlee University of Waterloo, Canada, Axel Legay , Uli Fahrenberg École Polytechnique
18:00 - 22:00
SEAMS BanquetSEAMS 2018 at Ristoria Restaurant
Tue 29 MayDisplayed time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change
08:30 - 09:00
OpeningSEAMS 2018 at E1 room
|Opening Day 2|
14:00 - 15:30
Security and AdaptivitySEAMS 2018 at E1 room
Chair(s): David Garlan Carnegie Mellon University
|Security: A Critical Quality Attribute in Self-Adaptive SystemsExtended Abstract|
Anthony Peruma Rochester Institute of Technology, Daniel Krutz Rochester Institute of Technology
|The Special Case of Data Protection and Self-adaptationExtended Abstract|
Zoltan Mann University Duisburg-Essen, Andreas Metzger University of Duisburg-Essen
|Self-adapation Made Easy with BlockchainsExtended Abstract|
Peter E. Sedgewick University of Kent, Rogério de Lemos University of Kent, UK
|Agree to Disagree: Security Requirements Are Different, But Mechanisms For Security Adaptation Are NotExtended Abstract|
Thein Tun , Amel Bennaceur The Open University
|Panel Discussion on Security and AdaptivityPanel|
17:10 - 17:30
ClosingSEAMS 2018 at E1 room
|Closing SEAMS 2018|
|Outlook on SEAMS 2019|
The following list contains all accepted full papers, short papers, artifact papers, doctoral project papers, and abstracts.
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
- SEAMS 2017 in Buenos Aires, Argentina
- SEAMS 2016 in Austin, USA
- SEAMS 2015 in Florence, Italy
- SEAMS 2014 in Hyderabad, India
- SEAMS 2013 in San Francisco, USA
- SEAMS 2012 in Zürich, Switzerland
- SEAMS 2011 in Hawaii, USA
- SEAMS 2010 in Cape Town, South Africa
- SEAMS 2009 in Vancouver, British Columbia, Canada
- SEAMS 2008 in Leipzig, Germany
- SEAMS 2007 in Minneapolis, Minnesota, USA
- SEAMS 2006 in Shanghai, China
SEAMS community page: http://self-adaptive.org