Blogs (61) >>
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

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

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