Optimizing energy and throughput for MPSoCs: an integer particle swarm optimization approach. - Shahid Ali Murtza; Ayaz Ahmad; Muhammad Yasir Qadri; Nadia N. Qadri; Jameel Ahmed (Computing, 2018)

On the formalization of importance measures using HOL theorem proving. - Waqar Ahmad; Shahid Ali Murtza; Osman Hasan; Sofiène Tahar (FormaliSE@ICSE, 2019)

A Multi-Objective Integer Melody Search Algorithm. - Jawad Shafique; Ayaz Ahmad; Shahid Ali Murtza (Appl. Artif. Intell., 2019)

Scalable, energy-aware system modeling and application-specific reconfiguration of MPSocs with a type-2 fuzzy logic system. - Ishfaq Hussain; Shahid Ali Murtza; Muhammad Yasir Qadri; Martin Fleury; Nadia N. Qadri (Comput. Electr. Eng., 2019)

On the Formalization of Importance Measures using HOL Theorem Proving. - Waqar Ahmed; Shahid Ali Murtza; Osman Hasan; Sofiène Tahar (CoRR, 2019)

An Integer Cat Swarm Optimization Approach for Energy and Throughput Efficient MPSoC Design. - Shahid Ali Murtza; Ayaz Ahmad; Muhammad Yasir Qadri; Nadia N. Qadri; Majed Alhaisoni; Sajid Baloch (Int. J. Comput. Intell. Syst., 2020)

Integer cat swarm optimization algorithm for multiobjective integer problems. - Shahid Ali Murtza; Ayaz Ahmad; Jawad Shafique (Soft Comput., 2020)

Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving. - Shahid Ali Murtza; Waqar Ahmed; Adnan Rashid; Osman Hasan (CoRR, 2021)