Mustapha Bourahla

According to our database, Mustapha Bourahla authored at least 33 papers between 2002 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Formalization of Ontology Conceptualizations Using Model Transformation.

Malika Boudia, Mustapha Bourahla

Int. J. Inf. Syst. Model. Des., 2022

Approach for the development of mobile applications based on migrant objects.

Aissa ElMahdi Bourahla, Mustapha Bourahla

Comput. Sci. J. Moldova, 2022

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

Stability-based Dynamic Bayesian Network method for dynamic data mining.

Mohamed Naili, Mustapha Bourahla, Makhlouf Naili, AbdelKamel Tari

Eng. Appl. Artif. Intell., 2019

Classifying Non-elementary Movements in Vietnamese Mõ Dances.

Mustapha Bourahla, Abdelmoutia Telli, Salem Benferhat, Ma Thi Chau

Proceedings of the Digital Human Modeling and Applications in Health, Safety, Ergonomics and Risk Management. Human Body and Motion, 2019

2018

Description and reasoning for vague ontologies using logic programming.

Mustapha Bourahla

IET Softw., 2018

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

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

Repairing errors in probabilistic databases models using probabilistic abduction reasoning.

Mustapha Bourahla

Int. J. Intell. Inf. Database Syst., 2017

Reasoning with Vague Concepts in Description Logics.

Mohamed Gasmi, Mustapha Bourahla

Int. J. Fuzzy Syst. Appl., 2017

LTL transformation modulo positive transitions.

Mustapha Bourahla

IET Comput. Digit. Tech., 2017

2016

Reasoning over decomposing fuzzy description logic.

Mohamed Gasmi, Mustapha Bourahla

J. Innov. Digit. Ecosyst., 2016

Debugging of probabilistic systems using structural equation modelling.

Hichem Debbi, Aimad Debbi, Mustapha Bourahla

Int. J. Crit. Comput. Based Syst., 2016

Distributed Reasoning for Mapped Ontologies Using Rewriting Logic.

Mustapha Bourahla

Proceedings of the Model and Data Engineering - 6th International Conference, 2016

2015

Repairing Errors in PRISM Programs Using Probabilistic Abduction Reasoning.

Mustapha Bourahla

Proceedings of the Model and Data Engineering - 5th International Conference, 2015

Reasoning over Vague Concepts.

Mustapha Bourahla

Proceedings of the Artificial Intelligence and Soft Computing, 2015

Exact Reasoning over Imprecise Ontologies.

Mustapha Bourahla

Proceedings of the Computer Science and Its Applications, 2015

2013

Generating Diagnoses for Probabilistic Model Checking Using Causality.

Hichem Debbi, Mustapha Bourahla

J. Comput. Inf. Technol., 2013

Decision Support Technique for Supply Chain Management.

Mohamed Elhadi Bounif, Mustapha Bourahla

J. Comput. Inf. Technol., 2013

Causal analysis of probabilistic counterexamples.

Hichem Debbi, Mustapha Bourahla

Proceedings of the 11th ACM/IEEE International Conference on Formal Methods and Models for Codesign, 2013

2012

From UML Class Diagrams to OWL Ontologies: A Graph Transformation Based Approach.

Aissam Belghiat, Mustapha Bourahla

Proceedings of the 4th International conference on Web and Information Technologies, 2012

2009

Verification of Complex Real-Time Systems using Rewriting Logic.

Mustapha Bourahla

J. Comput. Inf. Technol., 2009

Model-Based Diagnostic Using Model Checking.

Mustapha Bourahla

Proceedings of the Fourth International Conference on Dependability of Computer Systems, 2009

2008

Verification of Concurrent Systems using Strongly Preserving Abstractions.

Mustapha Bourahla

Int. Arab J. Inf. Technol., 2008

2005

Model Checking Multi-Agent Systems.

Mustapha Bourahla, Mohamed Benmohamed

Informatica (Slovenia), 2005

Distributed CTL model checking.

Mustapha Bourahla

IEE Proc. Softw., 2005

Partitioning State Spaces of Concurrent Transition Systems.

Mustapha Bourahla

Int. Arab J. Inf. Technol., 2005

Efficient partition of state space for parallel reachability analysis.

Mustapha Bourahla, Mohamed Benmohamed

Proceedings of the 2005 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2005), 2005

2004

Distributing State Space for Parallel Computation of CTL Model Checking.

Mustapha Bourahla, Mohamed Benmohamed

Informatica (Slovenia), 2004

Analysis of Real-Time Systems with CTL Model Checkers.

Mustapha Bourahla, Mohamed Benmohamed

Proceedings of the Ninth International Workshop on Formal Methods for Industrial Critical Systems, 2004

Formal Specification and Verification of Multi-Agent Systems.

Mustapha Bourahla, Mohamed Benmohamed

Proceedings of the 11th Workshop on Logic, Language, Information and Computation, 2004

2003

Verification of Real-Time Systems by Abstraction of Time Constraints.

Mustapha Bourahla, Mohamed Benmohamed

Proceedings of the 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 2003

2002

Predicate Abstraction and Refinement for Model Checking VHDL State Machines.

Mustapha Bourahla, Mohamed Benmohamed

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002