2005

• F. Cicirelli, A. Furfaro, L. Nigro. "A Case Study Using Modular Time Petri Nets and Distributed Simulation" Proc. of European Simulation and Modelling Conference (ESM 2005), October 24-26, 2005, Porto, Portugal.
• A. Furfaro, L. Nigro. "Model Checking Hierarchical Communicating Real-Time State Machines". Proc. of 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA'2005), September 19-22 , 2005, Catania, Italy, vol. 1, pp. 365- 370.
• F. Cicirelli, A. Furfaro, D. Grimaldi, L. Nigro. "Remote Sensor Calibration Through MADAMS Services". Proc. of IEEE International Workshop on Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications (IDAACS'2005), September 5-7, 2005, Sofia, Bulgaria.
• A. Furfaro, L. Nigro. "An Approach Based on Simulation and Verification for the Schedulability Analysis of Real-Time Systems". Proc. of Summer Computer Simulation Conference (SCSC'05), Philadelphia, Pennsylvania, USA, July 24-28, 2005, SCS.
• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo, "Modular Modelling and Analysis of Time-dependent Systems". Proc. of 19th European Conference on Modelling and Simulation (ECMS'2005) Latvia, June 1-4, 2005, SCS, pp. 125-131.
• F. Cicirelli, A. Furfaro, L. Nigro. "Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets". Proc. of 38th Annual Simulation Symposium (ANSS'05), San Diego, California, USA, 2-8 April, 2005, IEEE Computer Society, pp. 233-240.
• A. Furfaro, L. Nigro. "Model Checking Time Petri Nets: A Translation Approach based on Uppaal and a Case Study". Proc. of IASTED International Conference on Software Engineering (SE 2005), Innsbruck, Austria, 15-17, February, 2005.