Mohammed Bekkouche
Orcid: 0000-0002-8305-0542
According to our database1,
Mohammed Bekkouche authored at least 13 papers
between 2014 and 2025.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2025
A bounded constraint-based approach to aid in fault localization from a counterexample.
Innov. Syst. Softw. Eng., June, 2025
Improving Anomaly Detection in the HDFS Dataset with Novel Machine Learning Models and Techniques.
Comput. Sci. J. Moldova, 2025
De l'image à la représentation structurée : analyse et modélisation des manuels scolaires.
Proceedings of the Actes du 43ème Congrès INFORSID, 2025
Extracting and Structuring Textbooks for Inclusive Education: A Computer Vision Approach.
Proceedings of the IEEE International Conference on Advanced Learning Technologies, 2025
2023
Correcting Instruction Expression Logic Errors with GenExp: A Genetic Programming Solution.
Comput. Sci. J. Moldova, 2023
Locating Loop Errors in Programs: A Scalable and Expressive Approach using LocFaults.
Proceedings of the 3rd Tunisian-Algerian Joint Conference on Applied Computing (TACC 2023), 2023
2017
Combining techniques of bounded model checking and constraint programming to aid for error localization.
Constraints An Int. J., 2017
2015
Combinaison des techniques de Bounded Model Checking et de programmation par contraintes pour l'aide à la localisation d'erreurs : exploration des capacités des CSP pour la localisation d'erreurs. (Combining techniques of Bounded Model Checking and constraint programming to aid for error localization : exploration of CSP capacities for error localization).
PhD thesis, 2015
Un algorithme incrémental dirigé par les flots et basé sur les contraintes pour l'aide à la localisation d'erreurs.
CoRR, 2015
Exploration of the scalability of LocFaults approach for error localization with While-loops programs.
CoRR, 2015
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
2014