2018

• C. Nigro, L. Nigro, P. F. Sciammarella. "Modelling and Analysis of Multi-Agent Systems Using Uppaal SMC", Int. J. of Simulation and Process Modelling, Vol. 13, No. 1, pp. 73-87, 2018.
• F. Cicirelli, L. Nigro, P. F. Sciammarella. "Model continuity in Cyber-Physical Systems: A control centered methodology based on Agents", Simulation Modelling Practice and Theory, Vol. 83, pp. 93-107, 2018, doi 10.1016/j.simpat.2017.12.008.
• C. Nigro, L. Nigro, P. F. Sciammarella. "Model checking knowledge and committments in multi-agent systems using actors and Uppaal", 32nd European Conf. on Modelling and Simulation (ECMS 2018), May 22-25, Wilhelmshaven, Germany.
• L. Nigro. "Model continuity in timed systems: Actor modelling, verification and Java implementation", Keynote speech at Int. Symposium Simulation and Process Modelling (ISSPM 2018), July 21-22, Shenyang, Liaoning, China.
• F. Cicirelli, L. Nigro, P. F. Sciammarella. "Seamless Development in Java of Distributed Real-Time Systems using Actors", Int. Symposium Simulation and Process Modelling (ISSPM 2018), July 21-22, Shenyang, Liaoning, China.
• L. Nigro, P. F. Sciammarella. "Qualitative and quantitative model checking of distributed probabilistic timed actors", Simulation Modelling Practice and Theory, doi 10.1016/j.simpat.2018.07.011, vol. 87 (September 2018), pp. 343-368
• L. Nigro, P. F. Sciammarella. "Time synchronization in wireless sensor networks: A modelling and analysis experience using Theatre", The 22nd International Symposium on Distributed Simulation and Real Time Applications (IEEE/ACM DS-RT 2018), October 15-17, Madrid, Spain