Write a Blog >>
ISSTA 2018
Sun 15 - Sat 21 July 2018 Amsterdam, Netherlands
co-located with ECOOP and ISSTA 2018
Tue 17 Jul 2018 16:45 - 17:15 at Bangkok - Session 3 Chair(s): Martin Leucker

We describe an approach for SLA-aware deployment of services on the cloud. It is based on formal models combined with static analysis tools and generated runtime monitors. As such, it fits well within a DevOps methodology.

Tue 17 Jul
Times are displayed in time zone: Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00
Session 3VORTEX at Bangkok
Chair(s): Martin LeuckerUniversity of Lübeck
16:00
45m
Talk
Run-time checking of data- and protocol-oriented properties of Java programsKeynote
VORTEX
K: Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
16:45
30m
Talk
Analysis of SLA Compliance in the Cloud
VORTEX
Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Elena Giachino, P: Stijn De Gouw, Reiner HähnleTechnical University of Darmstadt, Einar Broch JohnsenUniversity of Oslo, Cosimo Laneve, Violet Ka I Pun, Gianluigi Zavattaro