| 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 | 11 | 2016 |
| 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 | 9 | 2018 |
| Integer cat swarm optimization algorithm for multiobjective integer problems S Ali Murtza, A Ahmad, J Shafique Soft Computing 24 (3), 1927-1955, 2020 | 7 | 2020 |
| A multi-objective integer melody search algorithm J Shafique, A Ahmad, SA Murtza Applied Artificial Intelligence 33 (3), 208-228, 2019 | 6 | 2019 |
| 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 | 4 | 2019 |
| 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 | 2 | 2020 |
| Aag: An automatic assertion generation framework for rtl designs SA Murtza, O Hasan, K Saghar 2018 International Conference on Computing, Mathematics and Engineering …, 2018 | 2 | 2018 |
| 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 | 1 | 2019 |
| 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, ... | | |
Ayaz AhmadAssociate Professor, King Faisal University, COMSATS University Islamabad - Wah Campus (on-leave)Email yang diverifikasi di kfu.edu.sa
