Product
Help
Pricing
About
Jobs
Log in
Get started
Author
Add to collection
Abdessamad Jarrar
Observed names:
Abdessamad JARRAR,
Abdessamad jarrar,
Abdessamd Jarrar
Observed institutions:
Mohamed I University,
Université Hassan 1er
ORCID:
0000-0002-8792-7014
Observed ORCID:
0000-0002-8792-7014
OpenAlex ID:
A5049239163
Intrusion Detection System Using machine learning Algorithms
2022
·
Rachid Tahri
, Youssef Balouki
, et al.
·
ITM Web of Conferences
·
39
PDF
The Semantic of Business Vocabulary and Business Rules: An Automatic Generation From Textual Statements
2021
·
Abdellatif Haj
, Abdessamd Jarrar
, et al.
·
IEEE Access
·
19
A comparative study of Machine learning Algorithms on the UNSW-NB 15 Dataset
2022
·
Rachid Tahri
, Abdessamad Jarrar
, et al.
·
ITM Web of Conferences
·
16
PDF
Formal modeling of a complex adaptive air traffic control system
2018
·
Abdessamad Jarrar
, Youssef Balouki
·
Complex Adaptive Systems Modeling
·
16
PDF
Formal approach to model complex adaptive computing systems
2020
·
Abdessamad Jarrar
, Abderrahim Ait Wakrime
, et al.
·
Complex Adaptive Systems Modeling
·
7
PDF
Modeling the Internet of Things System Using Complex Adaptive System Concepts
2017
·
Abdessamad Jarrar
, Taoufiq Gadi
, et al.
·
International Conference Computing and Wireless Communication Systems
·
7
Using Deep Learning Algorithm in Security Informatics
2024
·
Rachid Tahril
, Abdellatif Lasbahani
, et al.
·
International Journal of Innovative Science and Research Technology (IJISRT)
·
6
PDF
Towards Sophisticated Air Traffic Control System Using Formal Methods
2018
·
Abdessamad Jarrar
, Youssef Balouki
·
Modelling and Simulation in Engineering
·
5
PDF
Formal Specification of QoS Negotiation in ODP System
2017
·
Abdessamad Jarrar
, Youssef Balouki
, et al.
·
International Journal of Electrical and Computer Engineering (IJECE)
·
5
PDF
Formal Reasoning for Air Traffic Control System Using Event-B Method
2018
·
Abdessamad Jarrar
, Youssef Balouki
·
Lecture notes in computer science
·
4
Modeling Aircraft Landing Scheduling in Event B
2017
·
Abdessamad Jarrar
, Youssef Balouki
, et al.
·
Advances in intelligent systems and computing
·
4
A New Centralized Detection-Based Process for Evaluating Anomalies and Analyzing the First Causes Using Machine Learning and Web Semantic
2023
·
Abdellatif Lasbahani
, Rachid Tahri
, et al.
·
International Journal of Online and Biomedical Engineering (iJOE)
·
2
PDF
Formal Specification and Verification of Transmission Control Protocol
2017
·
Abdessamad Jarrar
, Otman Bellasri
, et al.
·
International Conference Computing and Wireless Communication Systems
·
2
Towards Complex Systems Behavioral Prediction: A Survey of Artificial Intelligence Applications
2024
·
Youssef Balouki
, Hajar Alla
, et al.
·
Lecture notes in networks and systems
·
1
Reference Model of Open Distributed Processing Basic Modelling Concepts in Event-B
2019
·
Abdessamad jarrar
, Nawfal FERFRA
, et al.
·
International Conference Computing and Wireless Communication Systems
·
1
PDF
When Retrieval Can Hurt: A Multi-Role 2×2 Human Evaluation of Retrieval and Self-Refinement for Arabic Multiple-Choice Question Generation
2026
·
Abderrahman AZI
, Abdessamad JARRAR
, et al.
·
International Journal of Advanced Computer Science and Applications
Hybrid AI framework for anomaly detection and root cause analysis in multi-agent systems
2025
·
Tahri Rachid
, Ouammou Abdellah
, et al.
·
IAES International Journal of Artificial Intelligence
Antilock Braking System Formal Modeling
2019
·
Abdessamad Jarrar
, Youssef Balouki
·
Advances in computer and electrical engineering book series
Verification of Infinite Loops’ Absence in Event-B Models
2019
·
Abdessamad Jarrar
, Abderrahim Ait Wakrime
, et al.
·
International Review on Modelling and Simulations (IREMOS)
New Approach for Solving Infinite Cycles Problem During Modeling
2019
·
Abdessamad Jarrar
, Taoufiq Gadi
, et al.
·
Lecture notes in networks and systems
Show more works
View as search
Works count:
20
Citation count:
134
H-index:
6
I10-index:
4
Year
Topic
Type