SCIAMMARELLA, PAOLO FRANCESCO

SCIAMMARELLA, PAOLO FRANCESCO  

Dipartimento di Ingegneria Informatica, Modellistica, Elettronica e Sistemistica  

Mostra records
Risultati 1 - 20 di 20 (tempo di esecuzione: 0.029 secondi).
Titolo Data di pubblicazione Autore(i) File
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.
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
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.
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
Verification of a Smart Power Control System using Hybrid Actors 1-gen-2019 Nigro, Libero; Sciammarella, Paolo F.