Formal Verification of RGR-SEC, a Secured RGR Routing for UAANETs Using AVISPA, Scyther and Tamarin. - Houssem Eddine Mohamadi; Nadjia Kara; Mohand Lagha (FNSS, 2018)

RAFALE: smaRt and scalable orchestrAtion system For virtuAL network sErvices. - Laaziz Lahlou; Amina Bounas; Houssem Eddine Mohamadi; Nadjia Kara (HPSR, 2021)

Efficient algorithms for decision making and coverage deployment of connected multi-low-altitude platforms. - Houssem Eddine Mohamadi; Nadjia Kara; Mohand Lagha (Expert Syst. Appl., 2021)

Heuristic-driven strategy for boosting aerial photography with multi-UAV-aided Internet-of-Things platforms. - Houssem Eddine Mohamadi; Nadjia Kara; Mohand Lagha (Eng. Appl. Artif. Intell., 2022)

Seraph: a stochastic operational approach for the deployment of multi-antenna UAV-assisted networks. - Houssem Eddine Mohamadi; Laaziz Lahlou; Abdelouahed Gherbi; Nadjia Kara (Clust. Comput., 2025)