Login / Signup
Hafiz ul Asad
ORCID
Publication Activity (10 Years)
Years Active: 2014-2020
Publications (10 Years): 2
Top Topics
Deductive Reasoning
Frequency Domain
Affine Invariance
Training Phase
Top Venues
IEEE Des. Test
HCI (7)
DDECS
ACM Great Lakes Symposium on VLSI
</>
Publications
</>
Wojciech Tomasz Korek
,
Arthur Mendez
,
Hafiz ul Asad
,
Wen-Chin Li
,
Mudassir Lone
Understanding Human Behaviour in Flight Operation Using Eye-Tracking Technology.
HCI (7)
(2020)
Hafiz ul Asad
,
Kevin D. Jones
Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach.
IEEE Des. Test
33 (5) (2016)
Hafiz ul Asad
,
Kevin D. Jones
Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming.
DAC
(2015)
Hafiz ul Asad
,
Kevin D. Jones
Inevitability of Phase-locking in a Charge Pump Phase Lock Loop using Deductive Verification.
ACM Great Lakes Symposium on VLSI
(2015)
Hafiz ul Asad
,
Kevin D. Jones
,
Frédéric Surre
Verifying robust frequency domain properties of non linear oscillators using SMT.
DDECS
(2014)