Mahum Naseer - RankMe

13 papers A 2Journal 10Unranked 1

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