Publications

Found 2 results
Filters: Author is Angelo Furfaro and Keyword is UPPAAL  [Clear All Filters]
2012
F. Cicirelli, Furfaro, A., and Nigro, L., “Model checking time-dependent system specifications using Time Stream Petri Nets and Uppaal”, Applied Mathematics and Computation, vol. 218, pp. 8160 - 8186, 2012.
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.