Publications

L. Carullo, Furfaro, A., Nigro, L., and Pupo, F., “Modelling and simulation of complex systems using TPN Designer”, Simulation Modelling Practice and Theory, vol. 11, no. 7-8, pp. 503 – 532, 2003.

A. Furfaro, Nigro, L., and Pupo, F., “Modular Design and Simulation of Complex TPN Models”, WSEAS Transactions on Systems, vol. 2, pp. 809–819, 2003.

F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., “Petri Net Tools for Modelling and Simulation of Complex Systems”, in Proc. of Italian Society for Computer Simulation (ISCS'03), Cefalù, Italy, 2003.

A. Furfaro, Nigro, L., and Pupo, F., “Real-Time Systems Development Using Hierarchical State Machines”, in Modular Programming Languages, 2003, vol. 2789, pp. 110–121.

A. Furfaro and Nigro, L., “Temporal verification of Communicating Real-Time State Machines using Uppaal”, in Proc. of International Conference on Industrial Technology (IEEE-ICIT'03), Maribor, Slovenia, 2003.

A. Furfaro, Nigro, L., and Pupo, F., “ActorServer: A Java Middleware for programming distributed applications over the Internet”, in Proc. of the International Network Conference (INC'2002), University of Plymouth, UK, 2002, pp. 433–440.

A. Furfaro, Nigro, L., and Pupo, F., “Aspect Oriented Programming using Actors”, in Proc. of the 2nd International Conference on Distributed Computing Systems (AOPDCS'02), Vienna, Austria, 2002, pp. 493–502.

A. Furfaro, Nigro, L., and Pupo, F., “Distributed simulation of timed coloured Petri nets”, in Distributed Simulation and Real-Time Applications, 2002. Proceedings. Sixth IEEE International Workshop on, 2002, pp. 159-166.

L. Carullo, Furfaro, A., Nigro, L., and Pupo, F., “A Java Toolset for Modelling and Simulation of Complex Timed Petri Nets”, in Proc. of the 16th European Simulation Multiconference on Modelling and Simulation (ESM'02), Darmstad, Germany, 2002, pp. 37 - 41.

G. Fortino, Furfaro, A., Russo, W., Guerri, J. C., Pajares, A., and Palau, C. E., “A Java-Based Adaptive Media Streaming On-Demand Platform”, in Proc. of Euromedia'02, Modena, Italy, 2002.

A. Furfaro, Grimaldi, D., Nigro, L., and Pupo, F., “A Measurement Laboratory over the Internet Based on Jini”, in 12th IMEKO TC4, Zagreb, Croatia, 2002, pp. 497–501.

G. Fortino, Furfaro, A., Nigro, L., and Pupo, F., “Hierachical Communicating Real-Time State Machines”, in Proc. of Parallel and Distributed Processing Techniques and Applications (PDPTA'2000), Las Vegas, NV, USA, 2000, vol. 5, pp. 3027-3033.