2013

• F. Cicirelli, L. Nigro. "An Agent Framework For High Performance Simulations Over Multi-Core Clusters". Communications in Computer and Information Science (CCIS), Volume 402, pp. 49-60, Springer, 2013.
• F. Cicirelli, L. Nigro, F. Pupo. "Reasoning on Concurrency: An Approach to Modeling and Verification of Java Thread-safe Objects". Proc. of 5th International Conference on Advances in System Simulation (SIMUL2013), pp. 53-58, October 27th - November 1st, Venice, Italy, 2013.
• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo. "Modelling Java Concurrency: An Approach and a UPPAAL Library". Proc. of International Workshop on Cyber-Physical Systems (IWCPS13), pp. 1373-1380, September 8-11, Krakow, Poland, 2013.
• F. Cicirelli, E. Neri, L. Nigro, F. Pupo. "A smartphone application for the monitoring of domestic consumption of electricity". Proc. of 27th European Conference on Modelling and Simulation (ECMS'2013), May 27th - 30th, Alesund, Norway, 2013.
• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo. "Agent methodological layers in Repast Simphony". Proc. of 27th European Conference on Modelling and Simulation (ECMS'2013), May 27th - 30st, Alesund, Norway, 2013.
• F. Cicirelli, A. Furfaro, L. Nigro. "Using time stream Petri nets for workflow modelling analysis and enactment". SIMULATION - Transactions of the Society for Modeling and Simulation International 89(1):68-86, 2013.