2012

• F. Cicirelli, L. Nigro, F. Pupo. "Model-based Prediction of Complex Multimedia/Hypermedia Systems". Proc. of the 4th International Conference on Advances in System Simulation (SIMUL 2012), November 18-23, Lisbon, Portugal, 2012, pp. 145-151.
• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo. "Development of a Schedulability Analysis Framework based on pTPN and Uppaal with Stopwatches". Proc. of the 16th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT), October 25-27, Dublin, Ireland, 2012.
• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo. "Agents over the Grid: An experience using the Globus Toolkit 4". Proc. of the 26th European Conference on Modelling and Simulation (ECMS'2012), Koblenz, Germany, May 29th - June 1st, 2012.
• F. Cicirelli, A. Furfaro, L. Nigro. "Model checking time-dependent system specifications using Time Stream Petri Nets and UPPAAL". Applied Mathematics and Computation, 218(16):8160-8186, Elsevier, 2012.