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

Conference Day
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 CalinescuUniversity of York, UK
11:00
25m
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
15m
DeSiRE: Further Understanding Nuances of Degrees of Satisfaction of Non-functional Requirements Trade-offShort Paper
SEAMS 2018
Ross Edwards, Nelly BencomoAston 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 Garcia PaucarAston University, Nelly BencomoAston University
11:55
15m
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
15m
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