Amani S. Ibrahim

32 papers A* 4A 4B 7C 4Journal 7Unranked 5

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