Faiq Khalid Lodhi

13 papers A 2C 2Journal 3Unranked 6
YearRankTypeTitle / 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