3 citations · 12 across the 8 of their papers we have counts for
9 papers
On the Monitorability of Session Types, in Theory and Practice (Extended Version)
Christian Batrolo Burlò, Adrian Francalanza, Alceste Scalas
In concurrent and distributed systems, software components are expected to communicate according to predetermined protocols and APIs - and if a component does not observe them, the…
A Mixed-method Study on Security and Privacy Practices in Danish Companies
Asmita Dalela, Saverio Giallorenzo, Oksana Kulyk +2
Increased levels of digitalization in society expose companies to new security threats, requiring them to establish adequate security and privacy measures. Additionally, the presen…
Jolie & LEMMA: Model-Driven Engineering and Programming Languages Meet on Microservices
Saverio Giallorenzo, Fabrizio Montesi, Marco Peressotti +2
In the field of microservices, Model-Driven Engineering has emerged as a powerful methodology for architectural design, and new programming languages have introduced language abstr…
Microservice Dynamic Architecture-Level Deployment Orchestration (Extended Version)
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo +3
In the context of the BI-REX (Big Data Innovation and Research Excellence) competence center SEAWALL (SEAmless loW lAtency cLoud pLatforms) project (scientific coordinator Prof. Ma…
Microservice Interface Based Deployment Orchestration
Lorenzo Bacchiani, Mario Bravetti, Saverio Giallorenzo +3
Following previous work on the automated deployment orchestration of component based applications, where orchestrations are expressed in terms of behaviours satisfying component in…
No more, no less - A formal model for serverless computing
Maurizio Gabbrielli, Saverio Giallorenzo, Ivan Lanese +3
Serverless computing, also known as Functions-as-a-Service, is a recent paradigm aimed at simplifying the programming of cloud applications. The idea is that developers design appl…