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 (ICSME, 2020)

SRCM: A Semi Formal Requirements Representation Model Enabling System Visualisation and Quality Checking. - Mohamed Osama; Aya Zaki-Ismail; Mohamed Abdelrazek 001; John Grundy 001; Amani S. Ibrahim (MODELSWARD, 2021)

RCM: Requirement Capturing Model for Automated Requirements Formalisation. - Aya Zaki-Ismail; Mohamed Osama; Mohamed Abdelrazek 001; John Grundy 001; Amani S. Ibrahim (MODELSWARD, 2021)

RCM-Extractor: Automated Extraction of a Semi Formal Representation Model from Natural Language Requirements. - Aya Zaki-Ismail; Mohamed Osama; Mohamed Abdelrazek 001; John Grundy 001; Amani S. Ibrahim (MODELSWARD, 2021)

DBRG: Description-Based Non-Quality Requirements Generator. - Mohamed Osama; Aya Zaki-Ismail; Mohamed Abdelrazek 001; John C. Grundy; Amani S. Ibrahim (RE, 2021)

Enhancing NL Requirements Formalisation Using a Quality Checking Model. - Mohamed Osama; Aya Zaki-Ismail; Mohamed Abdelrazek 001; John C. Grundy; Amani S. Ibrahim (RE, 2021)

ARF: Automatic Requirements Formalisation Tool. - Aya Zaki-Ismail; Mohamed Osama; Mohamed Abdelrazek 001; John C. Grundy; Amani S. Ibrahim (RE, 2021)

CORG: A Component-Oriented Synthetic Textual Requirements Generator. - Aya Zaki-Ismail; Mohamed Osama; Mohamed Almorsy Abdelrazek; John C. Grundy; Amani S. Ibrahim (REFSQ, 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 (SEKE, 2021)

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)

A Comprehensive Requirement Capturing Model Enabling the Automated Formalisation of NL Requirements. - Mohamed Osama; Aya Zaki-Ismail; Mohamed Almorsy Abdelrazek; John Grundy 001; Amani S. Ibrahim (SN Comput. Sci., 2023)