Education

• Ph.D. in Software Engineering, McMaster University, Canada
• Master of Applied Sciences in Software Engineering, McMaster University, Canada
• Bachelor of Engineering (Software Engineering), McMaster University, Canada

Research Interests

• Applications of formal methods and machine learning in software engineering
• Software modeling
• Model transformations
• Software performance engineering and Data Science
• Smart Contracts and Blockchains.

Selected Publications

• I. Al-Azzoni and S. Iqbal. Access Control Verification in Smart Contracts Using Colored Petri Nets. Computers 2024, 13(11), 274.
• D. Krstić, N. Petrović, S. Suljovic and I. Al-Azzoni. AI-Enabled Framework for Mobile Network Experimentation Leveraging ChatGPT: Case Study of Channel Capacity Calculation for η-µ Fading and Co-Channel Interference. Electronics 2023, 12(19), 4088.
• Dragana Krstić, Nenad Petrović, and I. Al-Azzoni. Model-Driven Approach to Fading-Aware Wireless Network Planning Leveraging Multiobjective Optimization and Deep Learning. Mathematical Problems in Engineering. 2022.
• I. Al-Azzoni, J. Blank, and N. Petrović.  A Model-Driven Approach for Solving the Software Component Allocation Problem. Algorithms, 14(12), 354, 2021.
• Saqib Iqbal and I. Al-Azzoni. Test Case Prioritization for Model Transformations. Journal of King Saud University - Computer and Information Sciences. 2021.
• I. Al-Azzoni ad S. Iqbal. A Framework for the Regression Testing of Model-to-Model Transformations. e-Informatica Software Engineering Journal. 15(1), 65–84, 2021.
• I. Al-Azzoni and S. Iqbal. Meta-Heuristics for Solving the Software Component Allocation Problem. IEEE Access. 2020. doi: 10.1109/ACCESS.2020.3015864.
• S. Iqbal, I. Al-Azzoni, G. Allen, H.U. Khan. Extending UML Use Case Diagrams to Represent Non-Interactive Functional Requirements. e-Informatica Software Engineering Journal. 14(1), 97-115, 2020.
• I. Al-Azzoni. On Utilizing Model Transformation for the Performance Analysis of Queueing Networks. Journal of Software Engineering and Applications. 11(9): 435-457, 2018.
• I. Al-Azzoni. An Improved Coloured Petri Net Model for Software Component Allocation on Heterogeneous Embedded Systems. Journal of Computing and Information Technology. 26(2): 85-97, 2018.
• I. Al-Azzoni. Server Consolidation for Heterogeneous Computer Clusters Using Coloured Petri Nets and CPN Tools. Journal of King Saud University - Computer and Information Sciences, 27(4): 376-385, 2015.

Teaching Courses

• Software Evolution and Maintenance
• Introduction to Artificial Intelligence
• Ethical Hacking
• Software Measurement and Testing
• Data Structures and Algorithms

Memberships

IEEE: Institute of Electrical and Electronics Engineers – Senior Member

 

Expertise related to UN Sustainable Development Goals

In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all.

This person’s work contributes towards the following SDG(s):