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

Mon 28 May
Times are displayed in 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 - 11:25
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 - 11:40
DeSiRE: Further Understanding Nuances of Degrees of Satisfaction of Non-functional Requirements Trade-offShort Paper
SEAMS 2018
Ross Edwards, Nelly BencomoAston University
11:40 - 11:55
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 - 12:10
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 - 12:25
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