Suivre
Mustapha Bourahla
Mustapha Bourahla
Univerity of M'Sila
Aucune adresse e-mail validée
Titre
Citée par
Citée par
Année
Transformation of UML models towards OWL ontologies
A Belghiat, M Bourahla
2012 6th International Conference on Sciences of Electronics, Technologies …, 2012
292012
From UML Class Diagrams to OWL Ontologies: A Graph Transformation Based Approach.
A Belghiat, M Bourahla
ICWIT, 330-335, 2012
202012
An approach based AToM3 for the generation of OWL ontologies from UML diagrams
A Belghiat, M Bourahla
International journal of computer applications 41 (3), 2012
202012
Stability-based model for evacuation system using agent-based social simulation and Monte Carlo method
M Naili, M Bourahla, M Naili
International Journal of Simulation and Process Modelling 14 (1), 1-16, 2019
172019
Polynomial algorithms for computing a single preferred assertional-based repair
A Telli, S Benferhat, M Bourahla, Z Bouraoui, K Tabia
KI-Künstliche Intelligenz 31, 15-30, 2017
162017
Generating diagnoses for probabilistic model checking using causality
H Debbi, M Bourahla
Journal of Computing and Information Technology 21 (1), 13-22, 2013
162013
Towards an ontology for UML state machines
Y Belgueliel, M Bourahla, M Brik
Lecture Notes on Software Engineering 2 (1), 116, 2014
152014
Stability-based dynamic Bayesian network method for dynamic data mining
M Naili, M Bourahla, M Naili, AK Tari
Engineering Applications of Artificial Intelligence 77, 283-310, 2019
142019
Formal specification and verification of multi-agent systems
M Bourahla, M Benmohamed
Electronic Notes in Theoretical Computer Science 123, 5-17, 2005
132005
Distributed CTL model checking
M Bourahla
IEE Proceedings-Software 152 (6), 297-308, 2005
122005
Verification of real-time systems by abstraction of time constraints
M Bourahla, M Benmohamed
Proceedings International Parallel and Distributed Processing Symposium, 8 pp., 2003
122003
Causal analysis of probabilistic counterexamples
H Debbi, M Bourahla
2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models …, 2013
112013
Model checking multi-agent systems
MB Bourahla, M Benmohamed
Informatica 29 (2), 2005
112005
Decision support technique for supply chain management
ME Bounif, M Bourahla
Journal of computing and information technology 21 (4), 255-268, 2013
102013
Automatic generation of OWL ontologies from UML class diagrams based on meta-modelling and graph grammars
A Belghiat, M Bourahla
International Journal of Computer and Information Engineering 6 (8), 967-972, 2012
102012
Reasoning over vague concepts
M Bourahla
Artificial Intelligence and Soft Computing: 14th International Conference …, 2015
72015
Predicate abstraction and refinement for model checking vhdl state machines
M Bourahla, M Benmohamed
Electronic Notes in Theoretical Computer Science 66 (2), 1-16, 2002
72002
Debugging of probabilistic systems using structural equation modelling
H Debbi, A Debbi, M Bourahla
International Journal of Critical Computer-Based Systems 6 (4), 250-274, 2016
62016
Model-based diagnostic using model checking
M Bourahla
2009 Fourth International Conference on Dependability of Computer Systems …, 2009
52009
An ontology for classifying vietnamese dance movements
A Telli, MT Chau, M Bourahla, K Tabia, S Benferhat
Proceedings of the International Conference on Pattern Recognition and …, 2018
42018
Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.
Articles 1–20