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 | 44 | 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 | 30 | 2022 |
Decentralized load balancing for heterogeneous grids I Al-Azzoni, DG Down 2009 Computation World: Future Computing, Service Computation, Cognitive …, 2009 | 25 | 2009 |
Model-driven smart contract generation leveraging ChatGPT N Petrović, I Al-Azzoni International Conference On Systems Engineering, 387-396, 2023 | 16 | 2023 |
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 |
A model-driven approach for solving the software component allocation problem I Al-Azzoni, J Blank, N Petrović Algorithms 14 (12), 354, 2021 | 12 | 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 |
Test case prioritization for model transformations S Iqbal, I Al-Azzoni Journal of King Saud University-Computer and Information Sciences 34 (8 …, 2022 | 7 | 2022 |
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 |
AI-enabled framework for mobile network experimentation leveraging ChatGPT: Case study of channel capacity calculation for η-µ fading and co-channel interference D Krstic, N Petrovic, S Suljovic, I Al-Azzoni Electronics 12 (19), 4088, 2023 | 6 | 2023 |
Extending UML use case diagrams to represent non-interactive functional requirements. E-Informatica Software Engineering Journal, 14 (1), 97–115 S Iqbal, I Al-Azzoni, G Allen, HU Khan | 6 | 2020 |
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 |