Write a Blog >>
SEAMS 2018
Mon 28 - Tue 29 May 2018 Gothenburg, Sweden
co-located with * ICSE 2018 *
Mon 28 May 2018 11:55 - 12:10 at E1 room - Qualities & Verification Chair(s): Radu Calinescu

Mon 28 May

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

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