64 citations · 134 across the 12 of their papers we have counts for
4 papers · 1 filter
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…
Automata for Specifying and Orchestrating Service Contracts
Davide Basile, Pierpaolo Degano, Gian-Luigi Ferrari
An approach to the formal description of service contracts is presented in terms of automata. We focus on the basic property of guaranteeing that in the multi-party composition of…
Event-driven Adaptation in COP
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta
Context-Oriented Programming languages provide us with primitive constructs to adapt program behaviour depending on the evolution of their operational environment, namely the conte…