Amani S. Ibrahim

According to our database, Amani S. Ibrahim authored at least 31 papers between 2011 and 2023.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2023

A Comprehensive Requirement Capturing Model Enabling the Automated Formalisation of NL Requirements.

Mohamed Osama, Aya Zaki-Ismail, Mohamed Almorsy Abdelrazek, John Grundy, Amani S. Ibrahim

SN Comput. Sci., 2023

2022

RCM-extractor: an automated NLP-based approach for extracting a semi formal representation model from natural language requirements.

Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim

Autom. Softw. Eng., 2022

2021

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

Proceedings of the 33rd International Conference on Software Engineering and Knowledge Engineering, 2021

CORG: A Component-Oriented Synthetic Textual Requirements Generator.

Aya Zaki-Ismail, Mohamed Osama, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim

Proceedings of the Requirements Engineering: Foundation for Software Quality, 2021

ARF: Automatic Requirements Formalisation Tool.

Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

Enhancing NL Requirements Formalisation Using a Quality Checking Model.

Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

DBRG: Description-Based Non-Quality Requirements Generator.

Mohamed Osama, Aya Zaki-Ismail, Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim

Proceedings of the 29th IEEE International Requirements Engineering Conference, 2021

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

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

RCM: Requirement Capturing Model for Automated Requirements Formalisation.

Aya Zaki-Ismail, Mohamed Osama, Mohamed Abdelrazek, John Grundy, Amani S. Ibrahim

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

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

Proceedings of the 9th International Conference on Model-Driven Engineering and Software Development, 2021

2020

The Challenges of Leveraging Threat Intelligence to Stop Data Breaches.

Amani S. Ibrahim, Dhananjay R. Thiruvady, Jean-Guy Schneider, Mohamed Abdelrazek

Frontiers Comput. Sci., 2020

Score-Based Automatic Detection and Resolution of Syntactic Ambiguity in Natural Language Requirements.

Mohamed Osama, Aya Zaki-Ismail, Mohamed Almorsy Abdelrazek, John C. Grundy, Amani S. Ibrahim

Proceedings of the IEEE International Conference on Software Maintenance and Evolution, 2020

2019

Towards Self-securing Software Systems.

Mohamed Abdelrazek, John C. Grundy, Amani S. Ibrahim

Proceedings of the Software Engineering for Variability Intensive Systems, 2019

2018

An Ensemble Oversampling Model for Class Imbalance Problem in Software Defect Prediction.

Md. Shamsul Huda, Kevin Liu, Mohamed Abdelrazek, Amani S. Ibrahim, Sultan Alyahya, Hmood Al-Dossari, Shafiq Ahmad

IEEE Access, 2018

Vision: mobile ehealth learning and intervention platform.

Mohamed Abdelrazek, Amani S. Ibrahim, Andrew Cain, John Grundy

Proceedings of the 5th International Conference on Mobile Software Engineering and Systems, MOBILESoft@ICSE 2018, Gothenburg, Sweden, May 27, 2018

2016

Emerging Security Challenges of Cloud Virtual Infrastructure.

Amani S. Ibrahim, James H. Hamlyn-Harris, John C. Grundy

CoRR, 2016

2015

Improving Tenants' Trust in SaaS Applications Using Dynamic Security Monitors.

Mohamed Almorsy Abdelrazek, John Grundy, Amani S. Ibrahim

Proceedings of the 20th International Conference on Engineering of Complex Computer Systems, 2015

2014

Adaptable, model-driven security engineering for SaaS cloud-based applications.

Mohamed Almorsy, John Grundy, Amani S. Ibrahim

Autom. Softw. Eng., 2014

2013

Automated software architecture security risk analysis using formalized signatures.

Mohamed Almorsy, John Grundy, Amani S. Ibrahim

Proceedings of the 35th International Conference on Software Engineering, 2013

2012

VAM-aaS: Online Cloud Services Security Vulnerability Analysis and Mitigation-as-a-Service.

Mohamed Almorsy, John Grundy, Amani S. Ibrahim

Proceedings of the Web Information Systems Engineering - WISE 2012, 2012

Identifying OS Kernel Objects for Run-Time Security Analysis.

Amani S. Ibrahim, James H. Hamlyn-Harris, John Grundy, Mohamed Almorsy

Proceedings of the Network and System Security - 6th International Conference, 2012

Operating System Kernel Data Disambiguation to Support Security Analysis.

Amani S. Ibrahim, John Grundy, James H. Hamlyn-Harris, Mohamed Almorsy

Proceedings of the Network and System Security - 6th International Conference, 2012

Supporting operating system kernel data disambiguation using points-to analysis.

Amani S. Ibrahim, John Grundy, James H. Hamlyn-Harris, Mohamed Almorsy

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Supporting automated software re-engineering using re-aspects.

Mohamed Almorsy, John Grundy, Amani S. Ibrahim

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

Supporting automated vulnerability analysis using formalized vulnerability signatures.

Mohamed Almorsy, John Grundy, Amani S. Ibrahim

Proceedings of the IEEE/ACM International Conference on Automated Software Engineering, 2012

SMURF: Supporting Multi-tenancy Using Re-aspects Framework.

Mohamed Almorsy, John C. Grundy, Amani S. Ibrahim

Proceedings of the 17th IEEE International Conference on Engineering of Complex Computer Systems, 2012

MDSE@R: Model-Driven Security Engineering at Runtime.

Mohamed Almorsy, John Grundy, Amani S. Ibrahim

Proceedings of the Cyberspace Safety and Security - 4th International Symposium, 2012

Supporting Virtualization-Aware Security Solutions Using a Systematic Approach to Overcome the Semantic Gap.

Amani S. Ibrahim, James H. Hamlyn-Harris, John Grundy, Mohamed Almorsy

Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

TOSSMA: A Tenant-Oriented SaaS Security Management Architecture.

Mohamed Almorsy, John Grundy, Amani S. Ibrahim

Proceedings of the 2012 IEEE Fifth International Conference on Cloud Computing, 2012

2011

CloudSec: A security monitoring appliance for Virtual Machines in the IaaS cloud model.

Amani S. Ibrahim, James H. Hamlyn-Harris, John Grundy, Mohamed Almorsy

Proceedings of the 5th International Conference on Network and System Security, 2011

Collaboration-Based Cloud Computing Security Management Framework.

Mohamed Almorsy, John Grundy, Amani S. Ibrahim

Proceedings of the IEEE International Conference on Cloud Computing, 2011