Mahum Naseer

Publication Activity (10 Years)

Years Active: 2019-2024
Publications (10 Years): 13

Top Topics

Destination Node

Formal Verification

Noise Tolerance

Top Venues

Publications

Mahum Naseer, Bharath Srinivas Prabakaran, Osman Hasan, Muhammad Shafique
UnbiasedNets: a dataset diversification framework for robustness bias alleviation in neural networks. Mach. Learn. 113 (5) (2024)
Mahum Naseer, Muhammad Shafique
Poster: Link between Bias, Node Sensitivity and Long-Tail Distribution in trained DNNs. ICST (2023)
Mahum Naseer, Bharath Srinivas Prabakaran, Osman Hasan, Muhammad Shafique
UnbiasedNets: A Dataset Diversification Framework for Robustness Bias Alleviation in Neural Networks. CoRR (2023)
Mahum Naseer, Osman Hasan, Muhammad Shafique
Scaling Model Checking for Neural Network Analysis via State-Space Reduction and Input Segmentation. FoMLAS@CAV (2023)
Mahum Naseer, Osman Hasan, Muhammad Shafique
QuanDA: GPU Accelerated Quantitative Deep Neural Network Analysis. ACM Trans. Design Autom. Electr. Syst. 28 (6) (2023)
Mahum Naseer, Osman Hasan, Muhammad Shafique
Scaling Model Checking for DNN Analysis via State-Space Reduction and Input Segmentation (Extended Version). CoRR (2023)
Mahum Naseer, Muhammad Shafique
Poster: Link between Bias, Node Sensitivity and Long-Tail Distribution in trained DNNs. CoRR (2023)
Iram Tariq Bhatti, Mahum Naseer, Muhammad Shafique, Osman Hasan
A formal approach to identifying the impact of noise on neural networks. Commun. ACM 65 (11) (2022)
Muhammad Shafique, Mahum Naseer, Theocharis Theocharides, Christos Kyrkou, Onur Mutlu, Lois Orosa, Jungwook Choi
Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead. CoRR (2021)
Mahum Naseer, Mishal Fatima Minhas, Faiq Khalid, Muhammad Abdullah Hanif, Osman Hasan, Muhammad Shafique
FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks. DATE (2020)
Mahum Naseer, Waqar Ahmad, Osman Hasan
Formal Verification of ECCs for Memories Using ACL2. J. Electron. Test. 36 (5) (2020)
Muhammad Shafique, Mahum Naseer, Theocharis Theocharides, Christos Kyrkou, Onur Mutlu, Lois Orosa, Jungwook Choi
Robust Machine Learning Systems: Challenges, Current Trends, Perspectives, and the Road Ahead. IEEE Des. Test 37 (2) (2020)
Mahum Naseer, Mishal Fatima Minhas, Faiq Khalid, Muhammad Abdullah Hanif, Osman Hasan, Muhammad Shafique
FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks. CoRR (2019)