28 citations · 46 across the 8 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2017★ 1 cited
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…
cs.LO2011★ 3 cited
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…