Publications

A. Furfaro and Nigro, L., “An Approach Based on Simulation and Verification for the Schedulability Analysis of Real-Time Systems”, in Proc. of Summer Computer Simulation Conference (SCSC'05), Philadelphia, Pennsylvania, USA, 2005.

F. Cicirelli, Furfaro, A., and Nigro, L., “A Case Study Using Modular Time Petri Nets and Distributed Simulation”, in Proc. of European Simulation and Modelling Conference (ESM'05), Porto, Portugal, 2005.

F. Cicirelli, Furfaro, A., and Nigro, L., “Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets”, in Proc. of 38th Annual Simulation Symposium (ANSS'05), San Diego, California, USA, 2005, pp. 233–240.

A. Furfaro and Nigro, L., “Model checking hierarchical communicating real-time state machines”, in Emerging Technologies and Factory Automation, 2005. ETFA 2005. 10th IEEE Conference on, 2005, vol. 1, p. 6 pp.-370.

A. Furfaro and Nigro, L., “Model Checking Time Petri Nets: A Translation Approach based on Uppaal and a Case Study”, in Proc. IASTED International Conference on Software Engineering (SE'05), Innsbruck, Austria, 2005.

F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., “Modular Modelling and Analysis of Time-dependent Systems”, in Proc. 19th European Conference on Modelling and Simulation (ECMS'05), Riga, Latvia, 2005.

F. Cicirelli, Furfaro, A., Grimaldi, D., and Nigro, L., “Remote Sensor Calibration Through MADAMS Services”, in Intelligent Data Acquisition and Advanced Computing Systems: Technology and Applications, 2005. IDAACS 2005. IEEE, 2005, pp. 2-7.

F. Cicirelli, Furfaro, A., and Nigro, L., “Deployment Configuration and Management of Mobile Actor Systems”, in Proc. of 8th IASTED Int. Conf. on Software Engineering and Applications (SEA'04), MIT Cambridge, MA, USA, 2004.

F. Cicirelli, Furfaro, A., Grimaldi, D., Nigro, L., and Pupo, F., “Management architecture for distributed measurement services [power demand monitoring and control system example]”, in Instrumentation and Measurement Technology Conference, 2004. IMTC 04. Proceedings of the 21st IEEE, Como, Italy, 2004, vol. 2, pp. 974-979 Vol.2.

A. Furfaro, Nigro, L., and Pupo, F., “Model Checking Tasking Sets using Time Petri Nets and Uppaal”, in Proc. of 28th IFAC/IFIP Workshop on Real-Time Programming (WRTP'04), Istanbul, Turkey, 2004.

A. Furfaro, Nigro, L., and Pupo, F., “Multimedia synchronization based on Aspect Oriented Programming”, Microprocessors and Microsystems, vol. 8, pp. 47–56, 2004.

F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., “Scripting and Monitoring in TPN Designer Simulations: A Case Study using the Production Cell”, in Proc. of International Conference on Modeling, Simulation and Visualization Methods (MSV'04), Las Vegas, NV, USA, 2004.

F. Cicirelli, Furfaro, A., and Nigro, L., “A Brokering Architecture for Video-on Demand over the Internet”, in Proc. of 2nd IASTED International Conference on on Communications, Internet, and Information Technology (CIIT 2003), 2003, pp. 538–543.

A. Furfaro, Nigro, L., and Pupo, F., “Development of a Multimedia QoS Synchronizer Using AspectJ”, in Proc. of 27th IFIP/IFAC/IEEE Workshop on Real Time Programming (WRTP'03), Zielona Gòra, Poland, 2003.

A. Furfaro, Nigro, L., and Pupo, F., “Modelling and Discrete Event Simulation of Complex Systems Using Rainbow”, in Proc. of the 17th European Simulation Multiconference on Modelling and Simulation (ESM'2003), Nottingham, UK, 2003, pp. 526–531.

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.