Qualitative and quantitative evaluation of stochastic Time Petri Nets. - Franco Cicirelli; Christian Nigro; Libero Nigro (FedCSIS, 2015)

Statistical Model Checking of GSPN Models. - Franco Cicirelli; Christian Nigro; Libero Nigro (SIMULTECH, 2015)

Model Checking Knowledge And Commitments In Multi-Agent Systems Using Actors And UPPAAL. - Christian Nigro; Libero Nigro; Paolo F. Sciammarella (ECMS, 2018)

Modelling and analysis of multi-agent systems using UPPAAL SMC. - Christian Nigro; Libero Nigro; Paolo F. Sciammarella (Int. J. Simul. Process. Model., 2018)

Formal Modeling and Analysis of Probabilistic Real-Time Systems. - Christian Nigro; Libero Nigro; Paolo F. Sciammarella (ICICT (1), 2019)

Formal reasoning on knowledge and commitments in multi-agent systems using Theatre. - Christian Nigro; Libero Nigro; Paolo F. Sciammarella (Simul., 2020)

Performance Comparison of Two Java-Based Actor Systems. - Franco Cicirelli; Christian Nigro; Libero Nigro; Francesco Pupo (ICICT (3), 2021)