Verifying LTL Properties on Hierarchical Systems: Application to Aircraft Autopilot. - Mohammed Al Achhab; Ahmed Hammad; Hassan Mountassir (ISoLA, 2006)

Graphical specification and formal verification of the Workflow Petri Nets properties in a business process context. - Mohammed Al Achhab; Mohammed El Mohajir (CIST, 2011)

The quality process in a professional context: Software industry case. - Nabila Nejjar; Mohamed Lamrini; Mohammed Al Achhab (CIST, 2011)

Towards formal verification of business process using a graphical specification. - Outman El Hichami; Badr Eddine El Mohajir; Mohammed Al Achhab; Ismail Berrada; Rachid Oucheikh (CIST, 2014)

Short: Graphical Specification and Automatic Verification of Business Process. - Outman El Hichami; Mohammed Al Achhab; Ismail Berrada; Badr Eddine El Mohajir (NETYS, 2014)

Visual Specification Language and Automatic Checking of Business Process. - Outman El Hichami; Mohammed Al Achhab; Ismail Berrada; Badr Eddine El Mohajir (VECoS, 2014)

Revisiting the Didactic Triangle in the Case of an Adaptive Learning System. - Yassine Zaoui Seghroucheni; Mohammed Al Achhab; Badr Eddine El Mohajir (Int. J. Eng. Pedagog., 2014)

An Approach to Create Multiple Versions of the Same Learning Object. - Yassine Zaoui Seghroucheni; Mohammed Al Achhab; Badr Eddine El Mohajir (Int. J. Emerg. Technol. Learn., 2014)

An application to index the didactic resources in an adaptive learning system (ALS). - Nihad Elghouch; Yassine Zaoui Seghroucheni; El Mokhtar En-Naimi; Badr Eddine El Mohajir; Mohammed Al Achhab (ICTA, 2015)

Towards a Formal Semantics and Analysis of BPMN Gateways. - Outman El Hichami; Mohamed Naoum; Mohammed Al Achhab; Ismail Berrada; Badr Eddine El Mohajir (NETYS, 2015)

An Algebraic Method for Analysing Control Flow of BPMN Models. - Outman El Hichami; Mohamed Naoum; Mohammed Al Achhab; Ismail Berrada; Badr Eddine El Mohajir (Int. J. Recent Contributions Eng. Sci. IT, 2015)

A Bayesian Network Based on the Differentiated Pedagogy to Generate Learning Object According to FSLSM. - Yassine Zaoui Seghroucheni; Mohammed Al Achhab; Badr Eddine El Mohajir (Int. J. Recent Contributions Eng. Sci. IT, 2015)

Implementation of an Adaptive Learning System that Include Correction of Learning Path Based on the Differentiated Pedagogy and the Bayesian Network. - Yassine Zaoui Seghroucheni; Mohammed Al Achhab; Badr Eddine El Mohajir (Int. J. Recent Contributions Eng. Sci. IT, 2015)

ALS_CORR[LP]: An adaptive learning system based on the learning styles of Felder-Silverman and a Bayesian network. - Nihad Elghouch; El Mokhtar En-Naimi; Yassine Zaoui Seghroucheni; Badr Eddine El Mohajir; Mohammed Al Achhab (CIST, 2016)

Recommender system for ubiquitous learning based on decision tree. - Inssaf El Guabassi; Mohammed Al Achhab; Ismail Jellouli; Badr Eddine El Mohajir (CIST, 2016)

Development of a bilingual corpus of Arabic and Arabic Sign Language based on a signed content. - Zakaria El Maazouzi; Badr Eddine El Mohajir; Mohammed Al Achhab; Adnan Souri (CIST, 2016)

A probabilistic method for business process verification: Reachability, Liveness and deadlock detection. - Mohamed Naoum; Outman El Hichami; Mohammed Al Achhab; Badr Eddine El Mohajir (CIST, 2016)

An adaptive learning system based on a Job model, the differentiated instruction and Felder and Silverman's learning styles model. - Aymane Qodad; Yassine Zaoui Seghroucheni; Mohammed Al Achhab; M. El Yadari; Abdellah El Kenz; A. Benyoussef (CIST, 2016)

Towards adaptive ubiquitous learning systems. - Inssaf El Guabassi; Mohammed Al Achhab; Ismail Jellouli; Badr Eddine El Mohajir (Int. J. Knowl. Learn., 2016)

Syntactic entropy for main content extraction from web pages. - Ismail Jellouli; Badr Eddine El Mohajir; Mohammed Al Achhab (BDCA, 2017)

Using the CBR Dynamic Method to Correct the Generates Learning Path in the Adaptive Learning System. - Nihad El Ghouch; El Mokhtar En-Naimi; Abdelhamid Zouhair; Mohammed Al Achhab (SCA, 2017)

Comparison of Feature Selection Methods for Sentiment Analysis. - Soufiane El Mrabti; Mohammed Al Achhab; Mohamed Lazaar (BDCA, 2018)

Arabic Text Generation Using Recurrent Neural Networks. - Adnan Souri; Zakaria El Maazouzi; Mohammed Al Achhab; Badr Eddine El Mohajir (BDCA, 2018)

Guided Retrieve through the K-Nearest Neighbors Method in Adaptive Learning System using the Dynamic Case Based Reasoning Approach. - Nihad El Ghouch; El Mokhtar En-Naimi; Abdelhamid Zouhair; Mohammed Al Achhab (SCA, 2018)

New Approach of Designing and Developing Multi-Agent Systems. - Mohamed Kouissi; El Mokhtar En-Naimi; Abdelhamid Zouhair; Mohammed Al Achhab (SCA, 2018)

Personalized Ubiquitous Learning via an Adaptive Engine. - Inssaf El Guabassi; Mohammed Al Achhab; Ismail Jellouli; Badr Eddine El Mohajir (Int. J. Emerg. Technol. Learn., 2018)

Artificial Neural Networks Optimization and Convolution Neural Networks to Classifying Images in Remote Sensing: A Review. - Khalid A. Al-Afandy; Hicham Omara; Mohamed Lazaar; Mohammed Al Achhab (BDIoT, 2019)

Impact of Neural Network Architectures on Arabic Sentiment Analysis. - Hamza Chahidi; Hicham Omara; Mohamed Lazaar; Mohammed Al Achhab (BDIoT, 2019)

Visual Language for Specifying Verification Properties. - Outman El Hichami; Mohamed Naoum; Mohammed Al Achhab; Badr Eddine El Mohajir; Mohamed Lazaar (BDIoT, 2019)

Novel Convex Polyhedron Classifier for Sentiment Analysis. - Soufiane El Mrabti; Mohamed Lazaar; Mohammed Al Achhab; Hicham Omara (Cloudtech, 2020)

Improved Content Based Filtering Using Unsupervised Machine Learning on Movie Recommendation. - Yassine Afoudi; Mohamed Lazaar; Mohammed Al Achhab; Hicham Omara (BDIoT, 2021)

Performing of users' road safety at intelligent transportation systems. - Soumaya Amri; Mohamed Naoum; Mohamed Lazaar; Mohammed Al Achhab (CIST, 2021)

Intelligent recommender system based on unsupervised machine learning and demographic attributes. - Yassine Afoudi; Mohamed Lazaar; Mohammed Al Achhab (Simul. Model. Pract. Theory, 2021)

Hybrid recommendation system combined content-based filtering and collaborative prediction using artificial neural network. - Yassine Afoudi; Mohamed Lazaar; Mohammed Al Achhab (Simul. Model. Pract. Theory, 2021)

Review of a Comparative Survey on the Detection and Classification of Traffic Signs. - El Mojahid Roumaissae; Outman El Hichami; Badr Eddine El Mohajir; Mohammed Al Achhab; Adnan Souri; Abdelali Zbakh (CiSt, 2023)

Systematic Review on the Conversion of Tacit Knowledge. - Ouissale Zaoui Seghroucheni; Mohammed Al Achhab; Mohamed Lazaar (CiSt, 2023)

Bridging Tacit Knowledge and Explicit Knowledge: An Ontological Model for Effective Knowledge Conversion. - Ouissale Zaoui Seghroucheni; Mohamed Lazaar; Mohammed Al Achhab (Int. J. Eng. Pedagog., 2025)

Systematic Review and Framework for AI-Driven Tacit Knowledge Conversion Methods and Machine Learning Algorithms for Ontology-Based Chatbots in E-Learning Platforms. - Ouissale Zaoui Seghroucheni; Mohamed Lazaar; Mohammed Al Achhab (Int. J. Interact. Mob. Technol., 2025)