Paolo Francesco Sciammarella
Title
Cited by
Cited by
Year
IoT for structural health monitoring
C Scuro, PF Sciammarella, F Lamonaca, RS Olivito, DL Carni
IEEE Instrumentation & Measurement Magazine 21 (6), 4-14, 2018
182018
Internet of things for structural health monitoring
F Lamonaca, PF Sciammarella, C Scuro, DL Carni, RS Olivito
2018 Workshop on Metrology for Industry 4.0 and IoT, 95-100, 2018
172018
Model continuity in cyber-physical systems: A control-centered methodology based on agents
F Cicirelli, L Nigro, PF Sciammarella
Simulation Modelling Practice and Theory 83, 93-107, 2018
142018
Synchronization of IoT layers for structural health monitoring
F Lamonaca, PF Sciammarella, C Scuro, DL Carný, RS Olivito
2018 Workshop on Metrology for Industry 4.0 and IoT, 89-94, 2018
122018
Modelling and analysis of multi-agent systems using UPPAAL SMC
C Nigro, L Nigro, PF Sciammarella
International Journal of Simulation and Process Modelling 13 (1), 73-87, 2018
122018
Qualitative and quantitative model checking of distributed probabilistic timed actors
L Nigro, PF Sciammarella
Simulation Modelling Practice and Theory 87, 343-368, 2018
102018
From distributed measurement systems to cyber-physical systems: A design approach
DL Carný, D Grimaldi, F Lamonaca, L Nigro, PF Sciammarella
International Journal of Computing 16 (2), 66-73, 2017
92017
Setting-up of PPG scaling factors for SpO2% evaluation by smartphone
DL Carni, D Grimaldi, PF Sciammarella, F Lamonaca, V Spagnuolo
2016 IEEE International Symposium on Medical Measurements and Applicationsá…, 2016
82016
Seamless development in Java of distributed real-time systems using actors
F Cicirelli, L Nigro, PF Sciammarella
International Journal of Simulation and Process Modelling 15 (1-2), 13-29, 2020
72020
An IoT-enabled multi-sensor multi-user system for human motion measurements
L De Vito, F Lamonaca, G Mazzilli, M Riccio, DL Carný, PF Sciammarella
2017 IEEE International Symposium on Medical Measurements and Applicationsá…, 2017
72017
Time synchronization in wireless sensor networks: A modeling and analysis experience using theatre
L Nigro, PF Sciammarella
2018 IEEE/ACM 22nd International Symposium on Distributed Simulation andá…, 2018
52018
Statistical model checking of distributed real-time actor systems
L Nigro, PF Sciammarella
2017 IEEE/ACM 21st International Symposium on Distributed Simulation andá…, 2017
52017
Agent-based software architecture for distributed measurement systems and cyber-physical systems design
D Carný, D Grimaldi, L Nigro, PF Sciammarella, F Cicirelli
2017 IEEE International Instrumentation and Measurement Technologyá…, 2017
52017
A layered IoT-based architecture for a distributed structural health monitoring system
F Lamonaca, C Scuro, PF Sciammarella, RS Olivito, D Grimaldi, DL Carný
Acta Imeko 8 (2), 2019
42019
Agents+ Control: a methodology for CPSs
F Cicirelli, L Nigro, PF Sciammarella
2016 IEEE/ACM 20th International Symposium on Distributed Simulation andá…, 2016
42016
Model Checking Mutual Exclusion Algorithms Using Uppaal
F Cicirelli, L Nigro, PF Sciammarella
Computer Science On-line Conference, 203-215, 2016
32016
Statistical model checking of cyber-physical systems using Hybrid Theatre
L Nigro, PF Sciammarella
Proceedings of SAI Intelligent Systems Conference, 1232-1251, 2019
22019
Model Checking Knowledge And Commitments In Multi-Agent Systems Using Actors And UPPAAL.
C Nigro, L Nigro, PF Sciammarella
ECMS, 136-142, 2018
22018
Modelling and Analysis of Distributed Asynchronous Actor Systems Using Theatre
L Nigro, PF Sciammarella
Proceedings of the Computational Methods in Systems and Software, 150-162, 2017
22017
Exploiting Model Continuity in Agent-Based Cyber-Physical Systems
DL CarnÝ, F Cicirelli, D Grimaldi, L Nigro, PF Sciammarella
Computer Science On-line Conference, 57-69, 2017
22017
The system can't perform the operation now. Try again later.
Articles 1–20