Generating Maude Specifications from M-UML Statechart Diagrams. - Mourad Kezai; Abdallah Khababa (J. Adv. Comput. Intell. Intell. Informatics, 2022)

Balancing Act: A Comparative Study of Routing Protocol Trade-Offs in MANETs. - Mourad Kezai; Rafik Dembri; Djamel Eddine Boukhari (J. Adv. Comput. Intell. Intell. Informatics, 2025)