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)

HVoC: a Hybrid Model Checking - Interactive Theorem Proving Approach for Functional Verification of Digital Circuits. - Mishal Fatima Minhas; Osman Hasan; Sa'ed Abed (J. Electron. Test., 2021)

Continual Learning with Neuromorphic Computing: Theories, Methods, and Applications. - Mishal Fatima Minhas; Rachmad Vidya Wicaksana Putra; Falah Awwad; Osman Hasan; Muhammad Shafique 001 (CoRR, 2024)

Continual Learning With Neuromorphic Computing: Foundations, Methods, and Emerging Applications. - Mishal Fatima Minhas; Rachmad Vidya Wicaksana Putra; Falah Awwad; Osman Hasan; Muhammad Shafique 001 (IEEE Access, 2025)

Replay4NCL: An Efficient Memory Replay-based Methodology for Neuromorphic Continual Learning in Embedded AI Systems. - Mishal Fatima Minhas; Rachmad Vidya Wicaksana Putra; Falah Awwad; Osman Hasan; Muhammad Shafique 001 (CoRR, 2025)