2024

• L. Nigro, F. Cicirelli, F. Pupo "Clustering Performance of an Evolutionary K-Means Algorithm". In Proc. of ICICT 2024, 9th International Congress on Information and Communication Technology, 19-22 February, London, Springer LNNS, 2024.
• L. Nigro, F. Cicirelli. "Formal modelling and verification of embedded real-time systems: An approach and practical tool based on Constraint Time Petri Nets". Mathematics 2024, 12, 812. https://doi.org/10.3390/math12060812.
• L. Nigro, F. Cicirelli, F. Pupo. "Modeling and analysis of Dekker-based mutual exclusion algorithms". Computers 2024, 13, 133. https://doi.org/10.3390/computers13060133.
• L. Nigro, F. Cicirelli. "Fast Clustering Convergence by Genetic Algorithm". In Proc. of 8th Int. Conference WorldS4 2024, 23-26 July, London, UK, Springer LNNS, 2024.
• L. Nigro, F. Cicirelli. "Correctness Verification of Mutual Exclusion Algorithms by Model Checking". Modelling 2024, 5(3):694–719. https://doi.org/10.3390/modelling5030037.
• L. Nigro. "Formal Modelling and Verification of Lycklama and Hadzilacos's Mutual Exclusion Algorithm". Mathematics 2024, 12, 2443, pp.1-20, https://doi.org/10.3390/math12162443.
• L. Nigro, F. Cicirelli. "Property Assessment of Peterson's Mutual Exclusion Algorithms". Applied Computing and Intelligence (ACI) 2024, AIMS Press, vol. 4, no. 1, pp. 66-92, DOI: 10.3934/aci.2024005.
• L. Nigro. "Verifying Mutual Exclusion Algorithms with Non-Atomic Registers". Under publication on Algorithms, 2024.