| Coverage-guided test generation for continuous and hybrid systems T Dang, T Nahhal Formal Methods in System Design 34, 183-213, 2009 | 99 | 2009 |
| Are formal methods applicable to machine learning and artificial intelligence? M Krichen, A Mihoub, MY Alzahrani, WYH Adoni, T Nahhal 2022 2nd International Conference of Smart Systems and Emerging Technologies …, 2022 | 96 | 2022 |
| Test coverage for continuous and hybrid systems T Nahhal, T Dang Computer Aided Verification: 19th International Conference, CAV 2007, Berlin …, 2007 | 81 | 2007 |
| Security challenges for drone communications: Possible threats, attacks and countermeasures M Krichen, WYH Adoni, A Mihoub, MY Alzahrani, T Nahhal 2022 2nd International Conference of Smart Systems and Emerging Technologies …, 2022 | 63 | 2022 |
| Agricultural decision system based on advanced machine learning models for yield prediction: Case of East African countries R Aworka, LS Cedric, WYH Adoni, JT Zoueu, FK Mutombo, CLM Kimpolo, ... Smart Agricultural Technology 2, 100048, 2022 | 62 | 2022 |
| 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 38, 495-530, 2020 | 32 | 2020 |
| 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 | 32 | 2016 |
| Model-Based Testing of Hybrid Systems. T Dang, T Nahhal Model-Based Testing for Embedded Systems, 383-424, 2011 | 24 | 2011 |
| 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-24, 2018 | 20 | 2018 |
| Randomized Simulation of Hybrid Systems For Circuit Validation. T Dang, T Nahhal FDL, 9-15, 2006 | 16 | 2006 |
| Guided randomized simulation T Nahhal, T Dang International Workshop on Hybrid Systems: Computation and Control, 731-735, 2007 | 13 | 2007 |
| DHPV: a distributed algorithm for large-scale graph partitioning WYH Adoni, T Nahhal, M Krichen, A El Byed, I Assayad Journal of big Data 7, 1-25, 2020 | 11 | 2020 |
| A face-mask detection system based on deep learning convolutional neural networks PSB Ndong, WYH Adoni, T Nahhal, C Kimpolo, M Krichen, AEL Byed, ... Advances on Smart and Soft Computing: Proceedings of ICACIn 2021, 273-283, 2021 | 10 | 2021 |
| 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: Proceedings of ICACIn 2020, 273-283, 2021 | 10 | 2021 |
| 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 | 10 | 2018 |
| 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 | 10 | 2017 |
| Using disparity to enhance test generation for hybrid systems T Dang, T Nahhal International Workshop on Formal Approaches to Software Testing, 54-69, 2008 | 10 | 2008 |
| MRA*: Parallel and distributed path in large-scale graph using mapReduce-A* based approach WYH Adoni, T Nahhal, B Aghezzaf, A Elbyed Ubiquitous Networking: Third International Symposium, UNet 2017, Casablanca …, 2017 | 9 | 2017 |
| 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 | 7 | 2017 |
| Post-covid-19: deep image processing AI to analyze social distancing in a human community F Class-Peters, WYH Adoni, T Nahhal, AEL Byed, M Krichen, C Kimpolo, ... Advances on Smart and Soft Computing: Proceedings of ICACIn 2021, 59-68, 2022 | 6 | 2022 |
