| 2020 | ETFA | Verification of Symbolic Distributed Protocols for Networked Embedded Devices. | Andrea Augello, Rosolino D'Antoni, Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri |
| 2020 | ETFA | On-board Energy Consumption Assessment for Symbolic Execution Models on Embedded Devices. | Antonio Bordonaro, Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri |
| 2019 | SmartComp | Interoperable Real-Time Symbolic Programming for Smart Environments. | Salvatore Gaglio, Giuseppe Lo Re, Leonardo Giuliana, Gloria Martorella, Daniele Peri, Antonio Montalto |
| 2016 | ETFA | A symbolic distributed event detection scheme for Wireless Sensor Networks. | Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri |
| 2015 | ETFA | Closing the sensing-reasoning-actuating loop in resource-constrained WSANs through distributed symbolic processing. | Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri, Salvatore Davide Vassallo |
| 2014 | ANT | A Lightweight Middleware Platform for Distributed Computing on Wireless Sensor Networks. | Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri |
| 2014 | ETFA | A fast and interactive approach to application development on Wireless Sensor and Actuator Networks. | Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri |