Mustapha Kamel Abdi

Publication Activity (10 Years)

Years Active: 2014-2022
Publications (10 Years): 8

Top Topics

Probabilistic Topic Models

Formal Verification

Bounded Model Checking

Top Venues

Int. J. Open Source Softw. Process.

Int. J. Softw. Innov.

Publications

Mohammed Zagane, Mamdouh Alenezi, Mustapha Kamel Abdi
Hybrid Representation to Locate Vulnerable Lines of Code. Int. J. Softw. Innov. 10 (1) (2022)
Mokhtaria Bouslama, Mustapha Kamel Abdi
Towards a Formal Approach for Assessing the Design Quality of Object-Oriented Systems. Int. J. Open Source Softw. Process. 12 (3) (2021)
Mohammed Zagane, Mustapha Kamel Abdi, Mamdouh Alenezi
A New Approach to Locate Software Vulnerabilities Using Code Metrics. Int. J. Softw. Innov. 8 (3) (2020)
Youcef Bouziane, Mustapha Kamel Abdi, Salah Sadou
Automatically Labelled Software Topic Model. Int. J. Open Source Softw. Process. 11 (1) (2020)
Mohammed Zagane, Mustapha Kamel Abdi, Mamdouh Alenezi
Deep Learning for Software Vulnerabilities Detection Using Code Metrics. IEEE Access 8 (2020)
Djellouli Ahmed Amine, Mustapha Kamel Abdi, Kechar Bouabdellah
Formal verification of a new authenticated and optimized version of AOMDV for WSN. Int. J. Commun. Syst. 33 (5) (2020)
Miloud Dahane, Mustapha Kamel Abdi, Mourad Bouneffa, Adeel Ahmad, Henri Basson
Using Design of Experiments to Analyze Open Source Software Metrics for Change Impact Estimation. Int. J. Open Source Softw. Process. 10 (1) (2019)
Kheira Mechach, Lougmiri Zekri, Mustapha Kamel Abdi
Etude de La Pertinence lors de La Sélection de Collections dans les Systèmes Distribués. EGC (2015)
Djellouli Ahmed Amine, Mustapha Kamel Abdi, Kechar Bouabdellah
Formal Verification of a New Version of AOMDV in ad hoc Network. EUSPN/ICTH (2014)