Gloria Martorella

According to our database, Gloria Martorella authored at least 16 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

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

2020

On-board Energy Consumption Assessment for Symbolic Execution Models on Embedded Devices.

Antonio Bordonaro, Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

Verification of Symbolic Distributed Protocols for Networked Embedded Devices.

Andrea Augello, Rosolino D'Antoni, Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri

Proceedings of the 25th IEEE International Conference on Emerging Technologies and Factory Automation, 2020

2019

WSN Design and Verification Using On-Board Executable Specifications.

Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri

IEEE Trans. Ind. Informatics, 2019

Interoperable Real-Time Symbolic Programming for Smart Environments.

Salvatore Gaglio, Giuseppe Lo Re, Leonardo Giuliana, Gloria Martorella, Daniele Peri, Antonio Montalto

Proceedings of the IEEE International Conference on Smart Computing, 2019

A Lightweight Network Discovery Algorithm for Resource-constrained IoT Devices.

Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri

Proceedings of the International Conference on Computing, Networking and Communications, 2019

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

Proceedings of the AI*IA 2019 - Advances in Artificial Intelligence, 2019

2018

DC4CD: A Platform for Distributed Computing on Constrained Devices.

Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri

ACM Trans. Embed. Comput. Syst., 2018

2016

A symbolic distributed event detection scheme for Wireless Sensor Networks.

Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

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

Programming distributed applications with symbolic reasoning on WSNs.

Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri

Proceedings of the International Conference on Computing, Networking and Communications, 2015

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

Proceedings of the 20th IEEE Conference on Emerging Technologies & Factory Automation, 2015

2014

Hardware and Software Platforms for Distributed Computing on Resource Constrained Devices.

Gloria Martorella, Daniele Peri, Elena Toscano

Proceedings of the Advances onto the Internet of Things, 2014

An AMI System for User Daily Routine Recognition and Prediction.

Salvatore Gaglio, Gloria Martorella

Proceedings of the Advances onto the Internet of Things, 2014

A fast and interactive approach to application development on Wireless Sensor and Actuator Networks.

Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri

Proceedings of the 2014 IEEE Emerging Technology and Factory Automation, 2014

A Lightweight Middleware Platform for Distributed Computing on Wireless Sensor Networks.

Salvatore Gaglio, Giuseppe Lo Re, Gloria Martorella, Daniele Peri

Proceedings of the 5th International Conference on Ambient Systems, 2014