| Transformation of UML models towards OWL ontologies A Belghiat, M Bourahla 2012 6th International Conference on Sciences of Electronics, Technologies …, 2012 | 34 | 2012 |
| Generating diagnoses for probabilistic model checking using causality H Debbi, M Bourahla Journal of computing and information technology 21 (1), 13-22, 2013 | 27 | 2013 |
| Towards an ontology for UML state machines Y Belgueliel, M Bourahla, M Brik Lecture Notes on Software Engineering 2 (1), 116, 2014 | 25 | 2014 |
| 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 | 25 | 2012 |
| Causal analysis of probabilistic counterexamples H Debbi, M Bourahla 2013 Eleventh ACM/IEEE International Conference on Formal Methods and Models …, 2013 | 22 | 2013 |
| From UML Class Diagrams to OWL Ontologies: A Graph Transformation Based Approach. A Belghiat, M Bourahla ICWIT, 330-335, 2012 | 22 | 2012 |
| Distributed CTL model checking M Bourahla IEE Proceedings-Software 152 (6), 297-308, 2005 | 20 | 2005 |
| 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 | 19 | 2017 |
| 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 | 18 | 2019 |
| Formal specification and verification of multi-agent systems M Bourahla, M Benmohamed Electronic Notes in Theoretical Computer Science 123, 5-17, 2005 | 18 | 2005 |
| Verification of real-time systems by abstraction of time constraints M Bourahla, M Benmohamed Proceedings International Parallel and Distributed Processing Symposium, 8 pp., 2003 | 17 | 2003 |
| 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 | 16 | 2016 |
| Decision support technique for supply chain management ME Bounif, M Bourahla Journal of computing and information technology 21 (4), 255-268, 2013 | 15 | 2013 |
| Medical treatment analysis using probabilistic model checking H Debbi, M Bourahla, A Debbi International Journal of Biomedical Engineering and Technology 12 (4), 346-359, 2013 | 13 | 2013 |
| 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 | 12 | 2002 |
| Model checking multi-agent systems MB Bourahla, M Benmohamed Informatica 29 (2), 2005 | 11 | 2005 |
| 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 | 10 | 2019 |
| 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 | 10 | 2012 |
| Model-based diagnostic using model checking M Bourahla 2009 Fourth International Conference on Dependability of Computer Systems …, 2009 | 8 | 2009 |
| Reasoning over vague concepts M Bourahla Artificial Intelligence and Soft Computing: 14th International Conference …, 2015 | 7 | 2015 |
