On Synchronous and Asynchronous Communication Paradigms. - Diletta Cacciagrano; Flavio Corradini (ICTCS, 2001)

Expressiveness of Timed Events and Timed Languages. - Diletta Cacciagrano; Flavio Corradini (SFM, 2004)

Dynamic Constraint-Based Invocation of Web Services. - Diletta Cacciagrano; Flavio Corradini; Rosario Culmone; Leonardo Vito (WS-FM, 2006)

Fair Pi. - Diletta Cacciagrano; Flavio Corradini; Catuscia Palamidessi (EXPRESS, 2006)

Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus. - Diletta Cacciagrano; Flavio Corradini; Jesús Aranda; Frank D. Valencia (EXPRESS, 2007)

Separation of synchronous and asynchronous communication via testing. - Diletta Cacciagrano; Flavio Corradini; Catuscia Palamidessi (Theor. Comput. Sci., 2007)

A model-prover for constrained dynamic conversations. - Diletta Cacciagrano; Flavio Corradini; Rosario Culmone; Luca Tesei; Leonardo Vito (iiWAS, 2008)

Constraint-Based Dynamic Conversations. - Diletta Cacciagrano; Flavio Corradini; Rosario Culmone; Leonardo Vito (ICNS, 2009)

Explicit fairness in testing semantics - Diletta Cacciagrano; Flavio Corradini; Catuscia Palamidessi (Log. Methods Comput. Sci., 2009)

Bone Remodelling: A Complex Automata-Based Model Running in BioShape. - Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli (ACRI, 2010)

Multiscale Bone Remodelling with Spatial P Systems - Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli; Luca Tesei (MeCBIC, 2010)

Shape Calculus: Timed Operational Semantics and Well-formedness - Ezio Bartocci; Diletta Romana Cacciagrano; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (CoRR, 2010)

Timed Operational Semantics and Well-Formedness of Shape Calculus. - Ezio Bartocci; Diletta Romana Cacciagrano; Maria Rita Di Berardini; Emanuela Merelli; Luca Tesei (Sci. Ann. Comput. Sci., 2010)

Bone Remodelling in BioShape. - Federico Buti; Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli; Luca Tesei; M. Pani (CS2Bio, 2010)

BioShape: a spatial shape-based scale-independent simulation environment for biological systems. - Federico Buti; Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli; Luca Tesei (ICCS, 2010)

BIOSHAPE textsc{BioShape}: End-User Development for Simulating Biological Systems. - Federico Buti; Diletta Cacciagrano; Massimo Callisto De Donato; Flavio Corradini; Emanuela Merelli; Luca Tesei (IS-EUD, 2011)

A Testing Framework for P Systems - Roberto Barbuti; Diletta Romana Cacciagrano; Andrea Maggiolo-Schettini; Paolo Milazzo; Luca Tesei (CoRR, 2011)

A Uniform Multiscale Meta-model of BioShape. - Federico Buti; Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli; Luca Tesei (CS2Bio@DisCoTec, 2011)

ACTIVAge: proACTIVe and Self-Adaptive Social Sensor Network for Ageing People. - Flavio Corradini; Emanuela Merelli; Diletta Romana Cacciagrano; Rosario Culmone; Luca Tesei; Leonardo Vito (ERCIM News, 2011)

UBioLab: a web-LABoratory for Ubiquitous in-silico experiments. - Ezio Bartocci; Diletta Cacciagrano; Maria Rita Di Berardini; Emanuela Merelli; Leonardo Vito (J. Integr. Bioinform., 2012)

Interoperability issues among smart home technological frameworks. - Lorena Rossi; Alberto Belli; Adelmo De Santis; Claudia Diamantini; Emanuele Frontoni; Ennio Gambi; Lorenzo Palma; Luca Pernini; Paola Pierleoni; Domenico Potena; Laura Raffaeli; Susanna Spinsante; et al. (MESA, 2014)

Semantic Business Process Representation to Enhance the Degree of BPM Mechanization - An Ontology. - Diego Fanesi; Diletta Romana Cacciagrano; Knut Hinkelmann (ES, 2015)

A Comparison of HEED Based Clustering Algorithms - Introducing ER-HEED. - Zaib Ullah; Leonardo Mostarda; Roberto Gagliardi; Diletta Cacciagrano; Flavio Corradini (AINA, 2016)

Towards a Uniform Ontology-Driven Approach for Modeling, Checking and Executing WSANs. - Claudia Vannucchi; Diletta Romana Cacciagrano; Rosario Culmone; Leonardo Mostarda (AINA Workshops, 2016)

A Formal Model for Event-Condition-Action Rules in Intelligent Environments. - Claudia Vannucchi; Diletta Romana Cacciagrano; Flavio Corradini; Rosario Culmone; Leonardo Mostarda; Franco Raimondi; Luca Tesei (Intelligent Environments (Workshops), 2016)

vIRONy: A Tool for Analysis and Verification of ECA Rules in Intelligent Environments. - Claudia Vannucchi; Michelangelo Diamanti; Gianmarco Mazzante; Diletta Romana Cacciagrano; Flavio Corradini; Rosario Culmone; Nikos Gorogiannis; Leonardo Mostarda; Franco Raimondi (Intelligent Environments, 2017)

Uniformity in Multiscale Models: From Complex Automata to BioShape. - Diletta Cacciagrano; Flavio Corradini; Emanuela Merelli; Luca Tesei (J. Cell. Autom., 2017)

Symbolic verification of event-condition-action rules in intelligent environments. - Claudia Vannucchi; Michelangelo Diamanti; Gianmarco Mazzante; Diletta Cacciagrano; Rosario Culmone; Nikos Gorogiannis; Leonardo Mostarda; Franco Raimondi (J. Reliab. Intell. Environ., 2017)

Formal Semantics of an IoT-Specific Language. - Diletta Romana Cacciagrano; Rosario Culmone (AINA Workshops, 2018)

Energy Saving and Collision-Free Motion Planning for Oblivious Robots. - Alfredo Navarra; Diletta Cacciagrano (AINA Workshops, 2018)

Analysis and verification of ECA rules in intelligent environments. - Diletta Romana Cacciagrano; Flavio Corradini; Rosario Culmone; Nikos Gorogiannis; Leonardo Mostarda; Franco Raimondi; Claudia Vannucchi (J. Ambient Intell. Smart Environ., 2018)

Applying REECHD to non-uniformly distributed heterogeneous devices. - Diletta Cacciagrano; Flavio Corradini; Matteo Micheletti; Leonardo Mostarda (Int. J. Grid Util. Comput., 2020)

IRON: Reliable domain specific language for programming IoT devices. - Diletta Romana Cacciagrano; Rosario Culmone (Internet Things, 2020)

Off-Chain Execution of IoT Smart Contracts. - Diletta Cacciagrano; Flavio Corradini; Gianmarco Mazzante; Leonardo Mostarda; Davide Sestili (AINA (2), 2021)

Blockchain and IoT Integration for Society 5.0. - Diletta Cacciagrano; Flavio Corradini; Leonardo Mostarda (Society 5.0, 2021)

Robot Based Computing System: An Educational Experience. - Diletta Cacciagrano; Rosario Culmone; Leonardo Mostarda; Alfredo Navarra; Emanuele Scala (AINA (3), 2022)

Light Communication for Controlling Industrial Robots. - Fadi M. Al-Turjman; Diletta Cacciagrano; Leonardo Mostarda; Mattia Paccamiccio; Zaib Ullah (CoRR, 2022)

NARUN: noise adaptive routing for utility networks. - Fabio Pagnotta; Leonardo Mostarda; Orhan Gemikonakli; Rosario Culmone; Diletta Romana Cacciagrano; Flavio Corradini (Int. J. Web Grid Serv., 2022)

Off-chain trading for micro grid systems. - Marco Marcozzi; Leonardo Mostarda; Diletta Cacciagrano (Frontiers Blockchain, 2022)

Attendance System via Internet of Things, Blockchain and Artificial Intelligence Technology: Literature Review. - Sarumi Usman Abidemi; Auwalu Saleh Mubarak; Olukayode Akanni; Zubaida Sa'id Ameen; Diletta Cacciagrano; Fadi M. Al-Turjman (AINA (3), 2023)

Sensorless Predictive Maintenance: An Example on a 'Not 4.0' Coffee Machine Production Process. - Diletta Cacciagrano; Flavio Corradini; Marco Piangerelli (AINA (3), 2023)

Distributing Energy Consumption in Multi-interface Networks: Dimension of Cycle Space. - Alessandro Aloisio; Diletta Cacciagrano (3PGCIC, 2024)

Connecting AI and Blockchain to Improve Security of Financial Services. - Ramiz Salama; Diletta Cacciagrano; Fadi M. Al-Turjman (3PGCIC, 2024)

P2FL: Privacy-Preserving Federated Learning Approach for Healthcare Informatics at the Edge. - Farhan Ullah; Leonardo Mostarda; Diletta Cacciagrano; Hamad Naeem; Shamsher Ullah; Pradeep Chaudhary; Yue Zhao 014 (3PGCIC, 2024)

Blockchain and Financial Services a Study of the Applications of Distributed Ledger Technology (DLT) in Financial Services. - Ramiz Salama; Diletta Cacciagrano; Fadi Al-Turjman 001 (AINA (6), 2024)

Homomorphic Cryptography Authentication Scheme to Eliminate Machine Tools Gaps in Industry 4.0. - Shamsher Ullah; Jianqiang Li 001; Farhan Ullah; Diletta Cacciagrano; Muhammad Tanveer Hussain; Victor C. M. Leung (AINA (6), 2024)

Hacking Using Social Engineering Detection and Prevention Methods. - Ramiz Salama; Leonardo Mostarda; Diletta Cacciagrano; Fadi Al-Turjman 001 (BWCCA, 2024)

Collaborative Intrusion Detection System for Intermittent 10 Vs Using Federated Learning and Deep Swarm Particle Optimization. - Farhan Ullah; Gautam Srivastava 001; Leonardo Mostarda; Diletta Cacciagrano (DSAA, 2024)

Enhanced Network Intrusion Detection System for Internet of Things Security Using Multimodal Big Data Representation with Transfer Learning and Game Theory. - Farhan Ullah; Ali Turab; Shamsher Ullah; Diletta Cacciagrano; Yue Zhao 014 (Sensors, 2024)

A Deep Learning-Based RIDNet Approach for Enhanced Denoising of SAR Images. - Muhammad Pervez Akhter; Farhan Ullah; Leonardo Mostarda; Diletta Cacciagrano (AINA (7), 2025)

DemetrIA: An AI-Driven Process Mining Ecosystem for Efficient and Sustainable Manufacturing. - Diletta Cacciagrano; Leonardo Vito (AINA (7), 2025)

Advanced EEG Signal Processing and Deep Q-Learning for Accurate Student Attention Monitoring. - Asad Ur Rehman; Noor Ul Eman; Farhan Ullah; Diletta Cacciagrano; Leonardo Mostarda; Nabeel Raza (IEEE Access, 2025)

THE-TAFL: Transforming Healthcare Edge with Transformer-based Adaptive Federated Learning and Learning Rate Optimization. - Farhan Ullah; Nazeeruddin Mohammad; Leonardo Mostarda; Diletta Cacciagrano; Shamsher Ullah; Yue Zhao 014 (Internet Things, 2025)

Semantic-Based Federated Defense for Distributed Malicious Attacks. - Farhan Ullah; Leonardo Mostarda; Diletta Cacciagrano; Chien-Ming Chen 001; Saru Kumari (IEEE Consumer Electron. Mag., 2025)

Federated Edge Intelligence for Enhanced Security in Consumer Intermittent Healthcare Devices Using Adversarial Examples. - Farhan Ullah; Leonardo Mostarda; Diletta Cacciagrano; Mohammed J. F. Alenazi; Chien-Ming Chen 001; Saru Kumari (IEEE Trans. Consumer Electron., 2025)

Q-P2FL: Quantum-Enhanced Federated Edge Intelligence for Privacy-Preserving Adversarial Attack Detection on Consumer Edge Devices. - Farhan Ullah; Nazeeruddin Mohammad; Leonardo Mostarda; Diletta Cacciagrano; Yue Zhao 014 (IEEE Trans. Consumer Electron., 2025)

Metaheuristic-Driven Secure Task Optimization for Consumer Edge Devices. - Farhan Ullah; Leonardo Mostarda; Diletta Cacciagrano; Chien-Ming Chen 001; Mohammed Amoon; Saru Kumari (IEEE Consumer Electron. Mag., 2025)