Raja Oueslati

Publication Activity (10 Years)

Years Active: 2014-2024
Publications (10 Years): 4

Top Topics

Future Directions

Unified Modeling Language

Provably Correct

Top Venues

Comput. Sci. Rev.

Publications

Raja Oueslati, Ghaith Manita, Amit Chhabra, Ouajdi Korbaa
Chaos Game Optimization: A comprehensive study of its variants, applications, and future directions. Comput. Sci. Rev. 53 (2024)
Raja Oueslati, Ghaith Manita
Software Defect Prediction Using Integrated Logistic Regression and Fractional Chaotic Grey Wolf Optimizer. ENASE (2024)
Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Zhiwu Li, Ting Qu
Combining Semi-Formal and Formal Methods for the Development of Distributed Reconfigurable Control Systems. IEEE Access 6 (2018)
Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed
A Novel R-UML-B Approach for Modeling and Code Generation of Reconfigurable Control Systems. ENASE (2016)
Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed
Modeling and Verification of B-based Distributed Reconfigurable Control Systems. PECCS (2015)
Raja Oueslati, Olfa Mosbahi, Mohamed Khalgui, Samir Ben Ahmed
New Solutions for Modeling and Verification of B-based Reconfigurable Control Systems. ICINCO (1) (2014)