64 citations · 134 across the 12 of their papers we have counts for
6 papers · 1 filter
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
Rocco De Nicola, Gianluigi Ferrari, Rosario Pugliese +1
We review some results regarding specification, programming and verification of different classes of distributed systems which stemmed from the research of the Concurrency and Mobi…
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…
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…
A Context-Oriented Extension of F#
Andrea Canciani, Pierpaolo Degano, Gian-Luigi Ferrari +1
Context-Oriented programming languages provide us with primitive constructs to adapt program behaviour depending on the evolution of their operational environment, namely the conte…
Typing Context-Dependent Behavioural Variation
Pierpaolo Degano, Gian-Luigi Ferrari, Letterio Galletta +1
Context Oriented Programming (COP) concerns the ability of programs to adapt to changes in their running environment. A number of programming languages endowed with COP constructs…