Active World Model for Testing Autonomous Systems Using CEFSM. - Anneliese Andrews; Mahmoud Abdelgawad; Ahmed Gario (MoDeVVa@MoDELS, 2015)

Towards World Model-based Test Generation in Autonomous Systems. - Anneliese Andrews; Mahmoud Abdelgawad; Ahmed Gario (MODELSWARD, 2015)

World Model for Testing Autonomous Systems Using Petri Nets. - Anneliese Andrews; Mahmoud Abdelgawad; Ahmed Gario (HASE, 2016)

World Model for Testing Urban Search and Rescue (USAR) Robots using Petri Nets. - Anneliese Amschler Andrews; Mahmoud Abdelgawad; Ahmed Gario (MODELSWARD, 2016)

Model-based testing of real-time adaptive motion planning (RAMP). - Mahmoud Abdelgawad; Sterling McLeod; Anneliese Andrews; Jing Xiao 001 (SIMPAR, 2016)

Model-based testing of a real-time adaptive motion planning system. - Mahmoud Abdelgawad; Sterling McLeod; Anneliese Andrews; Jing Xiao 001 (Adv. Robotics, 2017)

Synthesizing and Analyzing Attribute-Based Access Control Model Generated from Natural Language Policy Statements. - Mahmoud Abdelgawad; Indrakshi Ray; Saja Alqurashi; Videep Venkatesha; Hossein Shirazi (SACMAT, 2023)

Workflow Resilience for Mission Critical Systems. - Mahmoud Abdelgawad; Indrakshi Ray; Tomas Vasquez (SSS, 2023)

Model Based Risk Assessment and Risk Mitigation Framework for Cyber-Physical Systems. - Shwetha Gowdanakatte; Indrakshi Ray; Mahmoud Abdelgawad (TPS-ISA, 2023)

Resiliency Analysis of Mission-Critical System of Systems Using Formal Methods. - Mahmoud Abdelgawad; Indrakshi Ray (DBSec, 2024)

Securing Virtual Reality Apps Inter-process Communication. - Oluwatosin Falebita; Mahmoud Abdelgawad; Evan Anspach; Indrakshi Ray (ICISS, 2024)

Assets Criticality Assessment of Industrial Control Systems: A Wind Farm Case Study. - Shwetha Gowdanakatte; Mahmoud Abdelgawad; Indrakshi Ray (QRS, 2024)

Methodology for Resiliency Analysis of Mission-critical Systems. - Mahmoud Abdelgawad; Indrakshi Ray (SAC, 2024)

SR2ACM: A Methodical Approach for Translating Natural Language Security Requirements to Access Control Model. - Saja Alqurashi; Indrakshi Ray; Mahmoud Abdelgawad; Hossein Shirazi (TPS-ISA, 2024)

Safety Analysis in the NGAC Model. - Brian Tan; Ewan S. D. Davies; Indrakshi Ray; Mahmoud Abdelgawad (SACMAT, 2025)

Correctness and security analysis of the protection in transit (PIT) protocol. - Rakesh Podder; Mahmoud Abdelgawad; Indrakshi Ray; Indrajit Ray; Madhan B. Santharam; Stefano Righi (J. Syst. Softw., 2025)