Dr Syed Ali Asadullah Bukhari
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.