Amani S. Ibrahim

Publication Activity (10 Years)

Years Active: 2011-2023
Publications (10 Years): 16

Top Topics

Class Imbalance

Formal Representation

Natural Language

Software Defect Prediction

Top Venues

Autom. Softw. Eng.

Publications

Mohamed Osama, Aya Zaki-Ismail, Mohamed Almorsy Abdelrazek, John Grundy, Amani S. Ibrahim
A Comprehensive Requirement Capturing Model Enabling the Automated Formalisation of NL Requirements. SN Comput. Sci. 4 (1) (2023)
Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim
RCM-extractor: an automated NLP-based approach for extracting a semi formal representation model from natural language requirements. Autom. Softw. Eng. 29 (1) (2022)
Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim
ARF: Automatic Requirements Formalisation Tool. RE (2021)
Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John Grundy, Amani S. Ibrahim
RCM: Requirement Capturing Model for Automated Requirements Formalisation. MODELSWARD (2021)
Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim
DBRG: Description-Based Non-Quality Requirements Generator. RE (2021)
Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim
Enhancing NL Requirements Formalisation Using a Quality Checking Model. RE (2021)
Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim
Requirements Formality Levels Analysis and Transformation of Formal Notations into Semi-formal and Informal Notations (S). SEKE (2021)
Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek, John Grundy, Amani S. Ibrahim
SRCM: A Semi Formal Requirements Representation Model Enabling System Visualisation and Quality Checking. MODELSWARD (2021)
Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim
CORG: A Component-Oriented Synthetic Textual Requirements Generator. REFSQ (2021)
Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John Grundy, Amani S. Ibrahim
RCM-Extractor: Automated Extraction of a Semi Formal Representation Model from Natural Language Requirements. MODELSWARD (2021)
Amani S. Ibrahim, Dhananjay R. Thiruvady, Jean-Guy Schneider, Mohamed Abdelrazek
The Challenges of Leveraging Threat Intelligence to Stop Data Breaches. Frontiers Comput. Sci. 2 (2020)
Mohamed Osama, Aya Zaki-Ismail, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim
Score-Based Automatic Detection and Resolution of Syntactic Ambiguity in Natural Language Requirements. ICSME (2020)
Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John Grundy, Amani S. Ibrahim
RCM: Requirement Capturing Model for Automated Requirements Formalisation. CoRR (2020)
Md. Shamsul Huda, Kevin Liu, Mohamed Abdelrazek, Amani S. Ibrahim, Sultan Alyahya, Hmood Al-Dossari, Shafiq Ahmad
An Ensemble Oversampling Model for Class Imbalance Problem in Software Defect Prediction. IEEE Access 6 (2018)
Mohamed Abdelrazek, Amani S. Ibrahim, Andrew Cain, John Grundy
Vision: mobile ehealth learning and intervention platform. MOBILESoft@ICSE (2018)
Amani S. Ibrahim, James H. Hamlyn-Harris, John C. Grundy
Emerging Security Challenges of Cloud Virtual Infrastructure. CoRR (2016)
Mohamed Almorsy Abdelrazek, John Grundy, Amani S. Ibrahim
Improving Tenants' Trust in SaaS Applications Using Dynamic Security Monitors. ICECCS (2015)
Mohamed Almorsy, John Grundy, Amani S. Ibrahim
Adaptable, model-driven security engineering for SaaS cloud-based applications. Autom. Softw. Eng. 21 (2) (2014)
Mohamed Almorsy, John Grundy, Amani S. Ibrahim
Automated software architecture security risk analysis using formalized signatures. ICSE (2013)
Mohamed Almorsy, John Grundy, Amani S. Ibrahim
Supporting automated software re-engineering using re-aspects. ASE (2012)
Mohamed Almorsy, John Grundy, Amani S. Ibrahim
MDSE@R: Model-Driven Security Engineering at Runtime. CSS (2012)
Mohamed Almorsy, John Grundy, Amani S. Ibrahim
TOSSMA: A Tenant-Oriented SaaS Security Management Architecture. IEEE CLOUD (2012)
Mohamed Almorsy, John C. Grundy, Amani S. Ibrahim
SMURF: Supporting Multi-tenancy Using Re-aspects Framework. ICECCS (2012)
Amani S. Ibrahim, James H. Hamlyn-Harris, John Grundy, Mohamed Almorsy
Supporting Virtualization-Aware Security Solutions Using a Systematic Approach to Overcome the Semantic Gap. IEEE CLOUD (2012)
Amani S. Ibrahim, James H. Hamlyn-Harris, John Grundy, Mohamed Almorsy
Identifying OS Kernel Objects for Run-Time Security Analysis. NSS (2012)
Amani S. Ibrahim, John Grundy, James H. Hamlyn-Harris, Mohamed Almorsy
Operating System Kernel Data Disambiguation to Support Security Analysis. NSS (2012)
Amani S. Ibrahim, John Grundy, James H. Hamlyn-Harris, Mohamed Almorsy
Supporting operating system kernel data disambiguation using points-to analysis. ASE (2012)
Mohamed Almorsy, John Grundy, Amani S. Ibrahim
VAM-aaS: Online Cloud Services Security Vulnerability Analysis and Mitigation-as-a-Service. WISE (2012)
Mohamed Almorsy, John Grundy, Amani S. Ibrahim
Supporting automated vulnerability analysis using formalized vulnerability signatures. ASE (2012)
Mohamed Almorsy, John Grundy, Amani S. Ibrahim
Collaboration-Based Cloud Computing Security Management Framework. IEEE CLOUD (2011)
Amani S. Ibrahim, James H. Hamlyn-Harris, John Grundy, Mohamed Almorsy
CloudSec: A security monitoring appliance for Virtual Machines in the IaaS cloud model. NSS (2011)