Gloria Martorella

Publication Activity (10 Years)

Years Active: 2014-2021
Publications (10 Years): 12

Top Topics

Resource Constraints

Wireless Sensor

Symbolic Reasoning

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri
Knowledge-Based Verification of Concatenative Programming Patterns Inspired by Natural Language for Resource-Constrained Embedded Devices. Sensors 21 (1) (2021)
Andrea Augello, Rosolino D'Antoni, Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri
Verification of Symbolic Distributed Protocols for Networked Embedded Devices. ETFA (2020)
Antonio Bordonaro, Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri
On-board Energy Consumption Assessment for Symbolic Execution Models on Embedded Devices. ETFA (2020)
Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri
WSN Design and Verification Using On-Board Executable Specifications. IEEE Trans. Ind. Informatics 15 (2) (2019)
Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri
A Lightweight Network Discovery Algorithm for Resource-constrained IoT Devices. ICNC (2019)
Salvatore Gaglio, Giuseppe Lo Re, Leonardo Giuliana, Gloria Martorella, Daniele Peri, Antonio Montalto
Interoperable Real-Time Symbolic Programming for Smart Environments. SMARTCOMP (2019)
Salvatore Gaglio, Leonardo Giuliana, Giuseppe Lo Re, Gloria Martorella, Antonio Montalto, Daniele Peri
A Rule-Based System for Hardware Configuration and Programming of IoT Devices. AI*IA (2019)
Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri
DC4CD: A Platform for Distributed Computing on Constrained Devices. ACM Trans. Embed. Comput. Syst. 17 (1) (2018)
Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri
A symbolic distributed event detection scheme for Wireless Sensor Networks. ETFA (2016)
Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri
Programming distributed applications with symbolic reasoning on WSNs. ICNC (2015)
Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri, Salvatore Davide Vassallo
Closing the sensing-reasoning-actuating loop in resource-constrained WSANs through distributed symbolic processing. ETFA (2015)
Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri
High-level Programming and Symbolic Reasoning on IoT Resource Constrained Devices. EAI Endorsed Trans. Cogn. Commun. 1 (2) (2015)
Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri
A fast and interactive approach to application development on Wireless Sensor and Actuator Networks. ETFA (2014)
Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri
A Lightweight Middleware Platform for Distributed Computing on Wireless Sensor Networks. ANT/SEIT (2014)
Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri
High-Level Programming and Symbolic Reasoning on IoT Resource Constrained Devices. IoT360 (1) (2014)