Publications

Found 4 results
Filters: Author is Angelo Furfaro and Keyword is Real time systems  [Clear All Filters]
2010
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.
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.
2008
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.
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.