Guaranteeing correctness of machine learning based decision making at higher educational institutions M Nauman, N Akhtar, A Alhudhaif, A Alothaim IEEE access 9, 92864-92880, 2021 | 15 | 2021 |
Leveraging Big Data Analytics for Enhanced Clinical Decision-Making in Healthcare F Hussain, M Nauman, A Alghuried, A Alhudhaif, N Akhtar IEEE Access 11, 127817-127836, 2023 | 4 | 2023 |
Timed-Automata Based Model-Checking of a Multi-Agent System: A Case Study N Akhtar, M Nauman Journal of Software Engineering and Applications 8 (2), 43-50, 2015 | 3 | 2015 |
Improving the Correctness of Medical Diagnostics Based on Machine Learning With Coloured Petri Nets M. Nauman, N. Akhtar, O. H. Alhazmi, M. Hameed, H. Ullah, N. Khan IEEE Access 9, 143434-143447, 2021 | 2 | 2021 |
Guaranteeing Correctness in Black-Box Machine Learning: A Fusion of Explainable AI and Formal Methods for Healthcare Decision-Making N Khan, M Nauman, AS Almadhor, N Akhtar, A Alghuried, A Alhudhaif IEEE Access, 2024 | | 2024 |
EXTREMISM CLASSIFICATION BASED ON TWITTER TEXT USING ENSEMBLE LEARNING M SABIR, DM KHAN, F SHAHZAD, M NAUMAN, A ALI Journal of Tianjin University Science and Technology 55 (9), 2022 | | 2022 |
Formal Specification and Verification of an Internet Marketing System Using Timed-Automata Based Uppaal N Akhtar, M Nauman | | |