Publications

Found 4 results
Filters: Keyword is Computational modeling and Author is Libero Nigro  [Clear All Filters]
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.
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.
2005
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.