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: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00: VORTEX - Session 3 at Bangkok
Chair(s): Martin LeuckerUniversity of Lübeck
vortex-2018-papers16:00 - 16:45
Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
vortex-2018-papers16:45 - 17:15
Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University, Elena Giachino, Stijn De Gouw, Reiner HähnleTechnical University of Darmstadt, Einar Broch JohnsenUniversity of Oslo, Cosimo Laneve, Violet Ka I Pun, Gianluigi Zavattaro