New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems. - Raja Oueslati; Olfa Mosbahi; Mohamed Khalgui; Samir Ben Ahmed (ICINCO (1), 2014)

Modeling and Verification of B-based Distributed Reconfigurable Control Systems. - Raja Oueslati; Olfa Mosbahi; Mohamed Khalgui; Samir Ben Ahmed (PECCS, 2015)

A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems. - Raja Oueslati; Olfa Mosbahi; Mohamed Khalgui; Samir Ben Ahmed (ENASE, 2016)

Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems. - Raja Oueslati; Olfa Mosbahi; Mohamed Khalgui; Zhiwu Li 001; Ting Qu (IEEE Access, 2018)

Software Defect Prediction Using Integrated Logistic Regression and Fractional Chaotic Grey Wolf Optimizer. - Raja Oueslati; Ghaith Manita (ENASE, 2024)

Chaos Game Optimization: A comprehensive study of its variants, applications, and future directions. - Raja Oueslati; Ghaith Manita; Amit Chhabra; Ouajdi Korbaa (Comput. Sci. Rev., 2024)

Improved Binary Elk Herd Optimizer with Fitness Balance Distance for Feature Selection Using Gene Expression Data. - Mohamed Wajdi Ouertani; Raja Oueslati; Ghaith Manita (ICAART (2), 2025)