Modeling and verification of cryptographic protocols using coloured petri nets and design/CPN I Al-Azzoni, DG Down, R Khédri 2nd International Workshop on Model-based Methodologies for Pervasive and …, 2005 | 62 | 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 | 42 | 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 | 41 | 2008 |
Dynamic scheduling for heterogeneous desktop grids I Al-Azzoni, DG Down Journal of Parallel and Distributed Computing 70 (12), 1231-1240, 2010 | 40 | 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 (1), 4140522, 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 | 14 | 2020 |
The verification of cryptographic protocols using coloured Petri nets I Al-Azzoni | 13 | 2004 |
Model-driven smart contract generation leveraging ChatGPT N Petrović, I Al-Azzoni International Conference On Systems Engineering, 387-396, 2023 | 11 | 2023 |
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 | 9 | 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 |
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 |
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 | 7 | 2021 |
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 | 7 | 2021 |
Test case prioritization for model transformations S Iqbal, I Al-Azzoni Journal of King Saud University-Computer and Information Sciences 34 (8 …, 2022 | 6 | 2022 |
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 |