Verification of Symbolic Distributed Protocols for Networked Embedded Devices. - Andrea Augello; Rosolino D'Antoni; Salvatore Gaglio; Giuseppe Lo Re; Gloria Martorella; Daniele Peri (ETFA, 2020)

Distributed Symbolic Network Quality Assessment for Resource-constrained Devices. - Andrea Augello; Salvatore Gaglio; Giuseppe Lo Re; Daniele Peri (ETFA, 2021)

Simulation and Test of UAV Tasks With Resource-Constrained Hardware in the Loop. - Andrea Augello; Salvatore Gaglio; Giuseppe Lo Re; Daniele Peri (SMARTCOMP, 2021)

Modeling and Verification of Symbolic Distributed Applications Through an Intelligent Monitoring Agent. - Andrea Augello; Salvatore Gaglio; Giuseppe Lo Re; Daniele Peri (IEEE Access, 2022)

Time-Constrained Node Visit Planning for Collaborative UAV-WSN Distributed Applications. - Andrea Augello; Salvatore Gaglio; Giuseppe Lo Re; Daniele Peri (Sensors, 2022)

DCFL: Dynamic Clustered Federated Learning under Differential Privacy Settings. - Andrea Augello; Giulio Falzone; Giuseppe Lo Re (PerCom Workshops, 2023)

Tackling Selfish Clients in Federated Learning. - Andrea Augello; Ashish Gupta 012; Giuseppe Lo Re; Sajal K. Das 001 (ECAI, 2024)

A Stackelberg Approach to Federated Learning for Malware Detection. - Andrea Augello; Alessandra De Paola; Giuseppe Lo Re; Marena Jestin (ITASEC/SERICS, 2025)

HDDroid: Federated Hyperdimensional Computing for Mobile Malware Detection. - Andrea Augello; Alessandra De Paola; Giuseppe Lo Re; Antoine Menager (ITASEC/SERICS, 2025)

M2FD: Mobile malware federated detection under concept drift. - Andrea Augello; Alessandra De Paola; Giuseppe Lo Re (Comput. Secur., 2025)

Hybrid Multilevel Detection of Mobile Devices Malware Under Concept Drift. - Andrea Augello; Alessandra De Paola; Giuseppe Lo Re (J. Netw. Syst. Manag., 2025)