Mishal Fatima Minhas

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

Collaborative distances:

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

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