Martorella, Gloria
Martorella, Gloria
Innovazione Industriale e Digitale (DIID) - Ingegneria Chimica, Gestionale, Informatica, Meccanica (attivo dal 01/11/2010 al 31/12/2018)
Mostra
records
Risultati 1 - 19 di 19 (tempo di esecuzione: 0.036 secondi).
A Fast and Interactive Approach to Application Development on Wireless Sensor and Actuator Networks
2014-01-01 Gaglio, S.; Lo Re, G.; Martorella, G.; Peri, D.
A Lightweight Middleware Platform for Distributed Computing on Wireless Sensor Networks
2014-01-01 Gaglio, S; Lo Re, G; Martorella, G; Peri, D
A Lightweight Network Discovery Algorithm for Resource-constrained IoT Devices
2019-01-01 Gaglio, Salvatore; Re, Giuseppe Lo; Martorella, Gloria; Peri, Daniele
A middleware to develop and test vehicular sensor network applications
2019-01-01 Gaglio S.; Lo Re G.; Martorella G.; Peri D.
A Rule-Based System for Hardware Configuration and Programming of IoT Devices
2019-01-01 Gaglio S.; Giuliana L.; Lo Re G.; Martorella G.; Montalto A.; Peri D.
A symbolic distributed event detection scheme for Wireless Sensor Networks
2016-01-01 Gaglio, S.; Lo Re, G.; Martorella, G.; Peri, D.
An AMI System for User Daily Routine Recognition and Prediction
2014-01-01 Gaglio, S; Martorella, G
Closing the sensing-reasoning-actuating loop in resource-constrained WSANs through distributed symbolic processing
2015-01-01 Gaglio, S.; Lo Re, G.; Martorella, G.; Peri, D.; Vassallo, S.D.
DC4CD: A Platform for Distributed Computing on Constrained Devices
2017-01-01 Gaglio, Salvatore; Lo Re, Giuseppe; Martorella, Gloria; Peri, Daniele
Development of an IoT Environmental Monitoring Application with a Novel Middleware for Resource Constrained Devices
2014-01-01 Gaglio, S; Lo Re, G; Martorella, G; Peri, D; Vassallo, S D
Hardware and Software Platforms for Distributed Computing on Resource Constrained Devices
2014-01-01 Martorella, G; Peri, D; Toscano, E
High-level programming and symbolic reasoning on IoT resource constrained devices
2015-01-01 Gaglio, S.; Lo Re, G.; Martorella, G.; Peri, D.
Interoperable real-time symbolic programming for smart environments
2019-01-01 Gaglio S.; Lo Re G.; Giuliana L.; Martorella G.; Montalto A.; Peri D.
Knowledge-based verification of concatenative programming patterns inspired by natural language for resource-constrained embedded devices
2021-01-01 Gaglio S.; Lo Re G.; Martorella G.; Peri D.
On-board Energy Consumption Assessment for Symbolic Execution Models on Embedded Devices
2020-01-01 Bordonaro A.; Gaglio S.; Lo Re G.; Martorella G.; Peri D.
Programming Distributed Applications with Symbolic Reasoning on WSNs
2015-01-01 Gaglio, S.; Lo Re, G.; Martorella, G.; Peri, D.
Symbolic Programming of Distributed Cyber-Physical Systems
Martorella, G.
Verification of Symbolic Distributed Protocols for Networked Embedded Devices
2020-01-01 Augello A.; D'Antoni R.; Gaglio S.; Lo Re G.; Martorella G.; Peri D.
WSN Design and Verification Using On-Board Executable Specifications
2019-02-01 Gaglio, Salvatore; Re, Giuseppe Lo; Martorella, Gloria; Peri, Daniele*
| Data di pubblicazione | Titolo | Autori | Tipologia | Autore(i) | File |
|---|---|---|---|---|---|
| 1-gen-2014 | A Fast and Interactive Approach to Application Development on Wireless Sensor and Actuator Networks | GAGLIO, SalvatoreLO RE, GiuseppeMartorella, GloriaPERI, Daniele | 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume | Gaglio, S.; Lo Re, G.; Martorella, G.; Peri, D. | |
| 1-gen-2014 | A Lightweight Middleware Platform for Distributed Computing on Wireless Sensor Networks | GAGLIO, SalvatoreLO RE, GiuseppeMartorella, GloriaPERI, Daniele | 01 - Contributo in rivista::1.01 Articolo in rivista | Gaglio, S; Lo Re, G; Martorella, G; Peri, D | |
| 1-gen-2019 | A Lightweight Network Discovery Algorithm for Resource-constrained IoT Devices | Gaglio, SalvatoreRe, Giuseppe LoMartorella, GloriaPeri, Daniele | 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume | Gaglio, Salvatore; Re, Giuseppe Lo; Martorella, Gloria; Peri, Daniele | |
| 1-gen-2019 | A middleware to develop and test vehicular sensor network applications | Gaglio S.Lo Re G.Martorella G.Peri D. | 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume | Gaglio S.; Lo Re G.; Martorella G.; Peri D. | |
| 1-gen-2019 | A Rule-Based System for Hardware Configuration and Programming of IoT Devices | Gaglio S.Lo Re G.Martorella G.Peri D. + | 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume | Gaglio S.; Giuliana L.; Lo Re G.; Martorella G.; Montalto A.; Peri D. | |
| 1-gen-2016 | A symbolic distributed event detection scheme for Wireless Sensor Networks | GAGLIO, SalvatoreLO RE, GiuseppeMartorella, GloriaPERI, Daniele | 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume | Gaglio, S.; Lo Re, G.; Martorella, G.; Peri, D. | |
| 1-gen-2014 | An AMI System for User Daily Routine Recognition and Prediction | GAGLIO, SalvatoreMartorella, Gloria | 02 - Contributo in volume::2.01 Capitolo o Saggio | Gaglio, S; Martorella, G | |
| 1-gen-2015 | Closing the sensing-reasoning-actuating loop in resource-constrained WSANs through distributed symbolic processing | GAGLIO, SalvatoreLO RE, GiuseppeMartorella, GloriaPERI, DanieleVASSALLO, Salvatore Davide | 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume | Gaglio, S.; Lo Re, G.; Martorella, G.; Peri, D.; Vassallo, S.D. | |
| 1-gen-2017 | DC4CD: A Platform for Distributed Computing on Constrained Devices | Gaglio, SalvatoreLo Re, GiuseppeMartorella, GloriaPeri, Daniele | 01 - Contributo in rivista::1.01 Articolo in rivista | Gaglio, Salvatore; Lo Re, Giuseppe; Martorella, Gloria; Peri, Daniele | |
| 1-gen-2014 | Development of an IoT Environmental Monitoring Application with a Novel Middleware for Resource Constrained Devices | GAGLIO, SalvatoreLO RE, GiuseppeMartorella, GloriaPERI, DanieleVASSALLO, Salvatore Davide | 10 - Proceedings::Proceedings | Gaglio, S; Lo Re, G; Martorella, G; Peri, D; Vassallo, S D | |
| 1-gen-2014 | Hardware and Software Platforms for Distributed Computing on Resource Constrained Devices | Martorella, GloriaPERI, DanieleTOSCANO, Elena | 02 - Contributo in volume::2.01 Capitolo o Saggio | Martorella, G; Peri, D; Toscano, E | |
| 1-gen-2015 | High-level programming and symbolic reasoning on IoT resource constrained devices | GAGLIO, SalvatoreLO RE, GiuseppeMartorella, GloriaPERI, Daniele | 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume | Gaglio, S.; Lo Re, G.; Martorella, G.; Peri, D. | |
| 1-gen-2019 | Interoperable real-time symbolic programming for smart environments | Gaglio S.Lo Re G.Martorella G.Peri D. + | 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume | Gaglio S.; Lo Re G.; Giuliana L.; Martorella G.; Montalto A.; Peri D. | |
| 1-gen-2021 | Knowledge-based verification of concatenative programming patterns inspired by natural language for resource-constrained embedded devices | Gaglio S.Lo Re G.Martorella G.Peri D. | 01 - Contributo in rivista::1.01 Articolo in rivista | Gaglio S.; Lo Re G.; Martorella G.; Peri D. | |
| 1-gen-2020 | On-board Energy Consumption Assessment for Symbolic Execution Models on Embedded Devices | Bordonaro A.Gaglio S.Lo Re G.Martorella G.Peri D. | 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume | Bordonaro A.; Gaglio S.; Lo Re G.; Martorella G.; Peri D. | |
| 1-gen-2015 | Programming Distributed Applications with Symbolic Reasoning on WSNs | GAGLIO, SalvatoreLO RE, GiuseppeMartorella, GloriaPERI, Daniele | 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume | Gaglio, S.; Lo Re, G.; Martorella, G.; Peri, D. | |
| - | Symbolic Programming of Distributed Cyber-Physical Systems | Martorella, Gloria | 04 - Tesi di dottorato::4.2 Tesi di dottorato | Martorella, G. | |
| 1-gen-2020 | Verification of Symbolic Distributed Protocols for Networked Embedded Devices | Augello A.Gaglio S.Lo Re G.Martorella G.Peri D. + | 02 - Contributo in volume::2.07 Contributo in atti di convegno pubblicato in volume | Augello A.; D'Antoni R.; Gaglio S.; Lo Re G.; Martorella G.; Peri D. | |
| 1-feb-2019 | WSN Design and Verification Using On-Board Executable Specifications | Gaglio, SalvatoreRe, Giuseppe LoMartorella, GloriaPeri, Daniele | 01 - Contributo in rivista::1.01 Articolo in rivista | Gaglio, Salvatore; Re, Giuseppe Lo; Martorella, Gloria; Peri, Daniele* |