Paolo F. Sciammarella

23 papers C 6Journal 7Unranked 10

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