2019

• C. Nigro, L. Nigro, P. F. Sciammarella. "Formal modelling and analysis of probabilistic real-time systems", Int. Congress on Information and Communication Technology (ICICT 2019); Best paper award; London (UK), 25-26 February, Springer, Advances in Intelligent Systems and Computing, ISBN Number - 2194-53572018, 2019.
• C. Nigro, L. Nigro, P. F. Sciammarella. "Modelling and Analysis of Partially Stochastic Time Petri Nets using UPPAAL Model Checkers", In Proc. of Computing Conference (CC 2019) London (UK), 16-17 July, Springer, Advances in Intelligent Systems and Computing, 2019.
• L. Nigro, P. F. Sciammarella. "Statistical Model Checking of Cyber-Physical Systems using Hybrid Theatre", In Proc. of Intelligent Systems Conference (IntelliSys) 2019 London (UK), 5-6 September, Springer, Advances in Intelligent Systems and Computing, 2019.
• F. Cicirelli, L. Nigro, P. F. Sciammarella. "Seamless Development in Java of Distributed Real-Time Systems using Actors", Int. J. of Simulation and Process Modeling (IJSPM), Vol. 15, Nos. 1/2, 2020, pp. 13-29.
• L. Nigro, P. F. Sciammarella. "Verification of a Smart Power Control Systems using Hybrid Actors", IEEE WorldS4, keynote speech and Invited paper, 30-31 July, London, 2019.
• F. Cicirelli, L. Nigro, F. Pupo. "Formal Modelling and Verification of Real-Time Self-Adaptive systems", IEEE/ACM 23rd Int. Symp. on Distributed Simulation and Real Time Application (DS-RT 2019), 7-9 October, Cosenza, Italy, 2019.
• F. Cicirelli, L. Nigro. "Home Energy Management using Theatre with Hybrid Actors", IEEE/ACM 23rd Int. Symp. on Distributed Simulation and Real Time Application (DS-RT 2019), 7-9 October, Cosenza, Italy, 2019.
• C. Nigro, L. Nigro, P.F. Sciammarella. "Formal reasoning on knowledge and commitments in multi-agent systems using Theatre", SIMULATION-Transactions of the Society for Modeling and Simulation International, 2020, Vol. 96(2), pp. 233–250, DOI: 10.1177/0037549719879753.