Tarik Nahhal

Publication Activity (10 Years)

Years Active: 2006-2020
Publications (10 Years): 9

Top Venues

FGCT

J. Big Data

AICCSA

Distributed Parallel Databases

Joseph Fourier University, Grenoble, France (PHD)

Education History

Joseph Fourier University, Grenoble, France

PHD

Publications

Wilfried Yves Hamilton Adoni, Moez Krichen, Tarik Nahhal, Abdeltif Elbyed
Multi-path Coverage of All Final States for Model-Based Testing Theory Using Spark In-memory Design. VECoS (2020)
Wilfried Yves Hamilton Adoni, Tarik Nahhal, Moez Krichen, Brahim Aghezzaf, Abdeltif Elbyed
A survey of current challenges in partitioning and processing of graph-structured data in parallel and distributed systems. Distributed Parallel Databases 38 (2) (2020)
Wilfried Yves Hamilton Adoni, Tarik Nahhal, Moez Krichen, Abdeltif El byed, Ismail Assayad
DHPV: a distributed algorithm for large-scale graph partitioning. J. Big Data 7 (1) (2020)
Abdelali El Bouchti, Younes Tribis, Tarik Nahhal, Chafik Okar
Forecasting Financial Risk using Quantum Neural Networks. ICDIM (2018)
Wilfried Yves Hamilton Adoni, Tarik Nahhal, Brahim Aghezzaf, Abdeltif Elbyed
The MapReduce-based approach to improve the shortest path computation in large-scale road networks: the case of A* algorithm. J. Big Data 5 (2018)
Wilfried Yves Hamilton Adoni, Tarik Nahhal, Brahim Aghezzaf, Abdeltif Elbyed
MRA*: Parallel and Distributed Path in Large-Scale Graph Using MapReduce-A* Based Approach. UNet (2017)
Abdelali El Bouchti, Tarik Nahhal
Cyber security modeling for SCADA systems using stochastic game nets approach. FGCT (2016)
Abdelali El Bouchti, Samir Bahsani, Tarik Nahhal
Encryption as a service for data healthcare cloud security. FGCT (2016)
Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari, Tarik Nahhal
The "Behavior, interaction and priority" framework applied to SystemC-based embedded systems. AICCSA (2016)
Thao Dang, Tarik Nahhal
Coverage-guided test generation for continuous and hybrid systems. Formal Methods Syst. Des. 34 (2) (2009)
Thao Dang, Tarik Nahhal
Using Disparity to Enhance Test Generation for Hybrid Systems. TestCom/FATES (2008)
Tarik Nahhal, Thao Dang
Guided Randomized Simulation. HSCC (2007)
Tarik Nahhal, Thao Dang
Test Coverage for Continuous and Hybrid Systems. CAV (2007)
Thao Dang, Tarik Nahhal
Randomized Simulation of Hybrid Systems For Circuit Validation. FDL (2006)

Tarik Nahhal.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Tarik Nahhal