research
∙
05/20/2022
Topology-aware Serverless Function-Execution Scheduling
State-of-the-art serverless platforms use hardcoded scheduling policies ...
share
research
∙
04/26/2021
Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version)
In the context of the BI-REX (Big Data Innovation and Research Excellenc...
research
∙
04/26/2021
A Session Subtyping Tool (Extended Version)
Session types are becoming popular and have been integrated in several m...
research
∙
01/20/2021
Fair Refinement for Asynchronous Session Types (extended version)
Session types are widely used as abstractions of asynchronous message pa...
research
∙
08/04/2020
Microservice Interface Based Deployment Orchestration
Following previous work on the automated deployment orchestration of com...
research
∙
08/27/2019
Analysis of SLA Compliance in the Cloud – An Automated, Model-based Approach
Service Level Agreements (SLA) are commonly used to specify the quality ...
research
∙
06/30/2019
A Sound Algorithm for Asynchronous Session Subtyping (extended version)
Session types, types for structuring communication between endpoints in ...
research
∙
01/28/2019