Dr Syed Ali Asadullah Bukhari

Computer Science

Post Doctoral Researcher

Biography

I am currently a post doctoral researcher in MAIVV project in Computer Science Department/Hamilton Institute at Maynooth University.

Research Interests

Formal Verification

TinyML

Verification of AI systems

Peer Reviewed Journal

Year Publication
2020 Bukhari, S.A.A.; Khalid, F.; Hasan, O.; Shafique, M.; Henkel, J. (2020) 'Toward Model Checking-Driven Fair Comparison of Dynamic Thermal Management Techniques under Multithreaded Workloads'. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 39 . [Link] [DOI]
2017 Bukhari, S.A.A.; Lodhi, F.K.; Hasan, O.; Shafique, M.; Henkel, J. (2017) 'FAMe-TM: Formal analysis methodology for task migration algorithms in Many-Core systems'. Science of Computer Programming, 133 . [Link] [DOI]

Conference Publication

Year Publication
2017 Bukhari, S.A.A.; Lodhi, F.K.; Hasan, O.; Shafique, M.; Henkel, J. (2017) Proceedings of the 2017 Design, Automation and Test in Europe, DATE 2017 CAnDy-TM: Comparative analysis of dynamic thermal management in many-cores using model checking [Link] [DOI]
2015 Bukhari, S.A.A.; Lodhi, F.K.; Hasan, O.; Shafique, M.; Henkel, J. (2015) Formal Verification of Distributed Task Migration for Thermal Management in On-Chip Multi-Core Systems Using nuXmv [Link] [DOI]
2014 Bukhari, S.A.A.; Iqbal, S. (2014) Proceedings - 12th International Conference on Frontiers of Information Technology, FIT 2014 A Hardware Architecture for Difference of Gaussian Calculation in Image Feature Extraction [Link] [DOI]
Certain data included herein are derived from the © Web of Science (2024) of Clarivate. All rights reserved.