Verifying robust frequency domain properties of non linear oscillators using SMT. - Hafiz ul Asad; Kevin D. Jones; Frédéric Surre (DDECS, 2014)

Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming. - Hafiz ul Asad; Kevin D. Jones (DAC, 2015)

Inevitability of Phase-locking in a Charge Pump Phase Lock Loop using Deductive Verification. - Hafiz ul Asad; Kevin D. Jones (ACM Great Lakes Symposium on VLSI, 2015)

Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach. - Hafiz ul Asad; Kevin D. Jones (IEEE Des. Test, 2016)

Diversity in Open Source Intrusion Detection Systems. - Hafizul Asad; Ilir Gashi (SAFECOMP, 2018)

Understanding Human Behaviour in Flight Operation Using Eye-Tracking Technology. - Wojciech Tomasz Korek; Arthur Mendez; Hafiz ul Asad; Wen-Chin Li; Mudassir Lone (HCI (7), 2020)

Dynamical analysis of diversity in rule-based open source network intrusion detection systems. - Hafizul Asad; Ilir Gashi (Empir. Softw. Eng., 2022)

Enhancing IoT Security: Novel Mechanisms for Malware Detection using HPCs and Neural Networks. - Shashwat Adhikari; Hafizul Asad; Kevin D. Jones (TrustCom, 2023)