Research activities

My research projects, publications, graduation (I studied or supervised) and my centers of interests are in the following topics: 

Software engineering, Software architecture, design patterns,  Software component, MDE, MDA, transformation models, Internet Of Things, Smart Homes, Cloud Computing, Edge Computing, Fog Computing, SoS, Specification and verification of software deployment, Computational intelligence, Machine learning, and Deep learning, etc.

I've supervised more than 50 Engineer/Master/bachelor dissertations and four Ph.D. thesis and one ongoing. 

PhD Supervision:

• Boukelia Abdelbasset, Computational intelligence methods for analyzing and exploring massive epigenetic data, defended on 6 th February 2019.

• Hiba Saddame Hocine, MoVED-Cloud: an Approach for Modelling and Verifying Software Deployment and Elasticity in Cloud Environments, defended on 21 st october 2021.

•  Staifi Noureddine, An approach for flexible and intelligent QoS management: the case of Health Monitoring Systems,  defended on 2nd June 2022.

• Mahdaddi Abla, Hybrid deep learning hyperparameters optimization based on differential evolution algorithm for effective drug-target binding affinity prediction, defended on 2oth February 2022.

• Sameh Benaoun, A semi-autonomous vehicle driving assistance approach based on a recommendation system, co-supervised by Ahmed Hadj Kacem, University od Sfax,  started in January 2023.

Scientific Publications :

International Journals

•  A. Mammar, M. Belguidoum, S.H Hiba,  A formal approach for the correct deployment of cloud applications,  Science of Computer Programming, Volume 232, January 2024, 103048. 

•  A. Mahdaddi, S. Meshoul, M. Belguidoum, EA-based hyperparameter optimization of hybrid deep learning models for effective drug-target interactions prediction, Expert Systems with Applications, Volume 185, 2021

• N. Staifi, M. Belguidoum, Adapted smart home services based on smart contracts and service level agreements, Concurrency and Computation Practice and Experience, February 2021.

• A. Boukelia, A. Boucheham, M. Belguidoum, M. Batouche, F. Tahi Fariza, F. Zehraoui, A Novel Integrative Approach for non-coding RNA Classification,  Current Bioinformatics, Bentham Science, volume 14, 2019.

• S.H Hiba, M. Belguidoum,  A DSL for elastic component-based cloud application, International Journal of High Performance Computing and Networking, Inderscience Publishers (IEL), 15(1-2),58-71, 2019.

• M. Belguidoum, F. Belala and F. Latreche, A RT-Maude-based framework for component installation,  Int. J. of Critical Computer-Based Systems (IJCCBS), 2014 Vol.5, No.1/2, pp.103 - 126 

• M. Belguidoum, F. Dagnat, Formalization of component substitutability,  Electronic notes in theoretical computer science, June 2008, vol. 215, pp. 75-92

• M. Belguidoum, F. Dagnat, Dependency management in software component deployment, Electronic notes in theoretical computer science, June 2007, vol. 182, pp. 17-32.

International Conferences

• M. Belguidoum, A. Gourari, and I. Sehili. MDMSD4IoT a Model Driven Microservice Development for IoT Systems. In Model and Data Engineering: 11th International Conference, MEDI 2022, Cairo, Egypt, November 21–24, 2022, Proceedings. Springer-Verlag, Berlin, Heidelberg, 176–189. https://doi.org/10.1007/978-3-031-21595-7_13

• N. Staifi  and M. Belguidoum, ViolationPredictor: a Solution for Predicting SLA Violations of IoT Applications,  The Second Tunisian-Algerian Joint Conference on Applied Computing (TACC2022), Constantine, Algeria, 13-14 December 2022.

• S. Ben-Aoun, M. Belguidoum, and A. Hadj-Kacem, ECO-TrackDrive: a tracking system for energy-efficient driving; The Second Tunisian-Algerian Joint Conference on Applied Computing (TACC2022), Constantine, Algeria, 13-14 December 2022.

• M. Belguidoum, A. Hamlaoui and H.E Bendaas, DZRobot4Kids: a mobile robot application for educational games, Second IEEE International Conference on New Technologies of Information and Communication (NTIC'22), 21-22 December 2022, Mila, Algeria.

• N. Staifi, and M. Belguidoum, Multi-Level SLA Specification Language for IoT Applications, Tunisian-Algerian Joint Conference on Applied Computing (TACC 2021), Tabarka, Tunisia, December 18-20, 2021.

•  N. Staifi, and M. Belguidoum, ML-SLA-IoT : an SLA Specification and Monitoring Framework for IoT applications, International Conference on Information Systems and Advanced Technologies (ICI-SAT). IEEE, 2021. 27-28 December 2021.

• N. Staifi, S. Brahimi, R. Maamri and M. Belguidoum, Towards a smart home for elder person, in the Proceeding of the 7th International Conference on Future Internet of Things and Cloud (FiCloud), Istanbul,  Turkey, 26-28 August 2019.

• S. H. Hiba and M. Belguidoum, Toward a meta-model for elasticity management in cloud applications, 2017 3rd International Conference of Cloud Computing Technologies and Applications (CloudTech2017), Rabat, Morocco, 2017, pp. 1-6, 24-26 october 2017.

• K. Khebbeb, B. Seghir, F. Belala and M. Belguidoum,  AgBig : Un modèle basé Bigraphe pour la spécification des Services Elastiques du Cloud, Conférence francophone sur les Architectures Logicielles, (CAL2016) Besançon, France, 7-8 June 2016.

•  M. Belguidoum and F. Belala, Toward a Formal Meta-Transformation of a Parametrized Component Model, The 2nd World Conference on Complex Systems (WCCS'14), Agadir, Marocco, 10-12 November 2014.

•  M. Belguidoum and F. Dagnat, Vers un déploiement sûr et flexible des composants logiciels, in Proceedings of 9ème conférence Internationale sur les NOuvelles TEchnologies de la REpartition (NOTERE09), ISBN:978-2-29809407-1-1, pp. 216-229, Montréal, Canada, 1-3 Juillet 2009.

•  M. Belguidoum and F. Dagnat, Dependability in Software Component Deployment,  in Proceedings of the 2nd International Conference on Dependability of Computer systems (DepCoS-RELCOMEX 2007), Szklarska Poreba, 223-230, June 2007, IEEE Computer Society 2007.

•  M. Belguidoum and F. Dagnat, Analysis of deployment dependencies in software components,  in the 2006 ACM Symposium on Applied Computing (SAC'06), Dijon, France, April 2006.

International Workshops

•  S. H. Hiba, M. Belguidoum, AutoCADep: an approach for Automatic Cloud Application Deployment, Workshop on Adaptive Service-oriented and Cloud Applications, Toulouse, France, 28 october 2019.   

• M. Belguidoum, F. Belala, and F. Latreche, Toward a rewriting logic framework for safe and distributed component installation, In Proceedings of the 5th International Workshop on Verification and Evaluation of Computer and Communication Systems (VECOS'11), Tunis, Tunisia,  15-16 september 2011 (selected paper). 

• M. Belguidoum and F. Dagnat, Integrating extra-functional properties in component deployment dependencies, in Proceedings of Formal Aspects of Component Software (FACS'09), Eindhoven, Netherlands, November 2009.

• M. Belguidoum and F. Dagnat, Formalization of Component Substitutability, In Proceedings of the Formal Aspects of Component Software (FACS'07),  Sophia-Antipolis, France, September 2007.

• M. Belguidoum and F. Dagnat, Dependency management in software component deployment, in Proceedings of Formal Aspects of Component Software (FACS'06), Prague, Czech Republic, September 2006

National Conferences

• M. Belguidoum, A. Beugnard, F. Dagnat. Analyse des dépendances pour le déploiement automatique des composants. In Journées Composants 2005, Pages 57-68, Le Croisic, France, April 2005.

My PhD Thesis

Research Projects:

• FOCOVE: FOrmal COncurrency Verification Environment, Computer Science Department, University Mentouri of Constantine, Algeria (2001-2002).

• SANDRA: Synchronous language AND Real-time video processing Applications, a project of INRIA (National Research Institute for Digital Science and Technology), Paris, France (2002-2003).

• SAUNA: Safe AUtonomic Network Administration, a project of France TELECOM R&D and TELECOM Bretagne, France (2004-2008).

• MODA2OS: Modeling of the Development Process and Analysis of Service-Oriented Architectures, a National CNEPRU project, LIRE Laboratory, NTIC Faculty, Constantine 2 University (member between 2011-2013).

• SoP-SoS: Design and Deployment of Software Process for SoS, PRFU project, LIRE Laboratory, NTIC Faculty, Constantine 2 University (since January 2019).

• MeFoGL: Formal Methods for Software Engineering, Verification, and Development of systems of systems, a cooperation project in the field of research and innovation within the framework of Joint Laboratory of Tunisian-Algerian scientific excellence LABEX-TA, University of Sfax and Faculty NTIC-University of Constantine2 (2021-2023).