Tarik Nahhal

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