2007

• F. Cicirelli, A. Furfaro, L. Nigro. "Using TPN/Designer and Uppaal for Modular Modelling and Analysis of Time-critical Systems". International Journal of Simulation Systems, Science & Technology, Special Issue on: Frameworks and Applications in Science and Engineering. vol. 8/4, November, 2007, pp. 8-20.
• A. Furfaro, L. Nigro. "Modelling and Schedulability Analysis of Real-time Sequence Patterns using Time Petri Nets and Uppaal". Proc. of International Workshop on Real Time Software (RTS'07) Wisla, Poland, October 16, 2007, pp. 821-835.
• F. Cicirelli, A. Furfaro, L. Nigro. "A Service-based Control Engine for the Distributed Execution of Petri Nets and its Application to Workflow Management Systems". In Proc. of 19th European Modelling and Simulation Symposium (EMSS'07), Bergeggi, Italy, 4-6 October, 2007.
• F. Cicirelli, A. Furfaro, L. Nigro. "Conflict management in PDEVS: An experience in modelling and simulation of time Petri nets". In Proc. of Summer Computer Simulation Conference (SCSC'07), S. Diego (CA), 15-18 July, 2007, pp. 349-356.
• F. Cicirelli, A. Furfaro, L. Nigro. "Integration and Interoperability between Jini services and Web Services". In Proc. of IEEE International Conference on Services Computing (SCC'07), Salt Lake City, Utah, USA, July 9-13, 2007, pp. 278-285.
• A. Furfaro and L. Nigro. "Timed verification of hierarchical communicating real-time state machines". Computer Standards & Interfaces, vol. 29/6, pp. 635-646, Elsevier.
• F. Cicirelli and L. Nigro. "A General Brokering Architecture Layer and its Application to Video on-Demand over the Internet". Informatica - An Int. J. of Computing and Informatics, Vol. 31/1, pp. 29-39.
• F. Cicirelli, A. Furfaro, L. Nigro and F. Pupo. "A component-based architecture for modelling and simulation of adaptive complex systems". In Proc. of 21st European Conference on Modelling and Simulation (ECMS'07), pp. 156-163, 4-6 June, Prague, 2007.
• F. Cicirelli, A. Furfaro, L. Nigro. "Exploiting Agents for Modelling and Simulation of Coverage Control Protocols in Large Sensor Networks". The Journal of Systems and Software, vol. 80/11, pp. 1817-1832, Elsevier.
• A. Candido, F. Cicirelli, A. Furfaro, L. Nigro. "An Embedded Real-time System for Climate Control in a Complex Greenhouse". International Agrophysics, vol. 21/1, pp. 17-27.
• F. Cicirelli, A. Furfaro, A. Giordano, L. Nigro. "An Agent Infrastructure for Distributed Simulation over HLA and a Case Study using Unmanned Aerial Vehicles". Proc. of 40th Annual Simulation Symposium (ANSS'07), pp. 231-238, Norfolk, VA, USA, March 26 - 28, 2007.
• F. Cicirelli, A. Furfaro, L. Nigro. "Distributed simulation of modular time Petri nets: an approach and a case study exploiting temporal uncertainty". Real-Time Systems, Vol. 35/2, pp. 153-179, Springer.