Christian Nigro

According to our database, Christian Nigro authored at least 7 papers between 2015 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2021

Performance Comparison of Two Java-Based Actor Systems.

Franco Cicirelli, Christian Nigro, Libero Nigro, Francesco Pupo

Proceedings of Sixth International Congress on Information and Communication Technology, 2021

2020

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

Christian Nigro, Libero Nigro, Paolo F. Sciammarella

Simul., 2020

2019

Formal Modeling and Analysis of Probabilistic Real-Time Systems.

Christian Nigro, Libero Nigro, Paolo F. Sciammarella

Proceedings of the Fourth International Congress on Information and Communication Technology, 2019

2018

Modelling and analysis of multi-agent systems using UPPAAL SMC.

Christian Nigro, Libero Nigro, Paolo F. Sciammarella

Int. J. Simul. Process. Model., 2018

Model Checking Knowledge And Commitments In Multi-Agent Systems Using Actors And UPPAAL.

Christian Nigro, Libero Nigro, Paolo F. Sciammarella

Proceedings of the European Conference on Modelling and Simulation, 2018

2015

Statistical Model Checking of GSPN Models.

Franco Cicirelli, Christian Nigro, Libero Nigro

Proceedings of the SIMULTECH 2015 - Proceedings of the 5th International Conference on Simulation and Modeling Methodologies, Technologies and Applications, Colmar, Alsace, France, 21, 2015

Qualitative and quantitative evaluation of stochastic Time Petri Nets.

Franco Cicirelli, Christian Nigro, Libero Nigro

Proceedings of the 2015 Federated Conference on Computer Science and Information Systems, 2015