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
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

16:00 - 18:00: Session 3VORTEX at Bangkok
Chair(s): Martin LeuckerUniversity of Lübeck
16:00 - 16:45
K: Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
16:45 - 17:15
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