Shahid Ali Murtza

According to our database, Shahid Ali Murtza authored at least 8 papers between 2018 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving.

Shahid Ali Murtza, Waqar Ahmed, Adnan Rashid, Osman Hasan

CoRR, 2021

2020

Integer cat swarm optimization algorithm for multiobjective integer problems.

Shahid Ali Murtza, Ayaz Ahmad, Jawad Shafique

Soft Comput., 2020

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

2019

On the Formalization of Importance Measures using HOL Theorem Proving.

Waqar Ahmed, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar

CoRR, 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

A Multi-Objective Integer Melody Search Algorithm.

Jawad Shafique, Ayaz Ahmad, Shahid Ali Murtza

Appl. Artif. Intell., 2019

On the formalization of importance measures using HOL theorem proving.

Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar

Proceedings of the 7th International Workshop on Formal Methods in Software Engineering, 2019

2018

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