Hafiz ul Asad

According to our database, Hafiz ul Asad authored at least 7 papers between 2014 and 2022.

Collaborative distances:

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

2022

Dynamical analysis of diversity in rule-based open source network intrusion detection systems.

Hafizul Asad, Ilir Gashi

Empir. Softw. Eng., 2022

2020

Understanding Human Behaviour in Flight Operation Using Eye-Tracking Technology.

Wojciech Tomasz Korek, Arthur Mendez, Hafiz ul Asad, Wen-Chin Li, Mudassir Lone

Proceedings of the Engineering Psychology and Cognitive Ergonomics. Cognition and Design, 2020

2018

Diversity in Open Source Intrusion Detection Systems.

Hafizul Asad, Ilir Gashi

Proceedings of the Computer Safety, Reliability, and Security, 2018

2016

Verifying Inevitability of Oscillation in Ring Oscillators Using the Deductive SOS-QE Approach.

Hafiz ul Asad, Kevin D. Jones

IEEE Des. Test, 2016

2015

Inevitability of Phase-locking in a Charge Pump Phase Lock Loop using Deductive Verification.

Hafiz ul Asad, Kevin D. Jones

Proceedings of the 25th edition on Great Lakes Symposium on VLSI, GLVLSI 2015, Pittsburgh, PA, USA, May 20, 2015

Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming.

Hafiz ul Asad, Kevin D. Jones

Proceedings of the 52nd Annual Design Automation Conference, 2015

2014

Verifying robust frequency domain properties of non linear oscillators using SMT.

Hafiz ul Asad, Kevin D. Jones, Frédéric Surre

Proceedings of the 17th International Symposium on Design and Diagnostics of Electronic Circuits & Systems, 2014