Tarik Nahhal
Tarik Nahhal
professeur d'informatique, Université hassan II
Vahvistettu sähköpostiosoite verkkotunnuksessa fsac.ac.ma - Kotisivu
Nimike
Viittaukset
Viittaukset
Vuosi
Coverage-guided test generation for continuous and hybrid systems
T Dang, T Nahhal
Formal Methods in System Design 34 (2), 183-213, 2009
882009
Test coverage for continuous and hybrid systems
T Nahhal, T Dang
International Conference on Computer Aided Verification, 449-462, 2007
642007
Model-Based Testing of Hybrid Systems.
T Dang, T Nahhal
Model-Based Testing for Embedded Systems, 383-424, 2011
192011
Randomized Simulation of Hybrid Systems For Circuit Validation.
T Dang, T Nahhal
FDL, 9-15, 2006
162006
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
122016
Guided randomized simulation
T Nahhal, T Dang
International Workshop on Hybrid Systems: Computation and Control, 731-735, 2007
112007
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), 1-24, 2018
92018
Using disparity to enhance test generation for hybrid systems
T Dang, T Nahhal
Testing of Software and Communicating Systems, 54-69, 2008
92008
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
62017
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
62017
MRA*: Parallel and distributed path in large-scale graph using mapReduce-A* based approach
WYH Adoni, T Nahhal, B Aghezzaf, A Elbyed
International Symposium on Ubiquitous Networking, 390-401, 2017
52017
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, 1-36, 2019
42019
The “Behavior, interaction and priority” framework applied to SystemC-based embedded systems
I Assayad, L Eljadiri, A Zakari, T Nahhal
2016 IEEE/ACS 13th International Conference of Computer Systems and …, 2016
42016
DHPV: a distributed algorithm for large-scale graph partitioning
WYH Adoni, T Nahhal, M Krichen, I Assayad
Journal of big Data 7 (1), 1-25, 2020
32020
Cyber security modeling for SCADA systems using stochastic game nets approach
A El Bouchti, T Nahhal
2016 Fifth International Conference on Future Generation Communication …, 2016
32016
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, 273-283, 2021
12021
Some Placement Techniques of Test Components Inspired by Fog Computing Approaches
M Krichen, WYH Adoni, T Nahhal
12019
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
12018
A formal framework of hybrid test cases generation applied to embedded systems
T Nahhal
International Journal of Computer Science Issues (IJCSI) 10 (2), 337, 2013
12013
Test Generation For Analog And Mixed-Signal Circuits using Hybrid system models
T Nahhal, T Dang
International Journal of VLSI Design & Communication Systems 2 (3), 21, 2011
12011
Järjestelmä ei voi suorittaa toimenpidettä nyt. Yritä myöhemmin uudelleen.
Artikkelit 1–20