Christian Nigro

Publication Activity (10 Years)

Years Active: 2015-2021
Publications (10 Years): 7

Top Topics

Qualitative And Quantitative Evaluation

Top Venues

Int. J. Simul. Process. Model.

Publications

Franco Cicirelli, Christian Nigro, Libero Nigro, Francesco Pupo
Performance Comparison of Two Java-Based Actor Systems. ICICT (3) (2021)
Christian Nigro, Libero Nigro, Paolo F. Sciammarella
Formal reasoning on knowledge and commitments in multi-agent systems using Theatre. Simul. 96 (2) (2020)
Christian Nigro, Libero Nigro, Paolo F. Sciammarella
Formal Modeling and Analysis of Probabilistic Real-Time Systems. ICICT (1) (2019)
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)
Christian Nigro, Libero Nigro, Paolo F. Sciammarella
Model Checking Knowledge And Commitments In Multi-Agent Systems Using Actors And UPPAAL. ECMS (2018)
Franco Cicirelli, Christian Nigro, Libero Nigro
Qualitative and quantitative evaluation of stochastic Time Petri Nets. FedCSIS (2015)
Franco Cicirelli, Christian Nigro, Libero Nigro
Statistical Model Checking of GSPN Models. SIMULTECH (2015)