A Lightweight Middleware Platform for Distributed Computing on Wireless Sensor Networks. - Salvatore Gaglio; Giuseppe Lo Re; Gloria Martorella; Daniele Peri (ANT/SEIT, 2014)

A fast and interactive approach to application development on Wireless Sensor and Actuator Networks. - Salvatore Gaglio; Giuseppe Lo Re; Gloria Martorella; Daniele Peri (ETFA, 2014)

An AMI System for User Daily Routine Recognition and Prediction. - Salvatore Gaglio; Gloria Martorella (Advances onto the Internet of Things, 2014)

Hardware and Software Platforms for Distributed Computing on Resource Constrained Devices. - Gloria Martorella; Daniele Peri; Elena Toscano (Advances onto the Internet of Things, 2014)

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 (ETFA, 2015)

Programming distributed applications with symbolic reasoning on WSNs. - Salvatore Gaglio; Giuseppe Lo Re; Gloria Martorella; Daniele Peri (ICNC, 2015)

High-level Programming and Symbolic Reasoning on IoT Resource Constrained Devices. - Salvatore Gaglio; Giuseppe Lo Re; Gloria Martorella; Daniele Peri (EAI Endorsed Trans. Cogn. Commun., 2015)

A symbolic distributed event detection scheme for Wireless Sensor Networks. - Salvatore Gaglio; Giuseppe Lo Re; Gloria Martorella; Daniele Peri (ETFA, 2016)

DC4CD: A Platform for Distributed Computing on Constrained Devices. - Salvatore Gaglio; Giuseppe Lo Re; Gloria Martorella; Daniele Peri (ACM Trans. Embed. Comput. Syst., 2018)

A Rule-Based System for Hardware Configuration and Programming of IoT Devices. - Salvatore Gaglio; Leonardo Giuliana; Giuseppe Lo Re; Gloria Martorella; Antonio Montalto; Daniele Peri (AI*IA, 2019)

A Lightweight Network Discovery Algorithm for Resource-constrained IoT Devices. - Salvatore Gaglio; Giuseppe Lo Re; Gloria Martorella; Daniele Peri (ICNC, 2019)

Interoperable Real-Time Symbolic Programming for Smart Environments. - Salvatore Gaglio; Giuseppe Lo Re; Leonardo Giuliana; Gloria Martorella; Daniele Peri; Antonio Montalto (SMARTCOMP, 2019)

WSN Design and Verification Using On-Board Executable Specifications. - Salvatore Gaglio; Giuseppe Lo Re; Gloria Martorella; Daniele Peri (IEEE Trans. Ind. Informatics, 2019)

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)

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)

Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices. - Salvatore Gaglio; Giuseppe Lo Re; Gloria Martorella; Daniele Peri (Sensors, 2021)