Faiq Khalid Lodhi

13 papers A 2C 2Journal 3Unranked 6

Year	Rank	Type	Title / Venue / Authors
2017	A	`conf`	CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking. DATE Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jörg Henkel
2017	J	`jnl`	FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems. Sci. Comput. Program. Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jörg Henkel
2017	A	`conf`	Power profiling of microcontroller's instruction set for runtime hardware Trojans detection without golden circuit models. DATE Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad
2016	C	`conf`	A self-learning framework to detect the intruded integrated circuits. ISCAS Faiq Khalid Lodhi, Imran Hafeez Abbasi, Faiq Khalid, Osman Hasan, Falah R. Awwad, Syed Rafay Hasan
2016	J	`jnl`	Analyzing Vulnerability of Asynchronous Pipeline to Soft Errors: Leveraging Formal Verification. J. Electron. Test. Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad
2016	—	`conf`	Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans. FTSCS Imran Hafeez Abbasi, Faiq Khalid Lodhi, Awais Mehmood Kamboh, Osman Hasan
2016	C	`conf`	Synchronously triggered GALS design templates leveraging QDI asynchronous interfaces. ISCAS Waqas Gul, Syed Rafay Hasan, Osman Hasan, Faiq Khalid Lodhi, Falah R. Awwad
2015	—	`conf`	Formal analysis of macro synchronous micro asychronous pipeline for hardware Trojan detection. NORCAS Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad
2014	—	`conf`	Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv. FTSCS Syed Ali Asadullah Bukhari, Faiq Khalid Lodhi, Osman Hasan, Muhammad Shafique, Jörg Henkel
2014	—	`conf`	Hardware Trojan detection in soft error tolerant macro synchronous micro asynchronous (MSMA) pipeline. MWSCAS Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah Awwad
2014	—	`conf`	Low Power Soft Error Tolerant Macro Synchronous Micro Asynchronous (MSMA) Pipeline. ISVLSI Faiq Khalid Lodhi, Syed Rafay Hasan, Osman Hasan, Falah R. Awwad
2014	J	`jnl`	Timing variation aware dynamic digital phase detector for low-latency clock domain crossing. IET Circuits Devices Syst. Faiq Khalid Lodhi, Syed Rafay Hasan, Naeha Sharif, Nadra Ramzan, Osman Hasan
2012	—	`conf`	Modified null convention logic pipeline to detect soft errors in both null and data phases. MWSCAS Faiq Khalid Lodhi, Osman Hasan, Syed Rafay Hasan, Falah Awwad