Syed Ali Asadullah Bukhari

Please use one of the options below to find details of a member of staff, or associate, from any Academic Department or University Office.

Organisational unit (field_organisational_unit)

Dr Syed Ali Asadullah Bukhari

Post Doctoral Researcher

Email Ali.Bukhari@mu.ie

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

Formal Verification

TinyML

Verification of AI systems

	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]

	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]