Shahid Ali Murtza

Publication Activity (10 Years)

Years Active: 2018-2021
Publications (10 Years): 8

Top Topics

Automated Deduction

Theorem Proving

Swarm Optimization

Top Venues

Comput. Electr. Eng.

Publications

Shahid Ali Murtza, Waqar Ahmed, Adnan Rashid, Osman Hasan
Towards the Formal Performance Analysis of Multistate Coherent Systems using HOL Theorem Proving. CoRR (2021)
Shahid Ali Murtza, Ayaz Ahmad, Jawad Shafique
Integer cat swarm optimization algorithm for multiobjective integer problems. Soft Comput. 24 (3) (2020)
Shahid Ali Murtza, Ayaz Ahmad, Muhammad Yasir Qadri, Nadia N. Qadri, Majed Alhaisoni, Sajid Baloch
An Integer Cat Swarm Optimization Approach for Energy and Throughput Efficient MPSoC Design. Int. J. Comput. Intell. Syst. 13 (1) (2020)
Waqar Ahmad, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar
On the formalization of importance measures using HOL theorem proving. FormaliSE@ICSE (2019)
Waqar Ahmed, Shahid Ali Murtza, Osman Hasan, Sofiène Tahar
On the Formalization of Importance Measures using HOL Theorem Proving. CoRR (2019)
Jawad Shafique, Ayaz Ahmad, Shahid Ali Murtza
A Multi-Objective Integer Melody Search Algorithm. Appl. Artif. Intell. 33 (3) (2019)
Ishfaq Hussain, Shahid Ali Murtza, Muhammad Yasir Qadri, Martin Fleury, Nadia N. Qadri
Scalable, energy-aware system modeling and application-specific reconfiguration of MPSocs with a type-2 fuzzy logic system. Comput. Electr. Eng. 74 (2019)
Shahid Ali Murtza, Ayaz Ahmad, Muhammad Yasir Qadri, Nadia N. Qadri, Jameel Ahmed
Optimizing energy and throughput for MPSoCs: an integer particle swarm optimization approach. Computing 100 (3) (2018)