Verification of symbolic distributed protocols for networked embedded devices A Augello, R D’Antoni, S Gaglio, GL Re, G Martorella, D Peri 2020 25th IEEE International Conference on Emerging Technologies and Factory …, 2020 | 5 | 2020 |
Time-Constrained Node Visit Planning for Collaborative UAV–WSN Distributed Applications A Augello, S Gaglio, G Lo Re, D Peri Sensors 22 (14), 5298, 2022 | 2 | 2022 |
Simulation and Test of UAV Tasks with Resource-Constrained Hardware in the Loop A Augello, S Gaglio, GL Re, D Peri 2021 IEEE International Conference on Smart Computing (SMARTCOMP), 347-352, 2021 | 2 | 2021 |
DCFL: Dynamic Clustered Federated Learning under Differential Privacy Settings A Augello, G Falzone, G Lo Re 2023 IEEE International Conference on Pervasive Computing and Communications …, 2023 | | 2023 |
Modeling and Verification of Symbolic Distributed Applications Through an Intelligent Monitoring Agent A Augello, S Gaglio, GL Re, D Peri IEEE Access 10, 94443-94457, 2022 | | 2022 |
Distributed Symbolic Network Quality Assessment for Resource-constrained Devices A Augello, S Gaglio, GL Re, D Peri 2021 26th IEEE International Conference on Emerging Technologies and Factory …, 2021 | | 2021 |
PRIVACOM 2023: First Workshop on Privacy Preserving Computation in Pervasive Computing-Program A Appenzeller, N Terzer, A Augello, G Falzone, GL Re, R Fujimoto, ... | | |