Feedback Mechanism Validation and Path Query Messages in the Label Distribution Protocol. - Ahmed Gario; J. William Atwood (LCN, 2003)

Fail-Safe Testing of Safety-Critical Systems. - Ahmed Gario; Anneliese Amschler Andrews (Australian Software Engineering Conference, 2014)

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)

Fail-safe testing of safety-critical systems: a case study and efficiency analysis. - Ahmed Gario; Anneliese Andrews; Seana Hagerman (Softw. Qual. J., 2018)