Rocco De Nicola

ORCID

Publication Activity (10 Years)

Years Active: 1981-2024
Publications (10 Years): 91

Top Venues

CoRR

ISoLA (3)

Sci. Comput. Program.

COORDINATION

University of Edinburgh, UK (PHD)

Education History

University of Edinburgh, UK

PHD

Publications

Zainab Alwaisi, Simone Soderi, Rocco De Nicola
Energy Cyber Attacks to Smart Healthcare Devices: A Testbed. CoRR (2024)
Zainab Alwaisi, Simone Soderi, Rocco De Nicola
Detection of Energy Consumption Cyber Attacks on Smart Devices. CoRR (2024)
Manuel Pratelli, Marinella Petrocchi, Fabio Saracco, Rocco De Nicola
Online disinformation in the 2020 U.S. election: swing vs. safe states. EPJ Data Sci. 13 (1) (2024)
Simone Soderi, Rocco De Nicola
CONNECTION: COvert chaNnel NEtwork attaCk Through bIt-rate mOdulatioN. CoRR (2024)
Manuel Pratelli, Marinella Petrocchi, Fabio Saracco, Rocco De Nicola
Online disinformation in the 2020 U.S. Election: swing vs. safe states. CoRR (2024)
Zainab Alwaisi, Simone Soderi, Rocco De Nicola
Mitigating and Analysis of Memory Usage Attack in IoE System. CoRR (2024)
Zainab Alwaisi, Simone Soderi, Rocco De Nicola
Detection of Energy Consumption Cyber Attacks on Smart Devices. FABULOUS (2023)
Martin Wirsing, Stefan Jähnichen, Rocco De Nicola
Rigorous engineering of collective adaptive systems - 2nd special section. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Stefano Bistarelli, Rocco De Nicola, Letterio Galletta, Cosimo Laneve, Ivan Mercanti, Adele Veschetti
Stochastic modeling and analysis of the bitcoin protocol in the presence of block communication delays. Concurr. Comput. Pract. Exp. 35 (16) (2023)
Rocco De Nicola, Hernán C. Melgratti
Multiparty testing preorders. Log. Methods Comput. Sci. 19 (1) (2023)
Manuel Pratelli, Marinella Petrocchi, Fabio Saracco, Rocco De Nicola
Swinging in the States: Does disinformation on Twitter mirror the US presidential election system? CoRR (2023)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants. CMSB (2023)
Simone Soderi, Rocco De Nicola
CONNECTION: COvert chaNnel NEtwork attaCk Through bIt-rate mOdulatioN. EISA (2023)
Manuel Pratelli, Marinella Petrocchi, Fabio Saracco, Rocco De Nicola
Swinging in the States: Does disinformation on Twitter mirror the US presidential election system? WWW (Companion Volume) (2023)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Modelling flocks of birds and colonies of ants from the bottom up. Int. J. Softw. Tools Technol. Transf. 25 (5) (2023)
Luca Di Stefano, Rocco De Nicola, Omar Inverso
Verification of Distributed Systems via Sequential Emulation. ACM Trans. Softw. Eng. Methodol. 31 (3) (2022)
Simone Soderi, Rocco De Nicola
6G Networks Physical Layer Security Using RGB Visible Light Communications. IEEE Access 10 (2022)
Martin Wirsing, Rocco De Nicola, Stefan Jähnichen
Track Edition. ISoLA (3) (2022)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Aline Uwimbabazi
Automated replication of tuple spaces via static analysis. Sci. Comput. Program. 223 (2022)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Process Algebras and Flocks of Birds. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Rocco De Nicola, Luca Di Stefano, Omar Inverso, Serenella Valiani
Modelling Flocks of Birds from the Bottom Up. ISoLA (3) (2022)
Rafael Brundo Uriarte, Huan Zhou, Kyriakos Kritikos, Zeshun Shi, Zhiming Zhao, Rocco De Nicola
Distributed service-level agreement management with smart contracts and blockchain. Concurr. Comput. Pract. Exp. 33 (14) (2021)
Paolo Bottoni, Rocco De Nicola, Daniele Gorla
Tribute to Anna Labella. J. Log. Algebraic Methods Program. 121 (2021)
Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi, Catia Trubiani
A Behavioural Analysis of Credulous Twitter Users. CoRR (2021)
Aline Uwimbabazi, Omar Inverso, Rocco De Nicola
Automated Replication of Tuple Spaces via Static Analysis. FSEN (2021)
Rocco De Nicola, Tan Duong, Michele Loreti
calculus. Sci. Comput. Program. 202 (2021)
Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli
On the efficacy of old features for the detection of new bots. Inf. Process. Manag. 58 (6) (2021)
Guido Caldarelli, Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli, Fabio Saracco
Correction to: Flow of online misinformation during the peak of the COVID-19 pandemic in Italy. EPJ Data Sci. 10 (1) (2021)
Guido Caldarelli, Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli, Fabio Saracco
Flow of online misinformation during the peak of the COVID-19 pandemic in Italy. EPJ Data Sci. 10 (1) (2021)
Chinmay Siwach, Gabriele Costa, Rocco De Nicola
Enhancing Malware Classification with Symbolic Features. ITASEC (2021)
Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi, Catia Trubiani
A behavioural analysis of credulous Twitter users. Online Soc. Networks Media 23 (2021)
Jan Hajny, Sara Ricci, Edmundas Piesarskas, Olivier Levillain, Letterio Galletta, Rocco De Nicola
Framework, Tools and Good Practices for Cybersecurity Curricula. IEEE Access 9 (2021)
Rocco De Nicola, Stefan Jähnichen, Martin Wirsing
Rigorous engineering of collective adaptive systems: special section. Int. J. Softw. Tools Technol. Transf. 22 (4) (2020)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Programming interactions in collective adaptive systems by relying on attribute-based communication. Sci. Comput. Program. 192 (2020)
Alessandro Balestrucci, Rocco De Nicola
Credulous Users and Fake News: a Real Case Study on the Propagation in Twitter. EAIS (2020)
Sara Belluccini, Rocco De Nicola, Barbara Re, Francesco Tiezzi
PALM: A Technique for Process ALgebraic Specification Mining. IFM (2020)
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi
A formal approach to the engineering of domain-specific distributed systems. J. Log. Algebraic Methods Program. 111 (2020)
Martin Wirsing, Rocco De Nicola, Stefan Jähnichen
Rigorous Engineering of Collective Adaptive Systems Introduction to the 3rd Track Edition. ISoLA (2) (2020)
Alessandro Balestrucci, Rocco De Nicola
Credulous Users and Fake News: a Real Case Study on the Propagation in Twitter. CoRR (2020)
Rocco De Nicola, Luca Di Stefano, Omar Inverso
Multi-agent systems with virtual stigmergy. Sci. Comput. Program. 187 (2020)
Guido Caldarelli, Rocco De Nicola, Marinella Petrocchi, Manuel Pratelli, Fabio Saracco
Analysis of online misinformation during the peak of the COVID-19 pandemics in Italy. CoRR (2020)
Yesim Tonga Uriarte, Marinella Petrocchi, Maria Luisa Catoni, Stefano Cresci, Rocco De Nicola, Maurizio Tesconi, Rafael Brundo Uriarte
Exploring the relation between festivals and host cities on Twitter: a study on the impacts of Lucca Comics & Games. J. Inf. Technol. Tour. 22 (4) (2020)
Rocco De Nicola, Tan Duong, Omar Inverso
Verifying AbC Specifications via Emulation. ISoLA (2) (2020)
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications. Int. J. Softw. Tools Technol. Transf. 22 (4) (2020)
Sara Belluccini, Rocco De Nicola, Marlon Dumas, Pille Pullonen, Barbara Re, Francesco Tiezzi
Verification of Privacy-Enhanced Collaborations. FormaliSE@ICSE (2020)
Atakan Aral, Ivona Brandic, Rafael Brundo Uriarte, Rocco De Nicola, Vincenzo Scoca
Addressing Application Latency Requirements through Edge Scheduling. J. Grid Comput. 17 (4) (2019)
Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi, Catia Trubiani
Do You Really Follow Them? Automatic Detection of Credulous Twitter Users. IDEAL (1) (2019)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
A calculus for collective-adaptive systems and its behavioural theory. Inf. Comput. 268 (2019)
Alessandro Maggi, Rocco De Nicola, Joseph Sifakis
A Logic-Inspired Approach to Reconfigurable System Modelling. From Reactive Systems to Cyber-Physical Systems (2019)
Alessandro Balestrucci, Rocco De Nicola, Marinella Petrocchi, Catia Trubiani
Do you really follow them? Automatic detection of credulous Twitter users. CoRR (2019)
Alessandro Balestrucci, Rocco De Nicola, Omar Inverso, Catia Trubiani
Identification of credulous users on Twitter. SAC (2019)
Rafael Brundo Uriarte, Rocco De Nicola, Vincenzo Scoca, Francesco Tiezzi
Defining and guaranteeing dynamic service levels in clouds. Future Gener. Comput. Syst. 99 (2019)
Rocco De Nicola, GianLuigi Ferrari, Rosario Pugliese, Francesco Tiezzi
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. CoRR (2019)
Rocco De Nicola, Tan Duong, Michele Loreti
ABEL - A Domain Specific Framework for Programming with Attribute-Based Communication. COORDINATION (2019)
Vittoria Cozza, Van Tien Hoang, Marinella Petrocchi, Rocco De Nicola
Transparency in Keyword Faceted Search: An Investigation on Google Shopping. IRCDL (2019)
Guido Caldarelli, Rocco De Nicola, Fabio Del Vigna, Marinella Petrocchi, Fabio Saracco
The role of bot squads in the political propaganda on Twitter. CoRR (2019)
Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti
A Systematic Approach to Programming and Verifying Attribute-Based Communication Systems. From Software Engineering to Formal Methods and Tools, and Back (2019)
Vincenzo Scoca, Atakan Aral, Ivona Brandic, Rocco De Nicola, Rafael Brundo Uriarte
Scheduling Latency-Sensitive Applications in Edge Computing. CLOSER (2018)
Rocco De Nicola, Luca Di Stefano, Omar Inverso
Toward Formal Models and Languages for Verifiable Multi-Robot Systems. Frontiers Robotics AI 5 (2018)
Irfan Khan Tanoli, Marinella Petrocchi, Rocco De Nicola
Towards automatic translation of social network policies into controlled natural language. RCIS (2018)
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
DReAM: Dynamic Reconfigurable Architecture Modeling (full paper). CoRR (2018)
Rocco De Nicola, Luca Di Stefano, Omar Inverso
Multi-agent Systems with Virtual Stigmergy. STAF Workshops (2018)
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi
t: Attribute-Based Interaction in Google Go. ISoLA (3) (2018)
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani
AErlang: Empowering Erlang with attribute-based communication. Sci. Comput. Program. 168 (2018)
Rafael Brundo Uriarte, Rocco De Nicola, Kyriakos Kritikos
Towards Distributed SLA Management with Smart Contracts and Blockchain. CloudCom (2018)
Rafael Brundo Uriarte, Rocco De Nicola
Blockchain-Based Decentralized Cloud/Fog Solutions: Challenges, Opportunities, and Standards. IEEE Commun. Stand. Mag. 2 (3) (2018)
Rocco De Nicola, Luca Di Stefano, Omar Inverso
Towards formal models and languages for verifiable Multi-Robot Systems. CoRR (2018)
Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina
Evaluating the efficiency of Linda implementations. Concurr. Comput. Pract. Exp. 30 (8) (2018)
Yehia Abd Alrahman, Rocco De Nicola, Giulio Garbi, Michele Loreti
A Distributed Coordination Infrastructure for Attribute-Based Interaction. FORTE (2018)
Michelangelo Puliga, Guido Caldarelli, Alessandro Chessa, Rocco De Nicola
Understanding the Twitter User Networks of Viruses and Ransomware Attacks. ITASEC (2018)
Rocco De Nicola, Gian Luigi Ferrari, Rosario Pugliese, Francesco Tiezzi
A Formal Approach to the Engineering of Domain-Specific Distributed Systems. COORDINATION (2018)
Rocco De Nicola, Stefan Jähnichen, Martin Wirsing
Rigorous Engineering of Collective Adaptive Systems Introduction to the 2nd Track Edition. ISoLA (3) (2018)
Rocco De Nicola, Alessandro Maggi, Joseph Sifakis
DReAM: Dynamic Reconfigurable Architecture Modeling. ISoLA (3) (2018)
Vitaly Buravlev, Rocco De Nicola, Alberto Lluch-Lafuente, Claudio Antares Mezzina
Improving Availability in Distributed Tuple Spaces Via Sharing Abstractions and Replication Strategies. PDP (2018)
Stefan Jähnichen, Rocco De Nicola, Martin Wirsing
The Meaning of Adaptation: Mastering the Unforeseen? ISoLA (3) (2018)
Rocco De Nicola, Tan Duong, Omar Inverso, Franco Mazzanti
Verifying Properties of Systems Relying on Attribute-Based Communication. ModelEd, TestEd, TrustEd (2017)
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani
AErlang: Empowering Erlang with Attribute-Based Communication. COORDINATION (2017)
Vincenzo Scoca, Rafael Brundo Uriarte, Rocco De Nicola
Smart Contract Negotiation in Cloud Computing. CLOUD (2017)
Rocco De Nicola, Tan Duong, Omar Inverso, Catia Trubiani
AErlang at Work. SOFSEM (2017)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
A Behavioural Theory for Interactions in Collective-Adaptive Systems. CoRR (2017)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Programming the Interactions of Collective Adaptive Systems by Relying on Attribute-based Communication. CoRR (2017)
Anna Labella, Rocco De Nicola
Initial Algebra for a System of Right-Linear Functors. Acta Cybern. 23 (1) (2017)
Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina
Tuple Spaces Implementations and Their Efficiency. COORDINATION (2016)
Rafael Brundo Uriarte, Francesco Tiezzi, Rocco De Nicola
Dynamic SLAs for Clouds. ESOCC (2016)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
On the Power of Attribute-based Communication. CoRR (2016)
Rocco De Nicola, Hernán C. Melgratti
Multiparty testing preorders. CoRR (2016)
Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente
Replicating Data for Better Performances in X10. Semantics, Logics, and Calculi (2016)
Van Tien Hoang, Vittoria Cozza, Marinella Petrocchi, Rocco De Nicola
Online User Behavioural Modeling with Applications to Price Steering. FINREC (2016)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
On the Power of Attribute-Based Communication. FORTE (2016)
Vitaly Buravlev, Rocco De Nicola, Claudio Antares Mezzina
Tuple spaces implementations and their efficiency. CoRR (2016)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti
Programming of CAS Systems by Relying on Attribute-Based Communication. ISoLA (1) (2016)
Luca Bortolussi, Rocco De Nicola, Vashti Galpin, Stephen Gilmore, Jane Hillston, Diego Latella, Michele Loreti, Mieke Massink
CARMA: Collective Adaptive Resource-sharing Markovian Agents. QAPL (2015)
Rocco De Nicola, Alessandro Maggi, Marinella Petrocchi, Angelo Spognardi, Francesco Tiezzi
Twitlang(er): Interactions Modeling Language (and Interpreter) for Twitter. SEFM (2015)
Marco Bernardo, Rocco De Nicola, Michele Loreti
Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. Acta Informatica 52 (1) (2015)
Rocco De Nicola
EATCS Fellows 2016 - Call for Nominations. Bull. EATCS 117 (2015)
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi, Roberto Vigo
A calculus for attribute-based communication. SAC (2015)
Van Tien Hoang, Angelo Spognardi, Francesco Tiezzi, Marinella Petrocchi, Rocco De Nicola
Domain-specific queries and Web search personalization: some investigations. WWV (2015)
Marina Andric, Rocco De Nicola, Alberto Lluch-Lafuente
Replica-Based High-Performance Tuple Space Computing. COORDINATION (2015)
Michele Boreale, Roberto Bruni, Rocco De Nicola, Michele Loreti
CaSPiS: a calculus of sessions, pipelines and services. Math. Struct. Comput. Sci. 25 (3) (2015)
Rocco De Nicola, Claudio Antares Mezzina, Hugo Torres Vieira
Global Protocol Implementations via Attribute-Based Communication. Programming Languages with Applications to Biology and Security (2015)

Rocco De Nicola.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Rocco De Nicola