A Hardware Architecture for Difference of Gaussian Calculation in Image Feature Extraction. - Syed Ali Asadullah Bukhari; Sohail Iqbal 001 (FIT, 2014)

Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-core Systems Using nuXmv. - Syed Ali Asadullah Bukhari; Faiq Khalid Lodhi; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (FTSCS, 2014)

CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking. - Syed Ali Asadullah Bukhari; Faiq Khalid Lodhi; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (DATE, 2017)

FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems. - Syed Ali Asadullah Bukhari; Faiq Khalid Lodhi; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (Sci. Comput. Program., 2017)

Toward Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques Under Multithreaded Workloads. - Syed Ali Asadullah Bukhari; Faiq Khalid; Osman Hasan; Muhammad Shafique 001; Jörg Henkel (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020)

Creating a Formally Verified Neural Network for Autonomous Navigation: An Experience Report. - Syed Ali Asadullah Bukhari; Thomas Flinkow; Medet Inkarbekov; Barak A. Pearlmutter; Rosemary Monahan (FMAS@iFM, 2024)