24 citations · 57 across the 9 of their papers we have counts for
9 papers
On the efficacy of old features for the detection of new bots
Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli
For more than a decade now, academicians and online platform administrators have been studying solutions to the problem of bot detection. Bots are computer algorithms whose use is…
Deepfake Media Forensics: State of the Art and Challenges Ahead
Irene Amerini, Mauro Barni, Sebastiano Battiato +21
AI-generated synthetic media, also called Deepfakes, have significantly influenced so many domains, from entertainment to cybersecurity. Generative Adversarial Networks (GANs) and…
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…
Uniform Labeled Transition Systems for Nondeterministic, Probabilistic, and Stochastic Process Calculi
Marco Bernardo, Rocco De Nicola, Michele Loreti
Labeled transition systems are typically used to represent the behavior of nondeterministic processes, with labeled transitions defining a one-step state to-state reachability rela…