2017

• D.L. Carni, F. Cicirelli, D. Grimaldi, L. Nigro, P. F. Sciammarella. "Exploiting Model Continuity in Agent-based Cyber-Physical Systems", Advances in Intelligent Systems and Computing, ISSN 2194-5357, Springer, 2017.
• D.L. Carni, F. Cicirelli, D. Grimaldi, L. Nigro, P. F. Sciammarella. "Agent-based Software Architecture for Distributed Measurement Systems and Cyber-Physical Systems Design", in Proc. of IEEE Int. Instrumentation and Measurement Technology Conference (I2MTC 2017), Torino, May 22-25, 2017.
• L. Nigro, P. F. Sciammarella. "Statistical Model Checking of Multi-Agent Systems", in Proc. of 31st European Conference on Modelling and Simulation (ECMS 2017), Budapest, May 23-26, 2017.
• L. Nigro, P. F. Sciammarella. "Modelling and Analysis of Distributed Asynchronous Actor Systems using Theatre", Advances in Intelligent Systems and Computing 661, DOI 10.1007/978-3-319-67618-0_14, Springer, 2017.
• L. Nigro, P. F. Sciammarella. "Statistical Model Checking of Distributed Real-Time Actor Systems", In Proceedings of 21st IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications (DS-RT'17), October 18-20, Rome, 2017.