Predicate Abstraction and Refinement for Model Checking VHDL State Machines. - Mustapha Bourahla; Mohamed Benmohamed (FMICS, 2002)

Verification of Real-Time Systems by Abstraction of Time Constraints. - Mustapha Bourahla; Mohamed Benmohamed (IPDPS, 2003)

Formal Specification and Verification of Multi-Agent Systems. - Mustapha Bourahla; Mohamed Benmohamed (WoLLIC, 2004)

Analysis of Real-Time Systems with CTL Model Checkers. - Mustapha Bourahla; Mohamed Benmohamed (FMICS, 2004)

Distributing State Space for Parallel Computation of CTL Model Checking. - Mustapha Bourahla; Mohamed Benmohamed (Informatica (Slovenia), 2004)

Efficient partition of state space for parallel reachability analysis. - Mustapha Bourahla; Mohamed Benmohamed (AICCSA, 2005)

Partitioning State Spaces of Concurrent Transition Systems. - Mustapha Bourahla (Int. Arab J. Inf. Technol., 2005)

Distributed CTL model checking. - Mustapha Bourahla (IEE Proc. Softw., 2005)

Model Checking Multi-Agent Systems. - Mustapha Bourahla; Mohamed Benmohamed (Informatica (Slovenia), 2005)

Verification of Concurrent Systems using Strongly Preserving Abstractions. - Mustapha Bourahla (Int. Arab J. Inf. Technol., 2008)

Model-Based Diagnostic Using Model Checking. - Mustapha Bourahla (DepCoS-RELCOMEX, 2009)

Verification of Complex Real-Time Systems using Rewriting Logic. - Mustapha Bourahla (J. Comput. Inf. Technol., 2009)

From UML Class Diagrams to OWL Ontologies: A Graph Transformation Based Approach. - Aissam Belghiat; Mustapha Bourahla (ICWIT, 2012)

Causal analysis of probabilistic counterexamples. - Hichem Debbi; Mustapha Bourahla (MEMOCODE, 2013)

Decision Support Technique for Supply Chain Management. - Mohamed Elhadi Bounif; Mustapha Bourahla (J. Comput. Inf. Technol., 2013)

Generating Diagnoses for Probabilistic Model Checking Using Causality. - Hichem Debbi; Mustapha Bourahla (J. Comput. Inf. Technol., 2013)

Exact Reasoning over Imprecise Ontologies. - Mustapha Bourahla (CIIA, 2015)

Reasoning over Vague Concepts. - Mustapha Bourahla (ICAISC, 2015)

Repairing Errors in PRISM Programs Using Probabilistic Abduction Reasoning. - Mustapha Bourahla (MEDI, 2015)

Distributed Reasoning for Mapped Ontologies Using Rewriting Logic. - Mustapha Bourahla (MEDI, 2016)

Debugging of probabilistic systems using structural equation modelling. - Hichem Debbi; Aimad Debbi; Mustapha Bourahla (Int. J. Crit. Comput. Based Syst., 2016)

Reasoning over decomposing fuzzy description logic. - Mohamed Gasmi; Mustapha Bourahla (J. Innov. Digit. Ecosyst., 2016)

LTL transformation modulo positive transitions. - Mustapha Bourahla (IET Comput. Digit. Tech., 2017)

Reasoning with Vague Concepts in Description Logics. - Mohamed Gasmi; Mustapha Bourahla (Int. J. Fuzzy Syst. Appl., 2017)

Repairing errors in probabilistic databases models using probabilistic abduction reasoning. - Mustapha Bourahla (Int. J. Intell. Inf. Database Syst., 2017)

A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude. - Messaoud Bendiaf; Mustapha Bourahla; Malika Boudia; Seidali Rehab (Int. J. Inf. Technol. Web Eng., 2017)

Polynomial Algorithms for Computing a Single Preferred Assertional-Based Repair. - Abdelmoutia Telli; Salem Benferhat; Mustapha Bourahla; Zied Bouraoui; Karim Tabia (Künstliche Intell., 2017)

Description and reasoning for vague ontologies using logic programming. - Mustapha Bourahla (IET Softw., 2018)

Classifying Non-elementary Movements in Vietnamese Mõ Dances. - Mustapha Bourahla; Abdelmoutia Telli; Salem Benferhat; Ma Thi Chau (HCI (16), 2019)

Stability-based Dynamic Bayesian Network method for dynamic data mining. - Mohamed Naili; Mustapha Bourahla; Makhlouf Naili; AbdelKamel Tari (Eng. Appl. Artif. Intell., 2019)

Stability-based model for evacuation system using agent-based social simulation and Monte Carlo method. - Makhlouf Naili; Mustapha Bourahla; Mohamed Naili (Int. J. Simul. Process. Model., 2019)

Approach for the development of mobile applications based on migrant objects. - Aissa ElMahdi Bourahla; Mustapha Bourahla (Comput. Sci. J. Moldova, 2022)

Formalization of Ontology Conceptualizations Using Model Transformation. - Malika Boudia; Mustapha Bourahla (Int. J. Inf. Syst. Model. Des., 2022)