Paolo F. Sciammarella

Simul., 2020

Seamless development in Java of distributed real-time systems using actors.

[BibT_eX]

[DOI]

Int. J. Simul. Process. Model., 2020

2019

Statistical Model Checking of Cyber-Physical Systems Using Hybrid Theatre.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Systems and Applications, 2019

Formal Modeling and Analysis of Probabilistic Real-Time Systems.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Congress on Information and Communication Technology, 2019

2018

Qualitative and quantitative model checking of distributed probabilistic timed actors.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2018

Model continuity in cyber-physical systems: A control-centered methodology based on agents.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2018

IoT for structural health monitoring.

[BibT_eX]

[DOI]

Carmelo Scuro

Renato S. Olivito

IEEE Instrum. Meas. Mag., 2018

Modelling and analysis of multi-agent systems using UPPAAL SMC.

[BibT_eX]

[DOI]

Int. J. Simul. Process. Model., 2018

Synchronization of IoT Layers for Structural Health Monitoring.

[BibT_eX]

[DOI]

Carmelo Scuro

Renato S. Olivito

Proceedings of the 2018 Workshop on Metrology for Industry 4.0 and IoT, 2018

Model Checking Knowledge And Commitments In Multi-Agent Systems Using Actors And UPPAAL.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Modelling and Simulation, 2018

Time Synchronization in Wireless Sensor Networks: A Modeling and Analysis Experience Using Theatre.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2018

2017

From Distributed Measurement Systems to Cyber-Physical Systems: a Design Approach.

[BibT_eX]

[DOI]

Int. J. Comput., 2017

An IoT-enabled multi-sensor multi-user system for human motion measurements.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Symposium on Medical Measurements and Applications, 2017

Mobile object to speed up the synchronization of IoT network.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Workshop on Measurement and Networking, 2017

Agent-based software architecture for distributed measurement systems and cyber-physical systems design.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2017

Statistical Model Checking Of Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the European Conference on Modelling and Simulation, 2017

Statistical model checking of distributed real-time actor systems.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2017

Exploiting Model Continuity in Agent-Based Cyber-Physical Systems.

[BibT_eX]

[DOI]

Proceedings of the Cybernetics and Mathematics Applications in Intelligent Systems, 2017

2016

Measurement technique for the healty and carious teeth based on thermal analysis.

[BibT_eX]

[DOI]

Alfonso Nastro

Monica Vasile

Proceedings of the 2016 IEEE International Symposium on Medical Measurements and Applications, 2016

Setting-up of PPG scaling factors for SpO2% evaluation by smartphone.

[BibT_eX]

[DOI]

Vitaliano Spagnuolo

Proceedings of the 2016 IEEE International Symposium on Medical Measurements and Applications, 2016

Agent-Based Model Continuity Of Stochastic Time Petri Nets.

[BibT_eX]

[DOI]

Proceedings of the 30th European Conference on Modelling and Simulation, 2016

Agents+Control: A Methodology for CPSs.

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2016

Model Checking Mutual Exclusion Algorithms Using Uppaal.

[BibT_eX]

[DOI]