Mahum Naseer

According to our database, Mahum Naseer authored at least 8 papers between 2020 and 2023.

Collaborative distances:

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

2023

QuanDA: GPU Accelerated Quantitative Deep Neural Network Analysis.

Mahum Naseer, Osman Hasan, Muhammad Shafique

ACM Trans. Design Autom. Electr. Syst., November, 2023

Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version).

Mahum Naseer, Osman Hasan, Muhammad Shafique

CoRR, 2023

UnbiasedNets: A Dataset Diversification Framework for Robustness Bias Alleviation in Neural Networks.

Mahum Naseer, Bharath Srinivas Prabakaran, Osman Hasan, Muhammad Shafique

CoRR, 2023

Poster: Link between Bias, Node Sensitivity and Long-Tail Distribution in trained DNNs.

Mahum Naseer, Muhammad Shafique

Proceedings of the IEEE Conference on Software Testing, Verification and Validation, 2023

2022

A formal approach to identifying the impact of noise on neural networks.

Iram Tariq Bhatti, Mahum Naseer, Muhammad Shafique, Osman Hasan

Commun. ACM, 2022

2020

Formal Verification of ECCs for Memories Using ACL2.

Mahum Naseer, Waqar Ahmad, Osman Hasan

J. Electron. Test., 2020

Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead.

Muhammad Shafique, Mahum Naseer, Theocharis Theocharides, Christos Kyrkou, Onur Mutlu, Lois Orosa, Jungwook Choi

IEEE Des. Test, 2020

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

Proceedings of the 2020 Design, Automation & Test in Europe Conference & Exhibition, 2020