Abdallah Khababa

According to our database, Abdallah Khababa authored at least 7 papers between 2018 and 2022.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2022

Generating Maude Specifications from M-UML Statechart Diagrams.

Mourad Kezai, Abdallah Khababa

J. Adv. Comput. Intell. Intell. Informatics, 2022

2021

A Component Based Framework to Enable Medical Devices Communication.

Imad Eddine Touahria, Abdallah Khababa

Ingénierie des Systèmes d Inf., 2021

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

2020

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

2019

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

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

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