An UML Activities Diagrams Translation into Event B Supporting the Specification and the Verification of Workflow Application Models - From UML Activities Diagrams to Event B. - Leila Jemni Ben Ayed; Najet Hamdi; Yousra Bendaly Hlaoui (ICSOFT (2), 2010)

A Transition State Cost Sensitive Virtual Machines Consolidation. - Najet Hamdi; Walid Chainbi; Mohamed Ali Mahjoub (ISPA/IUCC/BDCloud/SocialCom/SustainCom, 2018)

A survey on energy aware VM consolidation strategies. - Najet Hamdi; Walid Chainbi (Sustain. Comput. Informatics Syst., 2019)

A Multi-Weight Strategy for Container Consolidation. - Najet Hamdi; Walid Chainbi (ICFEC, 2020)

A multi-agent system based architecture for enabling Edge autonomous management. - Walid Chainbi; Najet Hamdi (Sustain. Comput. Informatics Syst., 2022)

Federated learning-based intrusion detection system for Internet of Things. - Najet Hamdi (Int. J. Inf. Sec., 2023)

A hybrid learning technique for intrusion detection system for smart grid. - Najet Hamdi (Sustain. Comput. Informatics Syst., 2025)

Investigating the Efficiency of a Federated Learning-Based Intrusion Detection System for Smart Grid. - Najet Hamdi (SN Comput. Sci., 2025)

Enhancing Cybersecurity in smart grid: a review of machine learning approaches. - Najet Hamdi (Telecommun. Syst., 2025)