Towards the Formal Development of Software Based Systems: Access Control System as a Case Study. - Ammar Boucherit; Laura M. Castro; Abdallah Khababa; Osman Hasan (Inf. Technol. Control., 2018)

Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets. - Ammar Boucherit; Abdallah Khababa; Laura M. Castro (Multiagent Grid Syst., 2018)

An interval-based multi-objective artificial bee colony algorithm for solving the web service composition under uncertain QoS. - Fateh Seghir; Abdallah Khababa; Fouzi Semchedine (J. Supercomput., 2019)

Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems. - Ammar Boucherit; Laura M. Castro; Abdallah Khababa; Osman Hasan (Multiagent Grid Syst., 2020)

Towards a hybrid formal analysis technique for safety-critical software architectures. - Ammar Boucherit; Laura M. Castro; Osman Hasan; Abdallah Khababa (Int. J. Crit. Comput. Based Syst., 2021)

A Component Based Framework to Enable Medical Devices Communication. - Imad Eddine Touahria; Abdallah Khababa (Ingénierie des Systèmes d Inf., 2021)

Generating Maude Specifications from M-UML Statechart Diagrams. - Mourad Kezai; Abdallah Khababa (J. Adv. Comput. Intell. Intell. Informatics, 2022)