| IoT for structural health monitoring C Scuro, PF Sciammarella, F Lamonaca, RS Olivito, DL Carni IEEE Instrumentation & Measurement Magazine 21 (6), 4-14, 2018 | 129 | 2018 |
| 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 | 75 | 2018 |
| A layered IoT-based architecture for a distributed structural health monitoring system System F Lamonaca, C Scuro, D Grimaldi, RS Olivito, PF Sciammarella, DL Carnì Acta Imeko 8 (2), 45-52, 2019 | 63 | 2019 |
| 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 | 36 | 2018 |
| 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 | 29 | 2018 |
| Qualitative and quantitative model checking of distributed probabilistic timed actors L Nigro, PF Sciammarella Simulation Modelling Practice and Theory 87, 343-368, 2018 | 25 | 2018 |
| 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 | 23 | 2016 |
| 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 | 22 | 2018 |
| 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 | 20 | 2017 |
| 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 | 19 | 2020 |
| 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 | 16 | 2018 |
| 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 | 13 | 2017 |
| Model Checking Mutual Exclusion Algorithms Using Uppaal F Cicirelli, L Nigro, PF Sciammarella Software Engineering Perspectives and Application in Intelligent Systems …, 2016 | 11 | 2016 |
| Statistical model checking of cyber-physical systems using hybrid theatre L Nigro, PF Sciammarella Intelligent Systems and Applications: Proceedings of the 2019 Intelligent …, 2020 | 9 | 2020 |
| Statistical model checking of distributed real-time actor systems L Nigro, PF Sciammarella 2017 IEEE/ACM 21st International Symposium on Distributed Simulation and …, 2017 | 9 | 2017 |
| 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 | 9 | 2017 |
| Statistical Model Checking Of Multi-Agent Systems. L Nigro, PF Sciammarella ECMS, 11-17, 2017 | 8 | 2017 |
| Mobile object to speed up the synchronization of IoT network F Lamonaca, DL Carni, D Grimaldi, PF Sciammarella 2017 IEEE International Workshop on Measurement and Networking (M&N), 1-6, 2017 | 6 | 2017 |
| Formal reasoning on knowledge and commitments in multi-agent systems using Theatre C Nigro, L Nigro, PF Sciammarella Simulation 96 (2), 233-250, 2020 | 5 | 2020 |
| Agents+ Control: a methodology for CPSs F Cicirelli, L Nigro, PF Sciammarella 2016 IEEE/ACM 20th International Symposium on Distributed Simulation and …, 2016 | 5 | 2016 |
