Sign in
Mishal Fatima Minhas
Publication Activity (10 Years)
Years Active: 2019-2021
Publications (10 Years): 3
Top Topics
Linear Threshold
Corner Detectors
Neural Network
Formal Analysis
Top Venues
CoRR
J. Electron. Test.
DATE
</>
Publications
</>
Mishal Fatima Minhas
,
Osman Hasan
,
Sa'ed Abed
HVoC: a Hybrid Model Checking - Interactive Theorem Proving Approach for Functional Verification of Digital Circuits.
J. Electron. Test.
37 (4) (2021)
Mahum Naseer
,
Mishal Fatima Minhas
,
Faiq Khalid
,
Muhammad Abdullah Hanif
,
Osman Hasan
,
Muhammad Shafique
FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks.
DATE
(2020)
Mahum Naseer
,
Mishal Fatima Minhas
,
Faiq Khalid
,
Muhammad Abdullah Hanif
,
Osman Hasan
,
Muhammad Shafique
FANNet: Formal Analysis of Noise Tolerance, Training Bias and Input Sensitivity in Neural Networks.
CoRR
(2019)