Ahmed Gario

Publication Activity (10 Years)

Years Active: 2003-2018
Publications (10 Years): 5

Top Topics

Autonomous Systems

Safety Analysis

Top Venues

Softw. Qual. J.

Publications

Ahmed Gario, Anneliese Andrews, Seana Hagerman
Fail-safe testing of safety-critical systems: a case study and efficiency analysis. Softw. Qual. J. 26 (1) (2018)
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)
Ahmed Gario, Anneliese Amschler Andrews
Fail-Safe Testing of Safety-Critical Systems. Australian Software Engineering Conference (2014)
Ahmed Gario, J. William Atwood
Feedback Mechanism Validation and Path Query Messages in the Label Distribution Protocol. LCN (2003)