Program - SEAMS 2018

Write a Blog >>

Mon 28 - Tue 29 May 2018 Gothenburg, Sweden

co-located with * ICSE 2018 *

Filter

Mon 28 May

08:30 - 09:00: SEAMS 2018 - Opening at E1 room

08:30 - 09:00

Welcome to SEAMS 2018

Jesper Andersson, Danny Weyns

09:00 - 10:30: SEAMS 2018 - SEAMS Keynote at E1 room
Chair(s): Danny Weyns

09:00 - 10:30

Self adaptive software systems are essential for the Internet of ThingsKeynote

11:00 - 12:30: SEAMS 2018 - Qualities & Verification at E1 room
Chair(s): Radu Calinescu

11:00 - 11:25

Compositional Verification of Self-Adaptive Cyber-Physical SystemsLong Paper

Aimee Borda, Liliana Pasquale, Vasileios Koutavas, Bashar Nuseibeh

11:25 - 11:40

DeSiRE: Further Understanding Nuances of Degrees of Satisfaction of Non-functional Requirements Trade-offShort Paper

Ross Edwards, Nelly Bencomo

11:40 - 11:55

RE-STORM: Mapping the Decision-Making Problem and Non-Functional Requirements Trade-off to Partially Observable Markov Decision ProcessesShort Paper

Luis Garcia Paucar, Nelly Bencomo

11:55 - 12:10

Towards Integrating Undependable Self-Adaptive Systems in Safety-Critical EnvironmentsShort Paper

Gereon Weiss, Philipp Schleiss, Daniel Schneider, Mario Trapp

12:10 - 12:25

K8-Scalar: a workbench to compare autoscalers for container-orchestrated database clustersArtifact

Wito Delnat, Eddy Truyen, Ansar Rafique, Dimitri Van Landuyt, Wouter Joosen

14:00 - 15:30: SEAMS 2018 - Uncertainty at E1 room
Chair(s): Hausi Müller

14:00 - 14:25

Managing Uncertainty in Self-Adaptive Systems with Plan Reuse and Stochastic SearchLong Paper

Cody Kinneer, Zack Coker, Jiacheng Wang, David Garlan, Claire Le Goues

14:25 - 14:40

Uncertainty Reduction in Self-Adaptive SystemsShort Paper

Gabriel A. Moreno, Javier Camara, David Garlan, Mark Klein

14:40 - 15:05

Adapting a System with Noisy Outputs with Statistical GuaranteesLong Paper

Ilias Gerostathopoulos, Christian Prehofer, Tomas Bures

15:05 - 15:20

Trace Checking for Dynamic Software Product LinesShort Paper

Rafael Olaechea, Joanne M. Atlee, Axel Legay, Uli Fahrenberg

16:00 - 17:30: SEAMS 2018 - Modeling at E1 room
Chair(s): Nelly Bencomo

16:00 - 16:25

Hybrid Adaptation Policies – Towards a Framework for Classification and Modelling of Different Combinations of Adaptation PoliciesLong Paper

Frank Trollmann, Johannes Fähndrich, Sahin Albayrak

16:25 - 16:40

A Systematic Literature Review of UML-based Domain-Specific Modeling Languages for Self-adaptive SystemsShort Paper

João Pablo S. Da Silva, Miguel Ecar, Marcelo S. Pimenta, Gilleanes T. A. Guedes, Luiz Paulo Franz, Luciano Marchezan

16:40 - 16:55

Run-time Monitoring of Self-Adaptive Systems to Detect N-way Feature Interactions and their CausesShort Paper

Byron Devries, Betty Cheng

16:55 - 17:10

mRUBiS: An Exemplar for Model-Based Architectural Self-Healing and Self-OptimizationArtifact

Link to publication Pre-print

18:00 - 22:00: SEAMS 2018 - SEAMS Banquet at Ristoria Restaurant

18:00 - 22:00
Dinner

Tue 29 May

08:30 - 09:00: SEAMS 2018 - Opening at E1 room

08:30 - 09:00

Jesper Andersson, Danny Weyns

09:00 - 10:30: SEAMS 2018 - Agents & Distribution at E1 room
Chair(s): Patrizio Pelliccione

09:00 - 09:25

Cleaning Up the Mess: a Formal Framework for Autonomously Reverting BDI Agent ActionsLong Paper

João Faccin, Ingrid Nunes

09:25 - 09:50

Prototyping Self-managed Interdependent Networks - Self-healing Synergies against Cascading FailuresLong Paper

Evangelos Pournaras, Mark Ballandies, Dinesh Acharya, Manish Thapa, Ben-Elias Brandt

09:50 - 10:05

A Coordination Mechanism to Replicate Large-Scale Multi-Agent SystemsShort Paper

Sylvain Ductor, Zahia Guessoum

10:05 - 10:20

SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Approaches for Web ApplicationsArtifact

Gabriel A. Moreno, Bradley Schmerl, David Garlan

10:20 - 10:30

Decentralized Self-Adaptive Computing at the EdgeDoctoral Project

11:00 - 12:30: SEAMS 2018 - Security at E1 room
Chair(s): Rogério de Lemos

11:00 - 11:25

Toward Evaluating the Impact of Self-adaptation on Security Control CertificationLong Paper

Allen Marshall, Sharmin Jahan, Rose Gamble

11:25 - 11:50

Requirements and Specifications for Adaptive Security: Concepts and AnalysisLong Paper

Thein Tun, Mu Yang, Arosha Bandara, Yijun Yu, Armstrong Nhlabatsi, Niamul Khan, Khaled Khan, Bashar Nuseibeh

11:50 - 12:15

Defining, Enforcing and Checking Privacy Policies In Data-Intensive ApplicationsLong Paper

Michele Guerriero, Damian Andrew Tamburri, Elisabetta Di Nitto

12:15 - 12:25

INSpIRA: INtegrating Security Into Risk AssessmentDoctoral Project

14:00 - 15:30: SEAMS 2018 - Security and Adaptivity at E1 room
Chair(s): David Garlan

14:00 - 14:10

Security: A Critical Quality Attribute in Self-Adaptive SystemsExtended Abstract

Anthony Peruma, Daniel Krutz

14:10 - 14:20

The Special Case of Data Protection and Self-adaptationExtended Abstract

Zoltan Mann, Andreas Metzger

14:20 - 14:30

Self-adapation Made Easy with BlockchainsExtended Abstract

Peter E. Sedgewick, Rogério de Lemos

14:30 - 14:40

Agree to Disagree: Security Requirements Are Different, But Mechanisms For Security Adaptation Are NotExtended Abstract

Thein Tun, Amel Bennaceur

14:40 - 15:30

Panel Discussion on Security and AdaptivityPanel

16:00 - 17:10: SEAMS 2018 - Learning at E1 room
Chair(s): Mauro Caporuscio

16:00 - 16:25

Learning Non-Deterministic Impact Models for AdaptationLong Paper

Francisco Duarte, Richard Gil, Paolo Romano, Antónia Lopes, Luis Rodrigues

16:25 - 16:50

A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive SystemsLong Paper

Arthur Rodrigues, Ricardo Caldas, Genaina Rodrigues, Thomas Vogel, Patrizio Pelliccione

16:50 - 17:05

Adaptive Runtime Response Time Control in PLC-based Real-Time Systems using Reinforcement LearningShort Paper

Mahshid Helali Moghadam, Mehrdad Saadatmand, Markus Borg, Markus Bohlin, Bjorn Lisper

17:10 - 17:30: SEAMS 2018 - Closing at E1 room

17:10 - 17:20

Closing SEAMS 2018

Jesper Andersson, Danny Weyns

17:20 - 17:30

Outlook on SEAMS 2019

Mon 28 May 2018


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30						18:00						30						19:00						30						20:00						30						21:00						30						22:00						30
E1 room							SEAMS 2018 Opening 08:30 - 09:00						SEAMS 2018 SEAMS Keynote 09:00 - 10:30																								SEAMS 2018 Qualities & Verification 11:00 - 12:30																																				SEAMS 2018 Uncertainty 14:00 - 15:30																								SEAMS 2018 Modeling 16:00 - 17:30
Ristoria Restaurant																																																																	SEAMS 2018 SEAMS Banquet 18:00 - 22:00

Tue 29 May 2018


Room	8:00						30						9:00						30						10:00						30						11:00						30						12:00						30						13:00						30						14:00						30						15:00						30						16:00						30						17:00						30
E1 room							SEAMS 2018 Opening 08:30 - 09:00						SEAMS 2018 Agents & Distribution 09:00 - 10:30																								SEAMS 2018 Security 11:00 - 12:30																																				SEAMS 2018 Security and Adaptivity 14:00 - 15:30																								SEAMS 2018 Learning 16:00 - 17:10														SEAMS 2018 Closing 17:10 - 17:30

Mon 28 May 2018


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

Tue 29 May 2018


Room	8:00			15			30			45			9:00			15			30			45			10:00			15			30			45			11:00			15			30			45			12:00			15			30			45			13:00			15			30			45			14:00			15			30			45			15:00			15			30			45			16:00			15			30			45			17:00			15			30			45
E1 room							SEAMS 2018 Opening Day 2 08:30 - 09:00						SEAMS 2018Long Paper Cleaning Up the Mess: a Formal Framework for Autonomously Reverting BDI ... 09:00 - 09:25					SEAMS 2018Long Paper Prototyping Self-managed Interdependent Networks - Self-healing Synergi ... 09:25 - 09:50					SEAMS 2018Short Paper A Coordination Mechanism to Replicate Large-Scale Multi-Agent Systems 09:50 - 10:05			SEAMS 2018Artifact SWIM: An Exemplar for Evaluation and Comparison of Self-Adaptation Appr ... 10:05 - 10:20			SEAMS 2018Doctoral Project Decentralized Self-Adaptive Computing at the Edge 10:20 - 10:30								SEAMS 2018Long Paper Toward Evaluating the Impact of Self-adaptation on Security Control Cer ... 11:00 - 11:25					SEAMS 2018Long Paper Requirements and Specifications for Adaptive Security: Concepts and Ana ... 11:25 - 11:50					SEAMS 2018Long Paper Defining, Enforcing and Checking Privacy Policies In Data-Intensive App ... 11:50 - 12:15					SEAMS 2018Doctoral Project INSpIRA: INtegrating Security Into Risk Assessment 12:15 - 12:25																					SEAMS 2018Extended Abstract Security: A Critical Quality Attribute in Self-Adaptive Systems 14:00 - 14:10		SEAMS 2018Extended Abstract The Special Case of Data Protection and Self-adaptation 14:10 - 14:20		SEAMS 2018Extended Abstract Self-adapation Made Easy with Blockchains 14:20 - 14:30		SEAMS 2018Extended Abstract Agree to Disagree: Security Requirements Are Different, But Mechanisms ... 14:30 - 14:40		SEAMS 2018Panel Panel Discussion on Security and Adaptivity 14:40 - 15:30																SEAMS 2018Long Paper Learning Non-Deterministic Impact Models for Adaptation 16:00 - 16:25					SEAMS 2018Long Paper A Learning Approach to Enhance Assurances for Real-Time Self-Adaptive S ... 16:25 - 16:50					SEAMS 2018Short Paper Adaptive Runtime Response Time Control in PLC-based Real-Time Systems u ... 16:50 - 17:05				SEAMS 2018 Closing SEAMS 2018 17:10 - 17:20		SEAMS 2018 Outlook on SEAMS 2019 17:20 - 17:30

iCalendar subscription service for your personal schedule

You first need to have starred events () in order to use the iCalendar subscription service.

Currently Viewed Program

Downloads the currently viewed program (with filters applied) in iCal format