Mishal Fatima Minhas

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

Collaborative distances:

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

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