29 citations · 151 across the 34 of their papers we have counts for
4 papers · 1 filter
Increasing the Reusability of Enforcers with Lifecycle Events
Oliviero Riganelli, Daniela Micucci, Leonardo Mariani
Runtime enforcement can be effectively used to improve the reliability of software applications. However, it often requires the definition of ad hoc policies and enforcement strate…
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…
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…
Localizing Faults in Cloud Systems
Leonardo Mariani, Cristina Monni, Mauro Pezzé +2
By leveraging large clusters of commodity hardware, the Cloud offers great opportunities to optimize the operative costs of software systems, but impacts significantly on the relia…