On-board Energy Consumption Assessment for Symbolic Execution Models on Embedded Devices. - Antonio Bordonaro; Salvatore Gaglio; Giuseppe Lo Re; Gloria Martorella; Daniele Peri (ETFA, 2020)

Smart Auctions for Autonomic Ambient Intelligence Systems. - Antonio Bordonaro; Alessandra De Paola; Giuseppe Lo Re; Marco Morana (SMARTCOMP, 2020)

Modeling Efficient and Effective Communications in VANET through Population Protocols. - Antonio Bordonaro; Federico Concone; Alessandra De Paola; Giuseppe Lo Re; Sajal K. Das 001 (SMARTCOMP, 2021)

Population Protocols for Adaptive Event Dissemination with Autonomous Agents in Vehicular Networks. - Vincenzo Agate; Farwa Batool; Antonio Bordonaro; Alessandra De Paola; Pierluca Ferraro; Giuseppe Lo Re; Marco Morana; Antonio Virga (ICAART (1), 2025)