Follow
Shahid Ali Murtza
Shahid Ali Murtza
NUST-SEECS, Islamabad
Verified email at seecs.edu.pk
Title
Cited by
Cited by
Year
Optimizing energy and throughput for mpsocs: an integer particle swarm optimization approach
SA Murtza, A Ahmad, MY Qadri, NN Qadri, J Ahmed
Computing 100, 227-244, 2018
82018
Vertgen: An automatic verilog testbench generator for generic circuits
SA Murtza, O Hasan, K Saghar
2016 International Conference on Emerging Technologies (ICET), 1-5, 2016
62016
Integer cat swarm optimization algorithm for multiobjective integer problems
S Ali Murtza, A Ahmad, J Shafique
Soft Computing 24 (3), 1927-1955, 2020
52020
A multi-objective integer melody search algorithm
J Shafique, A Ahmad, SA Murtza
Applied Artificial Intelligence 33 (3), 208-228, 2019
42019
Scalable, energy-aware system modeling and application-specific reconfiguration of MPSocs with a type-2 fuzzy logic system
I Hussain, SA Murtza, MY Qadri, M Fleury, NN Qadri
Computers & Electrical Engineering 74, 292-304, 2019
32019
An integer cat swarm optimization approach for energy and throughput efficient MPSoC design
SA Murtza, A Ahmad, M Yasir Qadri, NN Qadri, M Alhaisoni, S Baloch
International Journal of Computational Intelligence Systems 13 (1), 864-874, 2020
22020
Aag: An automatic assertion generation framework for rtl designs
SA Murtza, O Hasan, K Saghar
2018 International Conference on Computing, Mathematics and Engineering …, 2018
22018
On the formalization of importance measures using HOL theorem proving
W Ahmad, SA Murtza, O Hasan, S Tahar
2019 IEEE/ACM 7th International Conference on Formal Methods in Software …, 2019
12019
Towards the formal performance analysis of multistate coherent systems using HOL theorem proving
SA Murtza, W Ahmed, A Rashid, O Hasan
Proceedings of the Institution of Mechanical Engineers, Part O: Journal of …, 2023
2023
Tran, Hoang-Dung 51 Xiang, Weiming 51 Yalcinkaya, Beyazit 31
X Yang, K Chalmers, P Collet, M Cordy, M Famelis, MJ Frade, M Gario, ...
The system can't perform the operation now. Try again later.
Articles 1–10