research
∙
05/07/2020
Credulous Users and Fake News: a Real Case Study on the Propagation in Twitter
Recent studies have confirmed a growing trend, especially among youngste...
share
research
∙
12/03/2019
A Formal Approach to the Engineering of Domain-Specific Distributed Systems
We review some results regarding specification, programming and verifica...
research
∙
09/09/2019
Do you really follow them? Automatic detection of credulous Twitter users
Online Social Media represent a pervasive source of information able to ...
research
∙
05/09/2018
DReAM: Dynamic Reconfigurable Architecture Modeling (full paper)
Modern systems evolve in unpredictable environments and have to continuo...
research
∙
04/22/2018
Towards formal models and languages for verifiable Multi-Robot Systems
Incorrect operations of a Multi-Robot System (MRS) may not only lead to ...
research
∙
11/23/2017
A Behavioural Theory for Interactions in Collective-Adaptive Systems
We propose a process calculus, named AbC, to study the behavioural theor...
research
∙
10/26/2017