Mahmoud Abdelgawad

Publication Activity (10 Years)

Years Active: 2015-2024
Publications (10 Years): 9

Top Topics

Urban Search And Rescue

Motion Planning

Top Venues

Publications

Mahmoud Abdelgawad, Indrakshi Ray
Methodology for Resiliency Analysis of Mission-critical Systems. SAC (2024)
Mahmoud Abdelgawad, Indrakshi Ray
Resiliency Analysis of Mission-Critical System of Systems Using Formal Methods. DBSec (2024)
Mahmoud Abdelgawad, Indrakshi Ray, Tomas Vasquez
Workflow Resilience for Mission Critical Systems. SSS (2023)
Shwetha Gowdanakatte, Indrakshi Ray, Mahmoud Abdelgawad
Model Based Risk Assessment and Risk Mitigation Framework for Cyber-Physical Systems. TPS-ISA (2023)
Mahmoud Abdelgawad, Indrakshi Ray, Saja Alqurashi, Videep Venkatesha, Hossein Shirazi
Synthesizing and Analyzing Attribute-Based Access Control Model Generated from Natural Language Policy Statements. SACMAT (2023)
Mahmoud Abdelgawad, Sterling McLeod, Anneliese Andrews, Jing Xiao
Model-based testing of a real-time adaptive motion planning system. Adv. Robotics 31 (22) (2017)
Mahmoud Abdelgawad, Sterling McLeod, Anneliese Andrews, Jing Xiao
Model-based testing of real-time adaptive motion planning (RAMP). SIMPAR (2016)
Anneliese Amschler Andrews, Mahmoud Abdelgawad, Ahmed Gario
World Model for Testing Urban Search and Rescue (USAR) Robots using Petri Nets. MODELSWARD (2016)
Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario
World Model for Testing Autonomous Systems Using Petri Nets. HASE (2016)
Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario
Towards World Model-based Test Generation in Autonomous Systems. MODELSWARD (2015)
Anneliese Andrews, Mahmoud Abdelgawad, Ahmed Gario
Active World Model for Testing Autonomous Systems Using CEFSM. MoDeVVa@MoDELS (2015)