Trosolwg
Cwblhaodd Dr Ijaz Ahmed ei M.Sc mewn Peirianneg Meddalwedd a PhD mewn Peirianneg Gwybodeg o Brifysgol Queen Mary Llundain a Phrifysgol Madeira Portiwgal, a’i astudiaethau ôl-ddoethurol o Sefydliad Technoleg Ulsan Corea a Greenwich University UK. Ar hyn o bryd, mae'n gweithio fel Darlithydd ym Mhrifysgol Met Caerdydd. Cyn hynny, bu Ijaz yn gweithio fel aelod cyfadran yng Ngholeg Technoleg Uwch Emiradau Arabaidd Unedig, Prifysgol Technoleg a Gwyddorau Cymhwysol Oman a Phrifysgol COMSATS Pacistan. Yn ogystal â hyn, bu hefyd yn gweithio mewn gwahanol gwmnïau meddalwedd yn ystod y cyfnod 1999 i 2003.
Cyhoeddiadau Ymchwil
Crypto-contagion and capital flows: Interconnectedness across emerging and traditional cryptocurrencies, ethical equities, and regional markets
Ahmed, I. & Khan, M. H., 15 Rhag 2025, Yn: International Review of Economics & Finance. 105, t. 104834 1 t.Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid
An Orthogonal Learning Bird Swarm Algorithm for Optimal Power Flow Problems
Ahmad, M., Javaid, N., Niaz, I. A., Ahmed, I. & Hashmi, M. A., 6 Maw 2023, Yn: IEEE Access. 11, t. 23659–23680Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid
Localized Text-Free User Interfaces
Ilyas, Q. M., Ahmad, M., Zaman, N., Alshamari, M. A. & Ahmed, I., 30 Rhag 2021, Yn: IEEE Access. 10, t. 2357–2371Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid
Sip4J: Statically Inferring Access Permission Contracts for Parallelising Sequential Java Programs
Sadiq, A., Li, L., Li, Y.-F., Ahmed, I. & Ling, S., 9 Ion 2020, 2019 34th IEEE/ACM International Conference on Automated Software Engineering (ASE). IEEE Computer Society, t. 1098–1101Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion Cynhadledd › Cyfraniad mewn cynhadledd › adolygiad gan gymheiriaid
Checking JML-encoded finite state machine properties
Ahmed, I. & Catano, N., 9 Ebr 2018, 2018 International Conference on Advancements in Computational Sciences (ICACS). IEEE Computer Society, t. 1–9Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion Cynhadledd › Cyfraniad mewn cynhadledd › adolygiad gan gymheiriaid
Voice morphing: An illusion or reality
Ahmed, I., Sadiq, A., Atif, M., Naseer, M. & Adnan, M., 9 Ebr 2018, 2018 International Conference on Advancements in Computational Sciences (ICACS). IEEE Computer Society, t. 1-6 6 t. (2018 International Conference on Advancements in Computational Sciences (ICACS’18)).Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion Cynhadledd › Cyfraniad mewn cynhadledd › adolygiad gan gymheiriaid
Extracting Permission-Based Specifications from a Sequential Java Program
Sadiq, A., Li, Y.-F., Ling, S. & Ahmed, I., 1 Tach 2016, 2016 21st International Conference on Engineering of Complex Computer Systems (ICECCS). IEEE Computer Society, t. 215–218Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion Cynhadledd › Cyfraniad mewn cynhadledd › adolygiad gan gymheiriaid
A case study on the lightweight verification of a multi-threaded task server
Cataño, N., Ahmed, I., Siminiceanu, R. I. & Aldrich, J., 8 Chwef 2013, Yn: Science of Computer Programming. 80, t. 169–187Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid
Automated Verification of Specifications with Typestates and Access Permissions
Siminiceanu, R., Ahmed, I. & Catano, N., 13 Rhag 2012, Yn: Electronic Communications of the EASST. 53Allbwn ymchwil: Cyfraniad at gyfnodolyn › Erthygl › adolygiad gan gymheiriaid
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. (gol.). Springer Berlin Heidelberg, t. 6–20 (Lecture Notes in Computer Science; Cyfrol 6959).Allbwn ymchwil: Pennod mewn Llyfr/Adroddiad/Trafodion Cynhadledd › Pennod › adolygiad gan gymheiriaid