Paolo F. Sciammarella

Publication Activity (10 Years)

Years Active: 2016-2020
Publications (10 Years): 23

Top Topics

Automated Verification

Scaling Factors

Top Venues

Int. J. Simul. Process. Model.

Publications

Christian Nigro, Libero Nigro, Paolo F. Sciammarella
Formal reasoning on knowledge and commitments in multi-agent systems using Theatre. Simul. 96 (2) (2020)
Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
Seamless development in Java of distributed real-time systems using actors. Int. J. Simul. Process. Model. 15 (1/2) (2020)
Libero Nigro, Paolo F. Sciammarella
Statistical Model Checking of Cyber-Physical Systems Using Hybrid Theatre. IntelliSys (1) (2019)
Christian Nigro, Libero Nigro, Paolo F. Sciammarella
Formal Modeling and Analysis of Probabilistic Real-Time Systems. ICICT (1) (2019)
Libero Nigro, Paolo F. Sciammarella
Time Synchronization in Wireless Sensor Networks: A Modeling and Analysis Experience Using Theatre. DS-RT (2018)
Libero Nigro, Paolo F. Sciammarella
Qualitative and quantitative model checking of distributed probabilistic timed actors. Simul. Model. Pract. Theory 87 (2018)
Christian Nigro, Libero Nigro, Paolo F. Sciammarella
Modelling and analysis of multi-agent systems using UPPAAL SMC. Int. J. Simul. Process. Model. 13 (1) (2018)
Francesco Lamonaca, Paolo F. Sciammarella, Carmelo Scuro, Domenico Luca Carnì, Renato S. Olivito
Synchronization of IoT Layers for Structural Health Monitoring. MetroInd4.0&IoT (2018)
Carmelo Scuro, Paolo F. Sciammarella, Francesco Lamonaca, Renato S. Olivito, Domenico Luca Carnì
IoT for structural health monitoring. IEEE Instrum. Meas. Mag. 21 (6) (2018)
Christian Nigro, Libero Nigro, Paolo F. Sciammarella
Model Checking Knowledge And Commitments In Multi-Agent Systems Using Actors And UPPAAL. ECMS (2018)
Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
Model continuity in cyber-physical systems: A control-centered methodology based on agents. Simul. Model. Pract. Theory 83 (2018)
Domenico Luca Carnì, Domenico Grimaldi, Francesco Lamonaca, Libero Nigro, Paolo F. Sciammarella
From Distributed Measurement Systems to Cyber-Physical Systems: a Design Approach. Int. J. Comput. 16 (2017)
Domenico Luca Carnì, Domenico Grimaldi, Libero Nigro, Paolo F. Sciammarella, Franco Cicirelli
Agent-based software architecture for distributed measurement systems and cyber-physical systems design. I2MTC (2017)
Libero Nigro, Paolo F. Sciammarella
Statistical Model Checking Of Multi-Agent Systems. ECMS (2017)
Domenico Luca Carnì, Franco Cicirelli, Domenico Grimaldi, Libero Nigro, Paolo F. Sciammarella
Exploiting Model Continuity in Agent-Based Cyber-Physical Systems. CSOC (2) (2017)
Libero Nigro, Paolo F. Sciammarella
Statistical model checking of distributed real-time actor systems. DS-RT (2017)
Luca De Vito, Francesco Lamonaca, Gianluca Mazzilli, Maria Riccio, Domenico Luca Carnì, Paolo F. Sciammarella
An IoT-enabled multi-sensor multi-user system for human motion measurements. MeMeA (2017)
Francesco Lamonaca, Domenico Luca Carnì, Domenico Grimaldi, Paolo F. Sciammarella
Mobile object to speed up the synchronization of IoT network. M&N (2017)
Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
Agents+Control: A Methodology for CPSs. DS-RT (2016)
Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
Agent-Based Model Continuity Of Stochastic Time Petri Nets. ECMS (2016)
Franco Cicirelli, Libero Nigro, Paolo F. Sciammarella
Model Checking Mutual Exclusion Algorithms Using Uppaal. CSOC (2) (2016)
Domenico Luca Carnì, Domenico Grimaldi, Paolo F. Sciammarella, Alfonso Nastro, Francesco Lamonaca, Monica Vasile
Measurement technique for the healty and carious teeth based on thermal analysis. MeMeA (2016)
Domenico Luca Carnì, Domenico Grimaldi, Paolo F. Sciammarella, Francesco Lamonaca, Vitaliano Spagnuolo
Setting-up of PPG scaling factors for SpO2% evaluation by smartphone. MeMeA (2016)