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...
share
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
∙
02/28/2020
Behavioural Types for Memory and Method Safety in a Core Object-Oriented Language
We present a type-based analysis ensuring memory safety and object proto...
research
∙
01/22/2020
Axiomatizing Maximal Progress and Discrete Time
Milner's complete proof system for observational congruence is crucially...
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
Optimal and Automated Deployment for Microservices
Microservices are highly modular and scalable Service Oriented Architect...
research
∙
05/27/2010