Gloria Martorella

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