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
|16:00 - 16:45|
Frank S. de BoerCentrum Wiskunde & Informatica, Leiden University
|16:45 - 17:15|