activity
20172020
most citedCloudHealth: A Model-Driven Approach to Watch the Health of Cloud Services

12 citations · 15 across the 3 of their papers we have counts for

collaborators

6 papers

cs.SE2020

A Framework for In-Vivo Testing of Mobile Applications

Mariano Ceccato, Davide Corradini, Luca Gazzola +4

The ecosystem in which mobile applications run is highly heterogeneous and configurable. All layers upon which mobile apps are built offer wide possibilities of variations, from th…

cs.SE2019

Anomaly Detection As-a-Service

Marco Mobilio, Matteo Orrù, Oliviero Riganelli +2

Cloud systems are complex, large, and dynamic systems whose behavior must be continuously analyzed to timely detect misbehaviors and failures. Although there are solutions to flexi…

cs.SE2018★ 1 cited

Dev-for-Operations and Multi-sided Platform for Next Generation Platform as a Service

Bela Berde, Steven Van Rossem, Aurora Ramos +2

This paper presents two new challenges for the Telco ecosystem transformation in the era of cloud-native microservice-based architectures. (1) Development-for-Operations (Dev-for-O…

cs.SE2018★ 2 cited

Model-Based Monitoring for IoTs Smart Cities Applications

Matteo Orrù, Marco Mobilio, Anas Shatnawi +3

Smart Cities are future urban aggregations, where a multitude of heterogeneous systems and IoT devices interact to provide a safer, more efficient, and greener environment. The vis…

cs.SE2018★ 12 cited

CloudHealth: A Model-Driven Approach to Watch the Health of Cloud Services

Anas Shatnawi, Matteo Orrù, Marco Mobilio +2

Cloud systems are complex and large systems where services provided by different operators must coexist and eventually cooperate. In such a complex environment, controlling the hea…

cs.CR2017

A Petri Nets Model for Blockchain Analysis

Andrea Pinna, Roberto Tonelli, Matteo Orrú +1

A Blockchain is a global shared infrastructure where cryptocurrency transactions among addresses are recorded, validated and made publicly available in a peer- to-peer network. To…