Syed Ali Asadullah Bukhari

???????????????????????????????
 
http://save.seecs.nust.edu.pk/saabukhari/
ali.asadullah@seecs.edu.pk
Phone : +92 51 9085 2086
Address : SAVe Lab, PG Block, NUST SEECS, Sector H-12, Islamabad 44000, Pakistan
 
Flag Counter

Research Assistant

System Analysis and Verification (SAVe) Lab

PhD Student

NUST School of Electrical Engineering and Computer Sciences

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.

Projects

 

Publications

  1. 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.

  2. 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.

  3. 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.