Hafiz ul Asad
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2014–2025
Best venue rank
A*
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | SAFECOMP | PROTECTION: Provably Robust Intrusion Detection System for IoT Through Recursive Delegation. | Riad Ibadulla, Hafiz ul Asad |
| 2020 | HCI | Understanding Human Behaviour in Flight Operation Using Eye-Tracking Technology. | Wojciech Tomasz Korek, Arthur Mendez, Hafiz ul Asad, Wen-Chin Li, Mudassir Lone |
| 2015 | DAC | Verifying inevitability of phase-locking in a charge pump phase lock loop using sum of squares programming. | Hafiz ul Asad, Kevin D. Jones |
| 2014 | DDECS | Verifying robust frequency domain properties of non linear oscillators using SMT. | Hafiz ul Asad, Kevin D. Jones, Frdric Surre |