31 citations · 106 across the 28 of their papers we have counts for
3 papers · 1 filter
Analysis of SLA Compliance in the Cloud -- An Automated, Model-based Approach
Frank S. de Boer, Elena Giachino, Stijn de Gouw +5
Service Level Agreements (SLA) are commonly used to specify the quality attributes between cloud service providers and the customers. A violation of SLAs can result in high penalti…
A Sound Algorithm for Asynchronous Session Subtyping and its Implementation
Mario Bravetti, Marco Carbone, Julien Lange +2
Session types, types for structuring communication between endpoints in distributed systems, are recently being integrated into mainstream programming languages. In practice, a ver…
Optimal and Automated Deployment for Microservices
Mario Bravetti, Saverio Giallorenzo, Jacopo Mauro +2
Microservices are highly modular and scalable Service Oriented Architectures. They underpin automated deployment practices like Continuous Deployment and Autoscaling. In this paper…