A model-driven framework for design and verification of embedded systems through SystemVerilog MW Anwar, M Rashid, F Azam, M Kashif, WH Butt Design Automation for Embedded Systems 23, 179-223, 2019 | 60 | 2019 |
Model-based design verification for embedded systems through SVOCL: an OCL extension for SystemVerilog MW Anwar, M Rashid, F Azam, M Kashif Design Automation for Embedded Systems 21, 1-36, 2017 | 58 | 2017 |
Throughput/area optimised pipelined architecture for elliptic curve crypto processor M Imran, M Rashid, AR Jafri, M Kashif IET Computers & Digital Techniques 13 (5), 361-368, 2019 | 52 | 2019 |
Model-based requirements and properties specifications trends for early design verification of embedded systems M Rashid, MW Anwar, F Azam, M Kashif 2016 11th System of Systems Engineering Conference (SoSE), 1-7, 2016 | 49 | 2016 |
A Unified Model Based Framework for the Simplified Execution of Static and Dynamic Assertions Based Verification WHB Muhammad Waseem Anwar, Muhammad Rashid, Farooque Azam, Aamir Naeem ... IEEE Access 8, 104407 - 104431, 2020 | 40 | 2020 |
Hardware design and implementation of scalar multiplication in elliptic curve cryptography (ECC) over GF (2163) on FPGA M Imran, M Kashif, M Rashid 2015 International Conference on Information and Communication Technologies …, 2015 | 20 | 2015 |
The impact of cost function globality and locality in hybrid quantum neural networks on nisq devices M Kashif, S Al-Kuwari Machine Learning: Science and Technology 4 (1), 015004, 2023 | 19 | 2023 |
An optimized architecture for binary huff curves with improved security M Rashid, M Imran, M Kashif, A Sajid IEEE Access 9, 88498-88511, 2021 | 15 | 2021 |
Exploring the platform for expressing SystemVerilog assertions in model based system engineering M Rashid, MW Anwar, F Azam, M Kashif Information Science and Applications (ICISA) 2016, 533-544, 2016 | 13 | 2016 |
ResQNets: a residual approach for mitigating barren plateaus in quantum neural networks M Kashif, S Al-Kuwari EPJ Quantum Technology 11 (1), 4, 2024 | 12 | 2024 |
Determination of worst-case data using an adaptive surrogate model for real-time system M Rashid, SAB Shah, M Arif, M Kashif Journal of Circuits, Systems and Computers 29 (01), 2050005, 2020 | 12 | 2020 |
A hardware efficient elliptic curve accelerator for FPGA based cryptographic applications M Kashif, I Cicek, M Imran 2019 11th International Conference on Electrical and Electronics Engineering …, 2019 | 11 | 2019 |
Demonstrating quantum advantage in hybrid quantum neural networks for model capacity M Kashif, S Al-Kuwari 2022 IEEE international conference on rebooting computing (ICRC), 36-44, 2022 | 9 | 2022 |
Design Space Exploration of Hybrid Quantum–Classical Neural Networks M Kashif, S Al-Kuwari Electronics 10 (23), 2980, 2021 | 9 | 2021 |
Alleviating barren plateaus in parameterized quantum machine learning circuits: Investigating advanced parameter initialization strategies M Kashif, M Rashid, S Al-Kuwari, M Shafique 2024 Design, Automation & Test in Europe Conference & Exhibition (DATE), 1-6, 2024 | 7 | 2024 |
The unified effect of data encoding, ansatz expressibility and entanglement on the trainability of hqnns M Kashif, S Al-Kuwari International Journal of Parallel, Emergent and Distributed Systems 38 (5 …, 2023 | 7 | 2023 |
Field-programmable gate array (FPGA) hardware design and implementation ofa new area efficient elliptic curve crypto-processor M Kashif, I Cicek Turkish Journal of Electrical Engineering and Computer Sciences 29 (4), 2127 …, 2021 | 7 | 2021 |
Qiskit as a simulation platform for measurement-based quantum computation M Kashif, S Al-Kuwari 2022 IEEE 19th International Conference on Software Architecture Companion …, 2022 | 5 | 2022 |
Physical realization of measurement based quantum computation M Kashif, S Al-Kuwari IEEE Access 11, 90105-90130, 2023 | 3 | 2023 |
A UML profile for the service discovery in the Enterprise Cloud Bus (ECB) framework M Zahoor, F Azam, MW Anwar, N Yousaf, M Kashif Complex, Intelligent, and Software Intensive Systems: Proceedings of the …, 2020 | 3 | 2020 |