Tarik Nahhal

According to our database, Tarik Nahhal authored at least 15 papers between 2006 and 2020.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2020

DHPV: a distributed algorithm for large-scale graph partitioning.

Wilfried Yves Hamilton Adoni, Tarik Nahhal, Moez Krichen, Abdeltif El byed, Ismail Assayad

J. Big Data, 2020

A survey of current challenges in partitioning and processing of graph-structured data in parallel and distributed systems.

Wilfried Yves Hamilton Adoni, Tarik Nahhal, Moez Krichen, Brahim Aghezzaf, Abdeltif Elbyed

Distributed Parallel Databases, 2020

Multi-path Coverage of All Final States for Model-Based Testing Theory Using Spark In-memory Design.

Wilfried Yves Hamilton Adoni, Moez Krichen, Tarik Nahhal, Abdeltif Elbyed

Proceedings of the Verification and Evaluation of Computer and Communication Systems, 2020

2018

The MapReduce-based approach to improve the shortest path computation in large-scale road networks: the case of A* algorithm.

Wilfried Yves Hamilton Adoni, Tarik Nahhal, Brahim Aghezzaf, Abdeltif Elbyed

J. Big Data, 2018

Forecasting Financial Risk using Quantum Neural Networks.

Abdelali El Bouchti, Younes Tribis, Tarik Nahhal, Chafik Okar

Proceedings of the 2018 Thirteenth International Conference on Digital Information Management (ICDIM), 2018

2017

MRA*: Parallel and Distributed Path in Large-Scale Graph Using MapReduce-A* Based Approach.

Wilfried Yves Hamilton Adoni, Tarik Nahhal, Brahim Aghezzaf, Abdeltif Elbyed

Proceedings of the Ubiquitous Networking - Third International Symposium, 2017

2016

Cyber security modeling for SCADA systems using stochastic game nets approach.

Abdelali El Bouchti, Tarik Nahhal

Proceedings of the Fifth International Conference on Future Communication Technologies, 2016

Encryption as a service for data healthcare cloud security.

Abdelali El Bouchti, Samir Bahsani, Tarik Nahhal

Proceedings of the Fifth International Conference on Future Communication Technologies, 2016

The "Behavior, interaction and priority" framework applied to SystemC-based embedded systems.

Ismail Assayad, Lamia Eljadiri, Abdelouahed Zakari, Tarik Nahhal

Proceedings of the 13th IEEE/ACS International Conference of Computer Systems and Applications, 2016

2009

Coverage-guided test generation for continuous and hybrid systems.

Thao Dang, Tarik Nahhal

Formal Methods Syst. Des., 2009

2008

Using Disparity to Enhance Test Generation for Hybrid Systems.

Thao Dang, Tarik Nahhal

Proceedings of the Testing of Software and Communicating Systems, 2008

2007

Test des Systèmes hybrides. (Model-Based Testing of Hybrid Systems).

Tarik Nahhal

PhD thesis, 2007

Guided Randomized Simulation.

Tarik Nahhal, Thao Dang

Proceedings of the Hybrid Systems: Computation and Control, 10th International Workshop, 2007

Test Coverage for Continuous and Hybrid Systems.

Tarik Nahhal, Thao Dang

Proceedings of the Computer Aided Verification, 19th International Conference, 2007

2006

Randomized Simulation of Hybrid Systems For Circuit Validation.

Thao Dang, Tarik Nahhal

Proceedings of the Forum on specification and Design Languages, 2006