Mustapha Bourahla

Publication Activity (10 Years)

Years Active: 2002-2022
Publications (10 Years): 17

Top Topics

Fukunaga Koontz

Monte Carlo Method

Top Venues

J. Comput. Inf. Technol.

Int. J. Simul. Process. Model.

IET Comput. Digit. Tech.

Publications

Aissa ElMahdi Bourahla, Mustapha Bourahla
Approach for the development of mobile applications based on migrant objects. Comput. Sci. J. Moldova 30 (1) (2022)
Malika Boudia, Mustapha Bourahla
Formalization of Ontology Conceptualizations Using Model Transformation. Int. J. Inf. Syst. Model. Des. 13 (1) (2022)
Mohamed Naili, Mustapha Bourahla, Makhlouf Naili, AbdelKamel Tari
Stability-based Dynamic Bayesian Network method for dynamic data mining. Eng. Appl. Artif. Intell. 77 (2019)
Makhlouf Naili, Mustapha Bourahla, Mohamed Naili
Stability-based model for evacuation system using agent-based social simulation and Monte Carlo method. Int. J. Simul. Process. Model. 14 (1) (2019)
Mustapha Bourahla, Abdelmoutia Telli, Salem Benferhat, Ma Thi Chau
Classifying Non-elementary Movements in Vietnamese Mõ Dances. HCI (16) (2019)
Mustapha Bourahla
Description and reasoning for vague ontologies using logic programming. IET Softw. 12 (5) (2018)
Abdelmoutia Telli, Salem Benferhat, Mustapha Bourahla, Zied Bouraoui, Karim Tabia
Polynomial Algorithms for Computing a Single Preferred Assertional-Based Repair. Künstliche Intell. 31 (1) (2017)
Mohamed Gasmi, Mustapha Bourahla
Reasoning with Vague Concepts in Description Logics. Int. J. Fuzzy Syst. Appl. 6 (2) (2017)
Mustapha Bourahla
Repairing errors in probabilistic databases models using probabilistic abduction reasoning. Int. J. Intell. Inf. Database Syst. 10 (1/2) (2017)
Messaoud Bendiaf, Mustapha Bourahla, Malika Boudia, Seidali Rehab
A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude. Int. J. Inf. Technol. Web Eng. 12 (4) (2017)
Mustapha Bourahla
LTL transformation modulo positive transitions. IET Comput. Digit. Tech. 11 (6) (2017)
Mustapha Bourahla
Distributed Reasoning for Mapped Ontologies Using Rewriting Logic. MEDI (2016)
Hichem Debbi, Aimad Debbi, Mustapha Bourahla
Debugging of probabilistic systems using structural equation modelling. Int. J. Crit. Comput. Based Syst. 6 (4) (2016)
Mohamed Gasmi, Mustapha Bourahla
Reasoning over decomposing fuzzy description logic. J. Innov. Digit. Ecosyst. 3 (1) (2016)
Mustapha Bourahla
Repairing Errors in PRISM Programs Using Probabilistic Abduction Reasoning. MEDI (2015)
Mustapha Bourahla
Reasoning over Vague Concepts. ICAISC (2015)
Mustapha Bourahla
Exact Reasoning over Imprecise Ontologies. CIIA (2015)
Mohamed Elhadi Bounif, Mustapha Bourahla
Decision Support Technique for Supply Chain Management. J. Comput. Inf. Technol. 21 (4) (2013)
Hichem Debbi, Mustapha Bourahla
Generating Diagnoses for Probabilistic Model Checking Using Causality. J. Comput. Inf. Technol. 21 (1) (2013)
Hichem Debbi, Mustapha Bourahla
Causal analysis of probabilistic counterexamples. MEMOCODE (2013)
Aissam Belghiat, Mustapha Bourahla
From UML Class Diagrams to OWL Ontologies: A Graph Transformation Based Approach. ICWIT (2012)
Mustapha Bourahla
Verification of Complex Real-Time Systems using Rewriting Logic. J. Comput. Inf. Technol. 17 (3) (2009)
Mustapha Bourahla
Model-Based Diagnostic Using Model Checking. DepCoS-RELCOMEX (2009)
Mustapha Bourahla
Verification of Concurrent Systems using Strongly Preserving Abstractions. Int. Arab J. Inf. Technol. 5 (4) (2008)
Mustapha Bourahla
Partitioning State Spaces of Concurrent Transition Systems. Int. Arab J. Inf. Technol. 2 (2) (2005)
Mustapha Bourahla
Distributed CTL model checking. IEE Proc. Softw. 152 (6) (2005)
Mustapha Bourahla, Mohamed Benmohamed
Efficient partition of state space for parallel reachability analysis. AICCSA (2005)
Mustapha Bourahla, Mohamed Benmohamed
Model Checking Multi-Agent Systems. Informatica (Slovenia) 29 (2) (2005)
Mustapha Bourahla, Mohamed Benmohamed
Formal Specification and Verification of Multi-Agent Systems. Electron. Notes Theor. Comput. Sci. 123 (2005)
Mustapha Bourahla, Mohamed Benmohamed
Analysis of Real-Time Systems with CTL Model Checkers. Electron. Notes Theor. Comput. Sci. 133 (2005)
Mustapha Bourahla, Mohamed Benmohamed
Distributing State Space for Parallel Computation of CTL Model Checking. Informatica (Slovenia) 28 (3) (2004)
Mustapha Bourahla, Mohamed Benmohamed
Verification of Real-Time Systems by Abstraction of Time Constraints. IPDPS (2003)
Mustapha Bourahla, Mohamed Benmohamed
Predicate Abstraction and Refinement for Model Checking VHDL State Machines. Electron. Notes Theor. Comput. Sci. 66 (2) (2002)