Ahmed Gario

According to our database, Ahmed Gario authored at least 7 papers between 2003 and 2018.

Collaborative distances:

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

2018

Fail-safe testing of safety-critical systems: a case study and efficiency analysis.

Ahmed Gario, Anneliese Andrews, Seana Hagerman

Softw. Qual. J., 2018

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

2014

Fail-Safe Testing of Safety-Critical Systems.

Ahmed Gario, Anneliese Amschler Andrews

Proceedings of the 23rd Australian Software Engineering Conference, 2014

2003

Feedback Mechanism Validation and Path Query Messages in the Label Distribution Protocol.

Ahmed Gario, J. William Atwood

Proceedings of the 28th Annual IEEE Conference on Local Computer Networks (LCN 2003), 2003