28 citations · 46 across the 8 of their papers we have counts for
8 papers
A Formal Approach to Open Multiparty Interactions
Chiara Bodei, Linda Brodo, Roberto Bruni
We present a process algebra aimed at describing interactions that are multiparty, i.e. that may involve more than two processes and that are open, i.e. the number of the processes…
Tool Supported Analysis of IoT
Chiara Bodei, Pierpaolo Degano, Letterio Galletta +1
The design of IoT systems could benefit from the combination of two different analyses. We perform a first analysis to approximate how data flow across the system components, while…
Tracing where IoT data are collected and aggregated
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari +1
The Internet of Things (IoT) offers the infrastructure of the information society. It hosts smart objects that automatically collect and exchange data of various kinds, directly ga…
A Step Towards Checking Security in IoT
Chiara Bodei, Pierpaolo Degano, Gian-Luigi Ferrari +1
The Internet of Things (IoT) is smartifying our everyday life. Our starting point is IoT-LySa, a calculus for describing IoT systems, and its static analysis, which will be present…
Brane Calculi Systems: A Static Preview of their Possible Behaviour
Chiara Bodei, Linda Brodo
We improve the precision of a previous Control Flow Analysis for Brane Calculi, by adding information on the context and introducing causality information on the membranes. This al…
Predicting global usages of resources endowed with local policies
Chiara Bodei, Viet Dung Dinh, Gian Luigi Ferrari
The effective usages of computational resources are a primary concern of up-to-date distributed applications. In this paper, we present a methodology to reason about resource usage…