Follow
Tarik Nahhal
Tarik Nahhal
professeur d'informatique, Université hassan II
Verified email at fsac.ac.ma - Homepage
Title
Cited by
Cited by
Year
Coverage-guided test generation for continuous and hybrid systems
T Dang, T Nahhal
Formal Methods in System Design 34, 183-213, 2009
1002009
Are formal methods applicable to machine learning and artificial intelligence?
M Krichen, A Mihoub, MY Alzahrani, WYH Adoni, T Nahhal
2022 2nd International Conference of Smart Systems and Emerging Technologies …, 2022
862022
Test coverage for continuous and hybrid systems
T Nahhal, T Dang
Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007
822007
Security challenges for drone communications: Possible threats, attacks and countermeasures
M Krichen, WYH Adoni, A Mihoub, MY Alzahrani, T Nahhal
2022 2nd International Conference of Smart Systems and Emerging Technologies …, 2022
582022
Agricultural decision system based on advanced machine learning models for yield prediction: Case of East African countries
R Aworka, LS Cedric, WYH Adoni, JT Zoueu, FK Mutombo, CLM Kimpolo, ...
Smart Agricultural Technology 2, 100048, 2022
502022
Encryption as a service for data healthcare cloud security
A El Bouchti, S Bahsani, T Nahhal
2016 fifth international conference on future generation communication …, 2016
322016
A survey of current challenges in partitioning and processing of graph-structured data in parallel and distributed systems
HWY Adoni, T Nahhal, M Krichen, B Aghezzaf, A Elbyed
Distributed and Parallel Databases 38, 495-530, 2020
262020
The MapReduce-based approach to improve the shortest path computation in large-scale road networks: the case of A* algorithm
WYH Adoni, T Nahhal, B Aghezzaf, A Elbyed
Journal of Big Data 5, 1-24, 2018
192018
Randomized Simulation of Hybrid Systems For Circuit Validation.
T Dang, T Nahhal
FDL, 9-15, 2006
162006
Guided randomized simulation
T Nahhal, T Dang
International Workshop on Hybrid Systems: Computation and Control, 731-735, 2007
132007
DHPV: a distributed algorithm for large-scale graph partitioning
WYH Adoni, T Nahhal, M Krichen, A El Byed, I Assayad
Journal of big Data 7, 1-25, 2020
112020
An agent-based architecture using deep reinforcement learning for the intelligent internet of things applications
DB Noureddine, M Krichen, S Mechti, T Nahhal, WYH Adoni
Advances on Smart and Soft Computing: Proceedings of ICACIn 2020, 273-283, 2021
102021
The MapReduce-based approach to improve vehicle controls on big traffic events
WYH Adoni, T Nahhal, B Aghezzaf, A Elbyed
2017 International Colloquium on Logistics and Supply Chain Management …, 2017
102017
Using disparity to enhance test generation for hybrid systems
T Dang, T Nahhal
International Workshop on Formal Approaches to Software Testing, 54-69, 2008
102008
A face-mask detection system based on deep learning convolutional neural networks
PSB Ndong, WYH Adoni, T Nahhal, C Kimpolo, M Krichen, AEL Byed, ...
Advances on Smart and Soft Computing: Proceedings of ICACIn 2021, 273-283, 2021
92021
Model-based testing of hybrid systems
T Dang, T Nahhal
Model-Based Testing for Embedded Systems, 383-424, 2007
92007
Forecasting financial risk using quantum neural networks
A El Bouchti, Y Tribis, T Nahhal, C Okar
2018 Thirteenth International Conference on Digital Information Management …, 2018
82018
MRA*: Parallel and distributed path in large-scale graph using mapReduce-A* based approach
WYH Adoni, T Nahhal, B Aghezzaf, A Elbyed
Ubiquitous Networking: Third International Symposium, UNet 2017, Casablanca …, 2017
82017
PaRRT: Parallel rapidly exploring random tree (RRT) based on MapReduce
Y Abou El Majd, H El Ghazi, T Nahhal
2017 International Conference on Electrical and Information Technologies …, 2017
72017
Post-covid-19: deep image processing AI to analyze social distancing in a human community
F Class-Peters, WYH Adoni, T Nahhal, AEL Byed, M Krichen, C Kimpolo, ...
Advances on Smart and Soft Computing: Proceedings of ICACIn 2021, 59-68, 2022
62022
The system can't perform the operation now. Try again later.
Articles 1–20