Abdallah Khababa

Publication Activity (10 Years)

Years Active: 2018-2022
Publications (10 Years): 7

Top Topics

Safety Analysis

Software Architecture

Formal Specification

Top Venues

Multiagent Grid Syst.

J. Adv. Comput. Intell. Intell. Informatics

Inf. Technol. Control.

Int. J. Crit. Comput. Based Syst.

Publications

Mourad Kezai, Abdallah Khababa
Generating Maude Specifications from M-UML Statechart Diagrams. J. Adv. Comput. Intell. Intell. Informatics 26 (1) (2022)
Ammar Boucherit, Laura M. Castro, Osman Hasan, Abdallah Khababa
Towards a hybrid formal analysis technique for safety-critical software architectures. Int. J. Crit. Comput. Based Syst. 10 (2) (2021)
Imad Eddine Touahria, Abdallah Khababa
A Component Based Framework to Enable Medical Devices Communication. Ingénierie des Systèmes d Inf. 26 (3) (2021)
Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan
Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems. Multiagent Grid Syst. 16 (1) (2020)
Fateh Seghir, Abdallah Khababa, Fouzi Semchedine
An interval-based multi-objective artificial bee colony algorithm for solving the web service composition under uncertain QoS. J. Supercomput. 75 (9) (2019)
Ammar Boucherit, Abdallah Khababa, Laura M. Castro
Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets. Multiagent Grid Syst. 14 (4) (2018)
Ammar Boucherit, Laura M. Castro, Abdallah Khababa, Osman Hasan
Towards the Formal Development of Software Based Systems: Access Control System as a Case Study. Inf. Technol. Control. 47 (3) (2018)