Bekkouche, Mohammed. “Combining techniques of bounded model checking and constraint programming to aid for error localization.” Constraints 22 (1), 93-94, 2017
Bekkouche, Mohammed, Hélène Collavizza, et Michel Rueher. « Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l’aide à la localisation d’erreurs. » JFPC 2015 (Onzièmes Journées Francophones de Programmation par Contraintes), Bordeaux, 22-24 Juin 2015
Bekkouche, Mohammed, Hélène Collavizza, et Michel Rueher. « LocFaults : A new flow-driven and constraint-based error localization approach. » ACM. SAC’15, SVT track, Avril 2015, Salamanca, Spain.
Bekkouche, Mohammed, Hélène Collavizza, et Michel Rueher. « Une approche CSP pour l’aide à la localisation d’erreurs. » Dixièmes Journées Francophones de Programmation par Contraintes (JFPC 2014).
Communications nationales
Responsabilités
/
Parcours
PARCOURS ACADÉMIQUE:
Doctorat en Informatique, en cotutelle entre l’Université d’Oran 1 et l’Université de Nice Sophia Antipolis. 2015
Master en Informatique Théorique, Université Djillali Liabes de Sidi Bel Abbès. 2011
Licence en Informatique Fondamentale, Université Djillali Liabes de Sidi Bel Abbes. 2009
Baccalauréat série sciences
PARCOURS PROFESSIONNEL:
Recrutement à l’Ecole Supérieure en Informatique 8 Mai 1945, Sidi-Bel-Abbès. 2018
Enseignant vacataire à l’Ecole Supérieure en Informatique 8 Mai 1945, Sidi-Bel-Abbès. 2017-2018
