2008

• A. Furfaro, L. Nigro. Embedded control systems design based on RT-DEVS and temporal analysis using Uppaal. Proc. of Proc. of International Workshop on Real Time Software (RTS'08). International Workshop on Real Time Software (RTS08) , Wisla, Poland, October 20-22, pp. 601-608, 2008.
• F. Cicirelli, A. Furfaro, L. Nigro. A service-based enactment engine for dynamically recongurable workflows. Proc. of European Simulation and Modelling Conference (ESM'08), Le Havre, France, October 27-29, 2008.
• F. Cicirelli, A. Furfaro, L. Nigro. "Actor-based Simulation of PDEVS Systems over HLA". Proc. of 41st Annual Simulation Symposium (ANSS'08), Ottawa, Canada, April 14 - 16, 2008, pp. 229-236, 2008.
• F. Cicirelli, A. Furfaro, L. Nigro. "Modelling and Simulation Using Statechart-Based Actors". Proc. of International Workshop on Modeling & Applied Simulation (MAS'08), Campora San Giovanni, Italy, September 17-19, pp. 301-307, 2008.
• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo. "Temporal Analysis of Complex Time-Dependent Systems: an Approach Based on Time Petri Nets, ActorDEVS and HLA". Proc. of 20th European Modeling and Simulation Symposium (EMSS'08), Campora San Giovanni, Italy, September 17-19, pp. 455-462, 2008.
• F. Cicirelli, A. Furfaro, A. Giordano, L. Nigro. "Net Centric Modelling and Simulation Using ActorDEVS". Proc. of 20th European Modeling and Simulation Symposium (EMSS'08), Campora San Giovanni, Italy, September 17-19, pp. 447-454, 2008.