Issam Al-Azzoni
Title
Cited by
Cited by
Year
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
622005
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
392012
Dynamic scheduling for heterogeneous desktop grids
I Al-Azzoni, DG Down
Journal of Parallel and Distributed Computing 70 (12), 1231-1240, 2010
372010
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
362008
Decentralized load balancing for heterogeneous grids
I Al-Azzoni, DG Down
2009 Computation World: Future Computing, Service Computation, Cognitive …, 2009
242009
The verification of cryptographic protocols using coloured Petri nets
I Al-Azzoni
122004
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
102015
Performance evaluation for software migration
I Al-Azzoni, L Zhang, DG Down
Proceedings of the 2nd ACM/SPEC International Conference on Performance …, 2011
102011
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
62007
Cost-aware performance modeling of multi-tier web applications in the cloud
I Al-Azzoni, D Kondo
International Conference on Networked Digital Technologies, 186-196, 2012
52012
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
52009
ATL Transformation of Queueing Networks to Queueing Petri Nets.
I Al-Azzoni
MODELSWARD, 261-268, 2017
42017
Model-to-Model based Approach for Software Component Allocation in Embedded Systems.
L Al-Dakheel, I Al-Azzoni
MODELSWARD, 320-328, 2017
32017
An improved coloured Petri net model for software component allocation on heterogeneous embedded systems
I Al-Azzoni
Journal of computing and information technology 26 (2), 85-97, 2018
12018
On Utilizing Model Transformation for the Performance Analysis of Queueing Networks
I Al-Azzoni
Journal of Software Engineering and Applications 11 (9), 435-457, 2018
12018
PELE-an MVA-based performance evaluation methodology for computer system migration
L Zhang, I Al-Azzoni, DG Down
Technical Report CAS-13-03-DD, McMaster University, 2013
12013
A Framework for the Regression Testing of Model-to-Model Transformations
I Al-Azzoni, S Iqbal
e-Informatica Software Engineering Journal 15 (1), 2021
2021
Model Driven Approach for Neural Networks
I Al-Azzoni
2020 International Conference on Intelligent Data Science Technologies and …, 2020
2020
Meta-Heuristics for Solving the Software Component Allocation Problem
I Al-Azzoni, S Iqbal
IEEE Access 8, 153067-153076, 2020
2020
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), 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–20