Mahmoud Abdelgawad

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

Jing Xiao, Sterling McLeod, Anneliese Amschler Andrews, 2017, Adv. Robotics.

World model for testing Urban Search and Rescue (USAR) robots using Petri Nets

Anneliese Amschler Andrews, Ahmed Gario, Mahmoud Abdelgawad, 2016, 2016 4th International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

World Model for Testing Autonomous Systems Using Petri Nets

Anneliese Amschler Andrews, Ahmed Gario, Mahmoud Abdelgawad, 2016, 2016 IEEE 17th International Symposium on High Assurance Systems Engineering (HASE).

Towards world model-based test generation in autonomous systems

Anneliese Amschler Andrews, Ahmed Gario, Mahmoud Abdelgawad, 2015, 2015 3rd International Conference on Model-Driven Engineering and Software Development (MODELSWARD).

Active World Model for Testing Autonomous Systems Using CEFSM

Anneliese Amschler Andrews, Ahmed Gario, Mahmoud Abdelgawad, 2015, MoDeVVa@MoDELS.

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

Jing Xiao, Sterling McLeod, Anneliese Amschler Andrews, 2016, 2016 IEEE International Conference on Simulation, Modeling, and Programming for Autonomous Robots (SIMPAR).