2010

• F. Cicirelli, A. Furfaro, L. Nigro. "Using Time Stream Petri Nets over a Service Architecture for Workflow Modelling and Enactment". Proc. of Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (DEVS'10), Orlando, Fl, USA, 2010, 2010, pp. 71-78.
• F. Cicirelli, A. Furfaro, A. Giordano, L. Nigro. "Parallel Simulation of Multi-Agent Systems using Terracotta". Proc. of 14th ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT2010), Fairfax, Virginia, USA, October 17-20, 2010, pp. 219-222.
• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo. "Temporal Verification of RT-DEVS Models with Implementation Aspects". Proc. of Symposium On Theory of Modeling and Simulation - DEVS Integrative M&S Symposium (DEVS'10), Orlando, Fl, USA, 2010, 2010, pp. 131-138.
• F. Cicirelli, A. Furfaro, L. Nigro. "A Service-Based Architecture for Dynamically Reconfigurable Workflows". Journal of Systems and Software, 2010, Vol. 83, n. 7, pp. 1148-1164.
• F. Cicirelli, A. Furfaro, L. Nigro, F. Pupo. "Model-checking Time Stream Petri Nets: An Approach and an Application to Project Management". International Workshop on Infinite and Infinitesimal in Mathematics, Computing, and Natural Sciences, Cetraro, Italy, May 17-21, 2010.