Publications

Found 127 results
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.
A. Furfaro and Nigro, L., Timed Verification of Hierarchical Communicating Real-Time State Machines, Computer Standards & Interfaces, vol. 29, pp. 635–646, 2007.
F. Cicirelli, Furfaro, A., and Nigro, L., UsingTPN/Designer and Uppaal for Modular Modelling and Analysis of Time-critical Systems, International Journal of Simulation Systems, Science & Technology, vol. 8, pp. 8–20, 2007.
2006
F. Cicirelli, Furfaro, A., and Nigro, L., Agent-based Evaluation of Two Protocols for Coverage Control in Sensor Networks, in Proc. of Summer Computer Simulation Conference (SCSC'06), Calgary, Canada, 2006.
F. Cicirelli, Furfaro, A., and Nigro, L., An Approach to Protocol Modeling and Validation, in Proc. of 39th Annual Simulation Symposium (ANSS'06), Von Braun Center, Huntsville, Alabama, USA, 2006, pp. 261–268.
F. Cicirelli, Furfaro, A., and Nigro, L., A DEVS M and S Framework based on Java and Actors, in Proc. of 2nd European Modeling and Simulation Symposium (EMSS'06), 2006, pp. 337–342.
F. Cicirelli, Furfaro, A., and Nigro, L., A Distributed Agent-Based Simulation Model for Large Wireless Sensor Networks, in Proc. of Agent-Directed Simulation (ADS'06), SCS Spring Simulation Multiconference (SpringSim'06), Von Braun Center, Huntsville, Alabama, 2006, pp. 115-122.
F. Cicirelli, Grimaldi, D., Furfaro, A., Nigro, L., and Pupo, F., MADAMS: A Software Architecture for the Management of Networked Measurement Services, Computer Standards & Interfaces, vol. 28, pp. 396–411, 2006.
F. Cicirelli, Furfaro, A., Nigro, L., and Pupo, F., Modelling and Analysis of Dynamic-Priority Real-Time Systems, in Proc. of Summer Computer Simulation Conference (SCSC'06), Calgary, Canada, 2006.
A. Furfaro, Nigro, L., and Pupo, F., Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines, Real-Time Systems, vol. 32, pp. 105–123, 2006.
A. Candido, Cicirelli, F., Furfaro, A., and Nigro, L., Real-time climate control in a complex greenhouse, in Proc. of 3rd IFAC Workshop on Discrete-Event System Design (DESDes'06), Rydzyna, Poland, 2006.

Pages