Randomized Simulation of Hybrid Systems For Circuit Validation. - Thao Dang 001; Tarik Nahhal (FDL, 2006)

Test Coverage for Continuous and Hybrid Systems. - Tarik Nahhal; Thao Dang 001 (CAV, 2007)

Guided Randomized Simulation. - Tarik Nahhal; Thao Dang 001 (HSCC, 2007)

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

Using Disparity to Enhance Test Generation for Hybrid Systems. - Thao Dang 001; Tarik Nahhal (TestCom/FATES, 2008)

Coverage-guided test generation for continuous and hybrid systems. - Thao Dang 001; Tarik Nahhal (Formal Methods Syst. Des., 2009)

The "Behavior, interaction and priority" framework applied to SystemC-based embedded systems. - Ismail Assayad; Lamia Eljadiri; Abdelouahed Zakari; Tarik Nahhal (AICCSA, 2016)

Encryption as a service for data healthcare cloud security. - Abdelali El Bouchti; Samir Bahsani; Tarik Nahhal (FGCT, 2016)

Cyber security modeling for SCADA systems using stochastic game nets approach. - Abdelali El Bouchti; Tarik Nahhal (FGCT, 2016)

MRA*: Parallel and Distributed Path in Large-Scale Graph Using MapReduce-A* Based Approach. - Wilfried Yves Hamilton Adoni; Tarik Nahhal; Brahim Aghezzaf; Abdeltif Elbyed (UNet, 2017)

Forecasting Financial Risk using Quantum Neural Networks. - Abdelali El Bouchti; Younes Tribis; Tarik Nahhal; Chafik Okar (ICDIM, 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)

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 (VECoS, 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)

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)