Overview
Dr Ijaz Ahmed completed his M.Sc in Software Engineering and PhD in Informatics Engineering from Queen Mary University London and University of Madeira Portugal, respectively. Dr Ijaz done his postdocs from Ulsan Institute of Technology Korea and Greenwich University UK. Currently, he is working as Lecturer in the Cardiff Met University. Previously, Ijaz worked as a faculty member in Higher College Technology UAE, University of Technology and Applied Sciences Oman and COMSATS University Pakistan. Besides this, he also worked in different software companies during the period 1999 to 2003.
Research Publications
An Orthogonal Learning Bird Swarm Algorithm for Optimal Power Flow Problems
Ahmad, M., Javaid, N., Niaz, I. A., Ahmed, I. & Hashmi, M. A., 6 Mar 2023, In: IEEE Access. 11, p. 23659–23680Research output: Contribution to journal › Article › peer-review
Localized Text-Free User Interfaces
Ilyas, Q. M., Ahmad, M., Zaman, N., Alshamari, M. A. & Ahmed, I., 30 Dec 2021, In: IEEE Access. 10, p. 2357–2371Research output: Contribution to journal › Article › peer-review
Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs
Sadiq, A., Li, L., Li, Y.-F., Ahmed, I. & Ling, S., 9 Jan 2020, 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE Computer Society, p. 1098–1101Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Checking JML-encoded finite state machine properties
Ahmed, I. & Catano, N., 9 Apr 2018, 2018 International Conference on Advancements in Computational Sciences (ICACS). IEEE Computer Society, p. 1–9Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Voice morphing: An illusion or reality
Ahmed, I., Sadiq, A., Atif, M., Naseer, M. & Adnan, M., 9 Apr 2018, 2018 International Conference on Advancements in Computational Sciences (ICACS). IEEE Computer Society, p. 1-6 6 p. (2018 International Conference on Advancements in Computational Sciences (ICACS’18)).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Extracting Permission-Based Specifications from a Sequential Java Program
Sadiq, A., Li, Y.-F., Ling, S. & Ahmed, I., 1 Nov 2016, 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS). IEEE Computer Society, p. 215–218Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
A case study on the lightweight verification of a multi-threaded task server
Cataño, N., Ahmed, I., Siminiceanu, R. I. & Aldrich, J., 8 Feb 2013, In: Science of Computer Programming. 80, p. 169–187Research output: Contribution to journal › Article › peer-review
Automated Verification of Specifications with Typestates and Access Permissions
Siminiceanu, R., Ahmed, I. & Catano, N., 13 Dec 2012, In: Electronic Communications of the EASST. 53Research output: Contribution to journal › Article › peer-review
Lightweight Verification of a Multi-Task Threaded Server: A Case Study With The Plural Tool
Cataño, N. & Ahmed, I., 2011, Formal Methods for Industrial Critical Systems: 16th International Workshop, FMICS 2011, Trento, Italy, August 29-30, 2011, Proceedings. Salaün, G. & Schätz, B. (eds.). Springer Berlin Heidelberg, p. 6–20 (Lecture Notes in Computer Science; vol. 6959).Research output: Chapter in Book/Report/Conference proceeding › Chapter › peer-review