Modeling and Verification of Cryptographic Protocols Using Coloured Petri Nets and Design/CPN. - Issam Al-Azzoni; Douglas G. Down; Ridha Khédri (Nord. J. Comput., 2005)

MARO - MinDrift affinity routing for resource management in heterogeneous computing systems. - Yu-Tong He; Issam Al-Azzoni; Douglas G. Down (CASCON, 2007)

Linear Programming Based Affinity Scheduling for Heterogeneous Computing Systems. - Issam Al-Azzoni; Douglas G. Down (PDPTA, 2007)

Linear Programming-Based Affinity Scheduling of Independent Tasks on Heterogeneous Computing Systems. - Issam Al-Azzoni; Douglas G. Down (IEEE Trans. Parallel Distributed Syst., 2008)

MGST: A framework for performance evaluation of Desktop Grids. - Majd Kokaly; Issam Al-Azzoni; Douglas G. Down (IPDPS, 2009)

Dynamic scheduling for heterogeneous Desktop Grids. - Issam Al-Azzoni; Douglas G. Down (J. Parallel Distributed Comput., 2010)

Performance evaluation for software migration. - Issam Al-Azzoni; Lei Zhang 078; Douglas G. Down (ICPE, 2011)

Performance evaluation for software migration (abstracts only). - Issam Al-Azzoni; Lei Zhang 078; Douglas G. Down (SIGMETRICS Perform. Evaluation Rev., 2011)

Cost-Aware Performance Modeling of Multi-tier Web Applications in the Cloud. - Issam Al-Azzoni; Derrick Kondo (NDT (1), 2012)

Power-aware linear programming based scheduling for heterogeneous computer clusters. - Hadil Al-Daoud; Issam Al-Azzoni; Douglas G. Down (Future Gener. Comput. Syst., 2012)

Server consolidation for heterogeneous computer clusters using Colored Petri Nets and CPN Tools. - Issam Al-Azzoni (J. King Saud Univ. Comput. Inf. Sci., 2015)

ATL Transformation of Queueing Networks to Queueing Petri Nets. - Issam Al-Azzoni (MODELSWARD, 2017)

Model-to-Model based Approach for Software Component Allocation in Embedded Systems. - Lujain Al-Dakheel; Issam Al-Azzoni (MODELSWARD, 2017)

An Improved Coloured Petri Net Model for Software Component Allocation on Heterogeneous Embedded Systems. - Issam Al-Azzoni (J. Comput. Inf. Technol., 2018)

Model Driven Approach for Neural Networks. - Issam Al-Azzoni (IDSTA, 2020)

Meta-Heuristics for Solving the Software Component Allocation Problem. - Issam Al-Azzoni; Saqib Iqbal (IEEE Access, 2020)

Extending UML Use Case Diagrams to Represent Non-Interactive Functional Requirements. - Saqib Iqbal; Issam Al-Azzoni; Gary Allen; Hikmat Ullah Khan (e Informatica Softw. Eng. J., 2020)

A Utility to Transform CSV Data into EMF. - Issam Al-Azzoni; Nenad Petrovic 001; Abdullah Alqahtani 001 (SDS, 2021)

A Model-Driven Approach for Solving the Software Component Allocation Problem. - Issam Al-Azzoni; Julian Blank; Nenad Petrovic 001 (Algorithms, 2021)

A Framework for the Regression Testing of Model-to-Model Transformations. - Issam Al-Azzoni; Saqib Iqbal (e Informatica Softw. Eng. J., 2021)

On Persisting EMF Data Using Blockchains. - Issam Al-Azzoni; Nenad Petrovic 001 (IOTSMS, 2022)

Test case prioritization for model transformations. - Saqib Iqbal; Issam Al-Azzoni (J. King Saud Univ. Comput. Inf. Sci., 2022)

Model-Driven Approach for Generating Smart Contracts for Access Control. - Issam Al-Azzoni; Saqib Iqbal (BCCA, 2023)

Data Analytics on Blockchains. - Issam Al-Azzoni; Saqib Iqbal; Nenad Petrovic 001 (ICBC, 2023)

Modelling Multi-Party Role-Based Access Control Policies for iContractML Smart Contracts. - Issam Al-Azzoni; Reiko Heckel (ASEW, 2023)

Can I Teach Graph Rewriting to My Chatbot? - Reiko Heckel; Issam Al-Azzoni (ICGT, 2024)

Access Control Verification in Smart Contracts Using Colored Petri Nets. - Issam Al-Azzoni; Saqib Iqbal (Comput., 2024)

Test Case Generation from Graph Transformation Systems Using Deep Reinforcement Learning. - Simin Ghasemi; Vahid Rafe; Mohammad Mehrabi; Reiko Heckel; Issam Al-Azzoni (ICGT, 2025)

Dynamic Role-Based Access Control Scenarios for Smart Contracts: Graph Rewriting for Testing Domain-specific Models. - Issam Al-Azzoni; Reiko Heckel; Zobia Erum (J. Object Technol., 2025)