| Modeling and verification of cryptographic protocols using coloured petri nets and design/CPN I Al-Azzoni, DG Down, R Khédri Nord. J. Comput. 12 (3), 200-228, 2005 | 61 | 2005 |
| Power-aware linear programming based scheduling for heterogeneous computer clusters H Al-Daoud, I Al-Azzoni, DG Down Future Generation Computer Systems 28 (5), 745-754, 2012 | 41 | 2012 |
| Linear programming-based affinity scheduling of independent tasks on heterogeneous computing systems I Al-Azzoni, DG Down IEEE Transactions on Parallel and Distributed Systems 19 (12), 1671-1682, 2008 | 40 | 2008 |
| Dynamic scheduling for heterogeneous desktop grids I Al-Azzoni, DG Down Journal of Parallel and Distributed Computing 70 (12), 1231-1240, 2010 | 38 | 2010 |
| Model-driven approach to fading-aware wireless network planning leveraging multiobjective optimization and deep learning D Krstić, N Petrović, I Al-Azzoni Mathematical Problems in Engineering 2022, 2022 | 25 | 2022 |
| Decentralized load balancing for heterogeneous grids I Al-Azzoni, DG Down 2009 Computation World: Future Computing, Service Computation, Cognitive …, 2009 | 25 | 2009 |
| Extending UML use case diagrams to represent non-interactive functional requirements S Iqbal, I Al-Azzoni, G Allen, HU Khan E-Informatica Software Engineering Journal 14 (1), 97-115, 2020 | 13 | 2020 |
| The verification of cryptographic protocols using coloured Petri nets I Al-Azzoni | 13 | 2004 |
| A model-driven approach for solving the software component allocation problem I Al-Azzoni, J Blank, N Petrović Algorithms 14 (12), 354, 2021 | 10 | 2021 |
| Server consolidation for heterogeneous computer clusters using Colored Petri Nets and CPN Tools I Al-Azzoni Journal of King Saud University-Computer and Information Sciences 27 (4 …, 2015 | 10 | 2015 |
| Performance evaluation for software migration I Al-Azzoni, L Zhang, DG Down Proceedings of the 2nd ACM/SPEC International Conference on Performance …, 2011 | 9 | 2011 |
| Meta-heuristics for solving the software component allocation problem I Al-Azzoni, S Iqbal IEEE Access 8, 153067-153076, 2020 | 8 | 2020 |
| Model-driven smart contract generation leveraging ChatGPT N Petrović, I Al-Azzoni International Conference On Systems Engineering, 387-396, 2023 | 7 | 2023 |
| Base station anomaly prediction leveraging model-driven framework for classification in Neo4j N Petrovic, I Al-Azzoni, D Krstic, A Alqahtani 2022 International Conference on Broadband Communications for Next …, 2022 | 7 | 2022 |
| Model-driven multi-objective optimization approach to 6G network planning N Petrović, I Al-Azzoni, J Blank 2021 15th International Conference on Advanced Technologies, Systems and …, 2021 | 6 | 2021 |
| Cost-aware performance modeling of multi-tier web applications in the cloud I Al-Azzoni, D Kondo Networked Digital Technologies: 4th International Conference, NDT 2012 …, 2012 | 6 | 2012 |
| MGST: A framework for performance evaluation of desktop grids M Kokaly, I Al-Azzoni, DG Down 2009 IEEE International Symposium on Parallel & Distributed Processing, 1-8, 2009 | 6 | 2009 |
| MARO-MinDrift affinity routing for resource management in heterogeneous computing systems YT He, I Al-Azzoni, D Down Proceedings of the 2007 conference of the center for advanced studies on …, 2007 | 6 | 2007 |
| Test case prioritization for model transformations S Iqbal, I Al-Azzoni Journal of King Saud University-Computer and Information Sciences 34 (8 …, 2022 | 5 | 2022 |
| A utility to transform CSV data into EMF I Al-Azzoni, N Petrovic, A Alqahtani 2021 Eighth International Conference on Software Defined Systems (SDS), 1-6, 2021 | 4 | 2021 |
