Mahmoud Abdelgawad

According to our database, Mahmoud Abdelgawad authored at least 9 papers between 2015 and 2023.

Collaborative distances:

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

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