Mahmoud Abdelgawad

According to our database, Mahmoud Abdelgawad authored at least 13 papers between 2015 and 2024.

Collaborative distances:

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

2024

Methodology for Resiliency Analysis of Mission-critical Systems.

Mahmoud Abdelgawad, Indrakshi Ray

Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 2024

Assets Criticality Assessment of Industrial Control Systems: A Wind Farm Case Study.

Shwetha Gowdanakatte, Mahmoud Abdelgawad, Indrakshi Ray

Proceedings of the 24th IEEE International Conference on Software Quality, 2024

Securing Virtual Reality Apps Inter-process Communication.

Oluwatosin Falebita, Mahmoud Abdelgawad, Evan Anspach, Indrakshi Ray

Proceedings of the Information Systems Security - 20th International Conference, 2024

Resiliency Analysis of Mission-Critical System of Systems Using Formal Methods.

Mahmoud Abdelgawad, Indrakshi Ray

Proceedings of the Data and Applications Security and Privacy XXXVIII, 2024

2023

Model Based Risk Assessment and Risk Mitigation Framework for Cyber-Physical Systems.

Shwetha Gowdanakatte, Indrakshi Ray, Mahmoud Abdelgawad

Proceedings of the 5th IEEE International Conference on Trust, 2023

Workflow Resilience for Mission Critical Systems.

Mahmoud Abdelgawad, Indrakshi Ray, Tomas Vasquez

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2023

Synthesizing and Analyzing Attribute-Based Access Control Model Generated from Natural Language Policy Statements.

Mahmoud Abdelgawad, Indrakshi Ray, Saja Alqurashi, Videep Venkatesha, Hossein Shirazi

Proceedings of the 28th ACM Symposium on Access Control Models and Technologies, 2023

2017

Model-based testing of a real-time adaptive motion planning system.

Mahmoud Abdelgawad, Sterling McLeod, Anneliese Andrews, Jing Xiao

Adv. Robotics, 2017

2016

Model-based testing of real-time adaptive motion planning (RAMP).

Mahmoud Abdelgawad, Sterling McLeod, Anneliese Andrews, Jing Xiao

Proceedings of the 2016 IEEE International Conference on Simulation, 2016

World Model for Testing Urban Search and Rescue (USAR) Robots using Petri Nets.

Anneliese Amschler Andrews, Mahmoud Abdelgawad, Ahmed Gario

Proceedings of the MODELSWARD 2016, 2016

World Model for Testing Autonomous Systems Using Petri Nets.

Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario

Proceedings of the 17th IEEE International Symposium on High Assurance Systems Engineering, 2016

2015

Towards World Model-based Test Generation in Autonomous Systems.

Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario

Proceedings of the MODELSWARD 2015, 2015

Active World Model for Testing Autonomous Systems Using CEFSM.

Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario

Proceedings of the 12th Workshop on Model-Driven Engineering, 2015