Publications

F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., “Development of a Schedulability Analysis Framework Based on pTPN and UPPAAL with Stopwatches”, in Proc. of IEEE/ACM 16th International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2012), Dublin, Ireland, 2012, pp. 57–64.

F. Cicirelli, Furfaro, A., and Nigro, L., “Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal”, Applied Mathematics and Computation, vol. 218, pp. 8160 - 8186, 2012.

F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., “Dynamic Sociality Minority Game”, in Proc. of European Conference on Modelling and Simulation, Krakow, 2011, pp. 27–35.

F. Cicirelli, Furfaro, A., Giordano, A., and Nigro, L., “HLA_ACTOR_REPAST: An Approach to Distributing RePast Models for High-Performance Simulations”, Simulation Modelling Practice and Theory, vol. 19, pp. 283–300, 2011.

D. Famularo, Franzè, G., Furfaro, A., and Mattei, M., “A Hybrid Real-Time Supervisory Scheme for Nonlinear Systems”, in Proc. of 2011 American Control Conference (ACC 2011), San Francisco, California, USA, 2011, pp. 305–310.

F. Cicirelli, Furfaro, A., and Nigro, L., “Modeling and Simulation of Complex Manufacturing Systems using Statechart-based Actors”, Simulation Modelling Practice and Theory, vol. 19, pp. 685–703, 2011.

F. Cicirelli, Furfaro, A., Giordano, A., and Nigro, L., “Performance of a multi-agent system over a multi-core cluster managed by Terracotta”, in Proc. of Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (TMS/DEVS'11), Boston, MA, USA, 2011.

A. Casavola, Famularo, D., Franzè, G., and Furfaro, A., “A fault-tolerant real-time supervisory scheme for an interconnected four-tank system”, in American Control Conference (ACC), 2010, 2010, pp. 6210-6215.

F. Cicirelli, Furfaro, A., Giordano, A., and Nigro, L., “Parallel Simulation of Multi-agent Systems Using Terracotta”, in Distributed Simulation and Real Time Applications (DS-RT), 2010 IEEE/ACM 14th International Symposium on, 2010, pp. 219-222.

F. Cicirelli, Furfaro, A., and Nigro, L., “A Service-Based Architecture for Dynamically Reconfigurable Workflows”, The Journal of Systems and Software, vol. 83, pp. 1148–1164, 2010.

F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., “Temporal Verification of RT-DEVS Models with Implementation Aspects”, in Proc. of Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (DEVS'10), Orlando, FL, USA, 2010, pp. 63–70.

F. Cicirelli, Furfaro, A., and Nigro, L., “Using Time Stream Petri Nets over a Service Architecture for Workflow Modelling and Enactment”, in Proc. of Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (DEVS'10), Orlando, FL, USA, 2010, pp. 71–78.

F. Cicirelli, Furfaro, A., and Nigro, L., “An Agent Infrastructure over HLA for Distributed Simulation of Reconfigurable Systems and its Application to UAV Coordination”, SIMULATION, vol. 85, pp. 17-32, 2009.

A. Furfaro and Nigro, L., “A Development Methodology for Embedded Systems based on RT-DEVS”, Innovations in Systems and Software Engineering, vol. 5, pp. 117–127, 2009.

F. Cicirelli, Furfaro, A., Giordano, A., and Nigro, L., “Distributed Simulation of RePast Models over HLA/Actors”, in Distributed Simulation and Real Time Applications, 2009. DS-RT '09. 13th IEEE/ACM International Symposium on, 2009, pp. 184-191.

F. Cicirelli, Furfaro, A., Giordano, A., and Nigro, L., “Distributing RePast Simulations Using Actors”, in Proc. of 23rd European Conference on Modelling and Simulation (ECMS'09), Madrid, Spain, 2009.

F. Cicirelli, Furfaro, A., and Nigro, L., “Modelling and Analysing Real Time System Specifications using Time Stream Petri Nets”, in Proc. of 30th IFAC Workshop on Real-Time Programming and 4th International Workshop on Real-Time Software (WRTP/RTS'09), Mragowo, Poland, 2009, pp. 35–42.

F. Cicirelli, Furfaro, A., Giordano, A., and Nigro, L., “Statechart-based Actors for Modelling and Distributed Simulation of Complex Multi-Agent Systems”, in Proc. of 23rd European Conference on Modelling and Simulation (ECMS'09), Madrid, Spain, 2009.

F. Cicirelli, Furfaro, A., and Nigro, L., “Actor-Based Simulation of PDEVS systems over HLA”, in Simulation Symposium, 2008. ANSS 2008. 41st Annual, 2008, pp. 229-236.

A. Furfaro and Nigro, L., “Embedded Control Systems Design based on RT-DEVS and temporal analysis using UPPAAL”, in Computer Science and Information Technology, 2008. IMCSIT 2008. International Multiconference on, 2008, pp. 601-608.

F. Cicirelli, Furfaro, A., and Nigro, L., “Modelling and Simulation Using Statechart-Based Actors”, in Proc. of International Workshop on Modeling & Applied Simulation (MAS'08), Campora S. Giovanni, Italy, 2008, pp. 301–307.

F. Cicirelli, Furfaro, A., Giordano, A., and Nigro, L., “Net Centric Modelling and Simulation Using ActorDEVS”, in Proc. of 20th European Modeling and Simulation Symposium (EMSS'08), Campora S. Giovanni, Italy, 2008, pp. 447–454.

F. Cicirelli, Furfaro, A., and Nigro, L., “A Service-based Enactment Engine for Dynamically Reconfigurable Workflows”, in Proc. of European Simulation and Modelling Conference (ESM'08), Le Havre, France, 2008.

F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., “Temporal Analysis of Complex Time-Dependent Systems: an Approach Based on Time Petri Nets, ActorDEVS and HLA”, in Proc. of 20th European Modeling and Simulation Symposium (EMSS'08), Campora S. Giovanni, Italy, 2008, pp. 455–462.

F. Cicirelli, Furfaro, A., Giordano, A., and Nigro, L., “An Agent Infrastructure for Distributed Simulations over HLA and a Case Study Using Unmanned Aerial Vehicles”, in Simulation Symposium, 2007. ANSS '07. 40th Annual, 2007, pp. 231-238.