Publications

Found 6 results
Filters: Keyword is Computational modeling and Author is Angelo Furfaro  [Clear All Filters]
2015
D. Famularo, Franzè, G., Furfaro, A., and Mattei, M., A Hybrid Real-Time Command Governor Supervisory Scheme for Constrained Control Systems, IEEE Transactions on Control Systems Technology, vol. 23, no. 3, pp. 924 - 936, 2015.
2014
A. Furfaro, Garro, A., and Tundis, A., Towards Security as a Service (SecaaS): On the modeling of Security Services for Cloud Computing, in Security Technology (ICCST), 2014 International Carnahan Conference on, Rome, Italy, 2014.
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.