Phone : +92 51 9085 2086
Address : SAVe Lab, PG Block, NUST SEECS, Sector H-12, Islamabad 44000, Pakistan
I am a PhD candidate in Electrical Engineering department of NUST School of Electrical Engineering and Computer Sciences under the supervision of Dr. Osman Hasan . My main research interests include Formal Verification of Resource Management and Dynamic Thermal Management for many-core systems.
S. A. A. Bukhari, F. K. Lodhi, O. Hasan, M. Shafique and J. Henkel, “CAnDy-TM: Comparative Analysis of Dynamic Thermal Management in Many-Cores using Model Checking”, Design, Automation and Test in Europe (DATE-2017), Swisstech, Laussane, Switzerland, To Appear.
S. A. A. Bukhari, F. K. Lodhi, O. Hasan, M. Shafique and J. Henkel, “FAMe-TM: Formal Analysis Methodology for Task Migration Algorithms in Many-Core Systems”, Science of Computer Programming, Elsevier, 133P2, 2017, pp. 154-174.
S. A. A. Bukhari, F. K. Lodhi, O. Hasan, M.Shafique and J..Henkel, “Formal Verification of Distributed Task Migration for Thermal Management in On-chip Multi-core Systems using nuXmv”, Third International Workshop on Formal Techniques for Safety-Critical Systems (FTSCS 2014), Luxembourg City, Luxembourg, 2014, pp 32-46.