2015

• F. Cicirelli, C. Nigro, L.Nigro. "An Approach to Concurrent/Parallel Programming in Java", Proc. of Informatics 2015, Poprad (Slovakia), pp. 67-72, November 18-20, 2015.
• F. Cicirelli, C. Nigro, L. Nigro."Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets". Proc. of 2nd International Workshop on Cyber-Physical Systems (IWCPS'15),Lodz, Poland, pp. 775-784, September 13-16, 2015.
• F. Cicirelli, L. Nigro."Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores". Proc. of 2nd International Workshop on Cyber-Physical Systems (IWCPS'15),Lodz, Poland, pp. 785-791, September 13-16, 2015.
• F. Cicirelli, C. Nigro, L. Nigro. "Statistical Model Checking of GSPN Models". Proc. of 5th Int. Conf. on Simulation and Modeling Methodologies, Technologies and Applications (SIMULTECH 2015),Colmar, Alsace, France, pp. 69-76, 21-23 July 2015.
• F. Cicirelli, L. Nigro. "Control Aspects in Multiagent Systems". Chapter 2 of book Intelligent Agents in Data Intensive Computing, Springer, Studies in Big Data, Kolodziej J.,Correia L., Manuel Molina J. (Eds.), pp. 27-50.