SCIAMMARELLA, PAOLO FRANCESCO
SCIAMMARELLA, PAOLO FRANCESCO
Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica
A layered IoT-based architecture for a distributed structural health monitoring system
2019-01-01 Lamonaca, F.; Scuro, C.; Sciammarella, P. F.; Olivito, R. S.; Grimaldi, D.; Carni, D. L.
Formal Modelling and Analysis of Probabilistic Real-Time Systems
2019-01-01 Nigro, Christian; Nigro, Libero; Sciammarella, Paolo F.
Formal Reasoning on Knowledge and Commitments in Multi-Agent Systems using Theatre
2019-01-01 Nigro, Christian; Nigro, Libero; Sciammarella, Paolo F.
From distributed measurement systems to cyber-physical systems: A design approach
2017-01-01 Carni, D. L.; Grimaldi, D.; Lamonaca, F.; Nigro, L.; Sciammarella, P. F.
Internet of Things for Structural Health Monitoring
2018-01-01 Lamonaca, F.; Sciammarella, P. F.; Scuro, C.; Carni, D. L.; Olivito, R. S.
IoT for structural health monitoring
2018-01-01 Scuro, Carmelo; Sciammarella, Paolo Francesco; Lamonaca, Francesco; Olivito, Renato Sante; Carni, Domenico Luca
Mobile object to speed up the synchronization of IoT network
2017-01-01 Lamonaca, F.; Carni, D. L.; Grimaldi, D.; Sciammarella, P. F.
Model Checking Mutual Exclusion Algorithms Using UPPAAL
2016-01-01 Cicirelli, Franco; Nigro, Libero; Sciammarella, Paolo F.
Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents
2017-01-01 Cicirelli, Franco; Nigro, Libero; Sciammarella, Paolo F.
Modelling and Analysis of Distributed Asynchronous Actor Systems using Theatre
2017-01-01 Nigro, Libero; Sciammarella, Paolo F.
Modelling and Analysis of Multi-Agent Systems Using Uppaal SMC
2018-01-01 Nigro, Christian; Nigro, Libero; Sciammarella, Paolo F.
Modelling and Analysis of Partially Stochastic Time Petri Nets using Uppaal Model Checkers
2019-01-01 Nigro, Christian; Nigro, Libero; Sciammarella, Paolo F.
Qualitative and quantitative model checking of distributed probabilistic timed actors
2018-01-01 Nigro, Libero; Sciammarella, Paolo F.
Seamless Development in Java of Distributed Real-Time Systems using Actors
2018-01-01 Cicirelli, Franco; Nigro, Libero; Sciammarella, PAOLO FRANCESCO
Seamless Development of Distributed Real-Time Systems using Actors
2020-01-01 Cicirelli, Franco; Nigro, Libero; Sciammarella, Paolo F.
Statistical Model Checking of Cyber-Physical Systems using Hybrid Theatre
2019-01-01 Nigro, Libero; Sciammarella, Paolo F.
Statistical Model Checking of Distributed Real-Time Actor Systems
2017-01-01 Nigro, Libero; Sciammarella, Paolo F.
Statistical Model Checking of Multi-Agent Systems
2017-01-01 Nigro, Libero; Sciammarella, Paolo F.
Synchronization of IoT Layers for Structural Health Monitoring
2018-01-01 Lamonaca, F.; Sciammarella, P. F.; Scuro, C.; Carni, D. L.; Olivito, R. S.
Time synchronization in wireless sensor networks: A modelling and analysis experience using Theatre
2018-01-01 Nigro, Libero; Sciammarella, PAOLO FRANCESCO
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| A layered IoT-based architecture for a distributed structural health monitoring system | 1-gen-2019 | Lamonaca, F.; Scuro, C.; Sciammarella, P. F.; Olivito, R. S.; Grimaldi, D.; Carni, D. L. | |
| Formal Modelling and Analysis of Probabilistic Real-Time Systems | 1-gen-2019 | Nigro, Christian; Nigro, Libero; Sciammarella, Paolo F. | |
| Formal Reasoning on Knowledge and Commitments in Multi-Agent Systems using Theatre | 1-gen-2019 | Nigro, Christian; Nigro, Libero; Sciammarella, Paolo F. | |
| From distributed measurement systems to cyber-physical systems: A design approach | 1-gen-2017 | Carni, D. L.; Grimaldi, D.; Lamonaca, F.; Nigro, L.; Sciammarella, P. F. | |
| Internet of Things for Structural Health Monitoring | 1-gen-2018 | Lamonaca, F.; Sciammarella, P. F.; Scuro, C.; Carni, D. L.; Olivito, R. S. | |
| IoT for structural health monitoring | 1-gen-2018 | Scuro, Carmelo; Sciammarella, Paolo Francesco; Lamonaca, Francesco; Olivito, Renato Sante; Carni, Domenico Luca | |
| Mobile object to speed up the synchronization of IoT network | 1-gen-2017 | Lamonaca, F.; Carni, D. L.; Grimaldi, D.; Sciammarella, P. F. | |
| Model Checking Mutual Exclusion Algorithms Using UPPAAL | 1-gen-2016 | Cicirelli, Franco; Nigro, Libero; Sciammarella, Paolo F. | |
| Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents | 1-gen-2017 | Cicirelli, Franco; Nigro, Libero; Sciammarella, Paolo F. | |
| Modelling and Analysis of Distributed Asynchronous Actor Systems using Theatre | 1-gen-2017 | Nigro, Libero; Sciammarella, Paolo F. | |
| Modelling and Analysis of Multi-Agent Systems Using Uppaal SMC | 1-gen-2018 | Nigro, Christian; Nigro, Libero; Sciammarella, Paolo F. | |
| Modelling and Analysis of Partially Stochastic Time Petri Nets using Uppaal Model Checkers | 1-gen-2019 | Nigro, Christian; Nigro, Libero; Sciammarella, Paolo F. | |
| Qualitative and quantitative model checking of distributed probabilistic timed actors | 1-gen-2018 | Nigro, Libero; Sciammarella, Paolo F. | |
| Seamless Development in Java of Distributed Real-Time Systems using Actors | 1-gen-2018 | Cicirelli, Franco; Nigro, Libero; Sciammarella, PAOLO FRANCESCO | |
| Seamless Development of Distributed Real-Time Systems using Actors | 1-gen-2020 | Cicirelli, Franco; Nigro, Libero; Sciammarella, Paolo F. | |
| Statistical Model Checking of Cyber-Physical Systems using Hybrid Theatre | 1-gen-2019 | Nigro, Libero; Sciammarella, Paolo F. | |
| Statistical Model Checking of Distributed Real-Time Actor Systems | 1-gen-2017 | Nigro, Libero; Sciammarella, Paolo F. | |
| Statistical Model Checking of Multi-Agent Systems | 1-gen-2017 | Nigro, Libero; Sciammarella, Paolo F. | |
| Synchronization of IoT Layers for Structural Health Monitoring | 1-gen-2018 | Lamonaca, F.; Sciammarella, P. F.; Scuro, C.; Carni, D. L.; Olivito, R. S. | |
| Time synchronization in wireless sensor networks: A modelling and analysis experience using Theatre | 1-gen-2018 | Nigro, Libero; Sciammarella, PAOLO FRANCESCO |