Login / Signup
Iram Tariq Bhatti
Publication Activity (10 Years)
Years Active: 2020-2022
Publications (10 Years): 2
Top Topics
Noise Free
Formal Verification
Temporal Logic
Completely Automated
Top Venues
ISQED
Commun. ACM
</>
Publications
</>
Iram Tariq Bhatti
,
Mahum Naseer
,
Muhammad Shafique
,
Osman Hasan
A formal approach to identifying the impact of noise on neural networks.
Commun. ACM
65 (11) (2022)
Iram Tariq Bhatti
,
Osman Hasan
Formal Verification of a Fully Automated Out-of-Plane Cell Injection System.
ISQED
(2020)