Mishal Fatima Minhas

According to our database, Mishal Fatima Minhas authored at least 5 papers between 2020 and 2025.

Collaborative distances:

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

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

CoRR, March, 2025

Continual Learning With Neuromorphic Computing: Foundations, Methods, and Emerging Applications.

Mishal Fatima Minhas, Rachmad Vidya Wicaksana Putra, Falah Awwad, Osman Hasan, Muhammad Shafique

IEEE Access, 2025

2024

Continual Learning with Neuromorphic Computing: Theories, Methods, and Applications.

Mishal Fatima Minhas, Rachmad Vidya Wicaksana Putra, Falah Awwad, Osman Hasan, Muhammad Shafique

CoRR, 2024

2021

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

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