Mustapha Bourahla

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