Paolo F. Sciammarella

According to our database1, Paolo F. Sciammarella authored at least 23 papers between 2016 and 2020.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2020
Formal reasoning on knowledge and commitments in multi-agent systems using Theatre.
Simul., 2020

Seamless development in Java of distributed real-time systems using actors.
Int. J. Simul. Process. Model., 2020

2019
Statistical Model Checking of Cyber-Physical Systems Using Hybrid Theatre.
Proceedings of the Intelligent Systems and Applications, 2019

Formal Modeling and Analysis of Probabilistic Real-Time Systems.
Proceedings of the Fourth International Congress on Information and Communication Technology, 2019

2018
Qualitative and quantitative model checking of distributed probabilistic timed actors.
Simul. Model. Pract. Theory, 2018

Model continuity in cyber-physical systems: A control-centered methodology based on agents.
Simul. Model. Pract. Theory, 2018

IoT for structural health monitoring.
IEEE Instrum. Meas. Mag., 2018

Modelling and analysis of multi-agent systems using UPPAAL SMC.
Int. J. Simul. Process. Model., 2018

Synchronization of IoT Layers for Structural Health Monitoring.
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.
Proceedings of the European Conference on Modelling and Simulation, 2018

Time Synchronization in Wireless Sensor Networks: A Modeling and Analysis Experience Using Theatre.
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.
Int. J. Comput., 2017

An IoT-enabled multi-sensor multi-user system for human motion measurements.
Proceedings of the 2017 IEEE International Symposium on Medical Measurements and Applications, 2017

Mobile object to speed up the synchronization of IoT network.
Proceedings of the IEEE International Workshop on Measurement and Networking, 2017

Agent-based software architecture for distributed measurement systems and cyber-physical systems design.
Proceedings of the IEEE International Instrumentation and Measurement Technology Conference, 2017

Statistical Model Checking Of Multi-Agent Systems.
Proceedings of the European Conference on Modelling and Simulation, 2017

Statistical model checking of distributed real-time actor systems.
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.
Proceedings of the Cybernetics and Mathematics Applications in Intelligent Systems, 2017

2016
Measurement technique for the healty and carious teeth based on thermal analysis.
Proceedings of the 2016 IEEE International Symposium on Medical Measurements and Applications, 2016

Setting-up of PPG scaling factors for SpO2% evaluation by smartphone.
Proceedings of the 2016 IEEE International Symposium on Medical Measurements and Applications, 2016

Agent-Based Model Continuity Of Stochastic Time Petri Nets.
Proceedings of the 30th European Conference on Modelling and Simulation, 2016

Agents+Control: A Methodology for CPSs.
Proceedings of the 20th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications, 2016

Model Checking Mutual Exclusion Algorithms Using Uppaal.
Proceedings of the Software Engineering Perspectives and Application in Intelligent Systems, 2016


  Loading...