Vers une démarche d'intégration des méthodes du temps réel fondée sur la modélisation du procédé de développement du logiciel. (Towards an integration approach for real time systems development methods based on software process modelling). - Adel Khalfallah (1995)

ArchMDE Approach for the Development of Embedded Real Time Systems. - Nourchène Elleuch; Adel Khalfallah; Samir Ben Ahmed (Ada-Europe, 2007)

Complex spaces and nonstandard schemes. - Adel Khalfallah; Siegmund Kosarew (J. Log. Anal., 2010)

ArchMDE Approach for the Formal Verification of Real Time Systems. - Nourchène Elleuch; Adel Khalfallah; Samir Ben Ahmed (CIT, 2011)

A Combined Graph-based Approach for Systems Design And Verification. - Najet Zoubeir; Adel Khalfallah (MODELSWARD, 2015)

Bounded polynomials and holomorphic mappings between Convex subrings of * $ Mathbb{C}$. - Adel Khalfallah; Siegmund Kosarew (J. Symb. Log., 2018)

Analysis of Architectural solutions Impact on Energy Consumption: Graph-Based Analysis. - Basma Khil; Adel Khalfallah; Samir Ben Ahmed (IWCMC, 2020)

Defining and Extracting Singleton Design Pattern Information from Object-Oriented Software Program. - Abir Nacef; Adel Khalfallah; Sahbi Bahroun; Samir Ben Ahmed (ICCCI (CCIS Volume), 2022)

On primitive words with non-primitive product. - Othman Echi; Adel Khalfallah; Dhaker Kroumi (RAIRO Theor. Informatics Appl., 2022)

Features and Supervised Machine Learning Based Method for Singleton Design Pattern Variants Detection. - Abir Nacef; Sahbi Bahroun; Adel Khalfallah; Samir Ben Ahmed (ENASE, 2023)

Supervised Machine Learning for Recovering Implicit Implementation of Singleton Design Pattern. - Abir Nacef; Sahbi Bahroun; Adel Khalfallah; Samir Ben Ahmed (ENASE, 2023)

Automatic Detection of Implicit and Typical Implementation of Singleton Pattern Based on Supervised Machine Learning. - Abir Nacef; Sahbi Bahroun; Adel Khalfallah; Samir Ben Ahmed (ICAART (3), 2023)

Lipschitz Continuity for Harmonic Functions and Solutions of the α¯-Poisson Equation. - Miodrag M. Spalevic; Nikola Mutavdzic; Adel Khalfallah (Axioms, 2023)