Publications

Found 112 results
2010
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.
2009
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.
2008
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.
2007
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.
F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., A component-based architecture for modelling and simulation of adaptive complex systems, in Proc. of 21st European Conference on Modelling and Simulation (ECMS'07), 2007, pp. 156–163.
F. Cicirelli, Furfaro, A., and Nigro, L., Conflict Management in PDEVS: An Experience in Modelling and Simulation of Time Petri Nets, in Proc. of Summer Computer Simulation Conference (SCSC'07), 2007, pp. 349–356.
F. Cicirelli, Furfaro, A., and Nigro, L., Distributed simulation of modular time Petri nets: an approach and a case study exploiting temporal uncertainty, Real-Time Systems, vol. 35, pp. 153–179, 2007.
A. Candido, Cicirelli, F., Furfaro, A., and Nigro, L., Embedded Real-time System for Climate Control in a Complex Greenhouse, International Agrophysics, vol. 21, pp. 17–27, 2007.
F. Cicirelli, Furfaro, A., and Nigro, L., Exploiting Agents for Modelling and Simulation of Coverage Control Protocols in Large Sensor Networks, The Journal of Systems and Software, vol. 80, pp. 1817–1832, 2007.
F. Cicirelli, Furfaro, A., and Nigro, L., Integration and Interoperability between Jini services and Web Services, in Proc. IEEE International Conference on Services Computing (SCC'07), 2007, pp. 278–285.
A. Furfaro and Nigro, L., Modelling and Schedulability Analysis of Real-time Sequence Patterns using Time Petri Nets and Uppaal, in Proc. of International Workshop on Real Time Software (RTS'07), 2007, pp. 821–835.
F. Cicirelli, Furfaro, A., and Nigro, L., 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), 2007.

Pages