25 citations · 128 across the 20 of their papers we have counts for
22 papers
Software Engineering for Collective Cyber-Physical Ecosystems
Roberto Casadei, Gianluca Aguzzi, Giorgio Audrito +5
Today's distributed and pervasive computing addresses large-scale cyber-physical ecosystems, characterised by dense and large networks of devices capable of computation, communicat…
Programming Distributed Collective Processes in the eXchange Calculus
Giorgio Audrito, Roberto Casadei, Ferruccio Damiani +2
Recent trends like the Internet of Things (IoT) suggest a vision of dense and multi-scale deployments of computing devices in nearly all kinds of environments. A prominent engineer…
Formal Modelling and Analysis of a Self-Adaptive Robotic System
Juliane Päßler, Maurice H. ter Beek, Ferruccio Damiani +2
Self-adaptation is a crucial feature of autonomous systems that must cope with uncertainties in, e.g., their environment and their internal state. Self-adaptive systems are often m…
Predicting Resource Consumption of Kubernetes Container Systems using Resource Models
Gianluca Turin, Andrea Borgarelli, Simone Donetti +3
Cloud computing has radically changed the way organisations operate their software by allowing them to achieve high availability of services at affordable cost. Containerized micro…
Modelling Biological and Ecological Systems with the Calculus of Wrapped Compartments
Marco Aldinucci, Livio Bioglio, Cristina Calcagno +8
The modelling and analysis of biological systems has deep roots in Mathematics, specifically in the field of Ordinary Differential Equations. Alternative approaches based on formal…
Aggregate Processes as Distributed Adaptive Services for the Industrial Internet of Things
Lorenzo Testa, Giorgio Audrito, Ferruccio Damiani +1
The Industrial Internet of Things (IIoT) promises to bring many benefits, including increased productivity, reduced costs, and increased safety to new generation manufacturing plan…