| 2021 | MODELSWARD | SRCM: A Semi Formal Requirements Representation Model Enabling System Visualisation and Quality Checking. | Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek, John Grundy, Amani S. Ibrahim |
| 2021 | MODELSWARD | RCM: Requirement Capturing Model for Automated Requirements Formalisation. | Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John Grundy, Amani S. Ibrahim |
| 2021 | MODELSWARD | RCM-Extractor: Automated Extraction of a Semi Formal Representation Model from Natural Language Requirements. | Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John Grundy, Amani S. Ibrahim |
| 2021 | RE | DBRG: Description-Based Non-Quality Requirements Generator. | Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim |
| 2021 | RE | Enhancing NL Requirements Formalisation Using a Quality Checking Model. | Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim |
| 2021 | RE | ARF: Automatic Requirements Formalisation Tool. | Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim |
| 2021 | SEKE | Requirements Formality Levels Analysis and Transformation of Formal Notations into Semi-formal and Informal Notations (S). | Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim |
| 2021 | REFSQ | CORG: A Component-Oriented Synthetic Textual Requirements Generator. | Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim |
| 2018 | ICSE | Vision: mobile ehealth learning and intervention platform. | Mohamed Abdelrazek, Amani S. Ibrahim, Andrew Cain, John Grundy |
| 2015 | ICECCS | Improving Tenants' Trust in SaaS Applications Using Dynamic Security Monitors. | Mohamed Almorsy Abdelrazek, John Grundy, Amani S. Ibrahim |
| 2013 | ICSE | Automated software architecture security risk analysis using formalized signatures. | Mohamed Almorsy, John Grundy, Amani S. Ibrahim |
| 2012 | ICECCS | SMURF: Supporting Multi-tenancy Using Re-aspects Framework. | Mohamed Almorsy, John C. Grundy, Amani S. Ibrahim |
| 2012 | NSS | Operating System Kernel Data Disambiguation to Support Security Analysis. | Amani S. Ibrahim, John Grundy, James H. Hamlyn-Harris, Mohamed Almorsy |
| 2012 | NSS | Identifying OS Kernel Objects for Run-Time Security Analysis. | Amani S. Ibrahim, James H. Hamlyn-Harris, John Grundy, Mohamed Almorsy |
| 2012 | WISE | VAM-aaS: Online Cloud Services Security Vulnerability Analysis and Mitigation-as-a-Service. | Mohamed Almorsy, John Grundy, Amani S. Ibrahim |
| 2011 | NSS | CloudSec: A security monitoring appliance for Virtual Machines in the IaaS cloud model. | Amani S. Ibrahim, James H. Hamlyn-Harris, John Grundy, Mohamed Almorsy |