FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks. - Mahum Naseer; Mishal Fatima Minhas; Faiq Khalid; Muhammad Abdullah Hanif; Osman Hasan; Muhammad Shafique 001 (DATE, 2020)

Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead. - Muhammad Shafique 001; Mahum Naseer; Theocharis Theocharides; Christos Kyrkou; Onur Mutlu; Lois Orosa 001; Jungwook Choi (IEEE Des. Test, 2020)

Formal Verification of ECCs for Memories Using ACL2. - Mahum Naseer; Waqar Ahmad; Osman Hasan (J. Electron. Test., 2020)

A formal approach to identifying the impact of noise on neural networks. - Iram Tariq Bhatti; Mahum Naseer; Muhammad Shafique 001; Osman Hasan (Commun. ACM, 2022)

Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation. - Mahum Naseer; Osman Hasan; Muhammad Shafique 001 (FoMLAS@CAV, 2023)

Poster: Link between Bias, Node Sensitivity and Long-Tail Distribution in trained DNNs. - Mahum Naseer; Muhammad Shafique 001 (ICST, 2023)

Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version). - Mahum Naseer; Osman Hasan; Muhammad Shafique 001 (CoRR, 2023)

QuanDA: GPU Accelerated Quantitative Deep Neural Network Analysis. - Mahum Naseer; Osman Hasan; Muhammad Shafique 001 (ACM Trans. Design Autom. Electr. Syst., 2023)

UnbiasedNets: a dataset diversification framework for robustness bias alleviation in neural networks. - Mahum Naseer; Bharath Srinivas Prabakaran; Osman Hasan; Muhammad Shafique 001 (Mach. Learn., 2024)