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

Dates
Rooms
Tracks
Badges
Your 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
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