5 citations · 10 across the 3 of their papers we have counts for
7 papers
Credulous Users and Fake News: a Real Case Study on the Propagation in Twitter
Alessandro Balestrucci, Rocco De Nicola
Recent studies have confirmed a growing trend, especially among youngsters, of using Online Social Media as favourite information platform at the expense of traditional mass media.…
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…
Do you really follow them? Automatic detection of credulous Twitter users
Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi +1
Online Social Media represent a pervasive source of information able to reach a huge audience. Sadly, recent studies show how online social bots (automated, often malicious account…
Towards formal models and languages for verifiable Multi-Robot Systems
Rocco De Nicola, Luca Di Stefano, Omar Inverso
Incorrect operations of a Multi-Robot System (MRS) may not only lead to unsatisfactory results, but can also cause economic losses and threats to safety. These threats may not alwa…
DReAM: Dynamic Reconfigurable Architecture Modeling (full paper)
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
Modern systems evolve in unpredictable environments and have to continuously adapt their behavior to changing conditions. The "DReAM" (Dynamic Reconfigurable Architecture Modeling)…
On the Power of Attribute-based Communication
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
In open systems, i.e. systems operating in an environment that they cannot control and with components that may join or leave, behaviors can arise as side effects of intensive comp…