Arshad Ebrahim

According to our database, Arshad Ebrahim authored at least 2 papers between 2018 and 2021.

Collaborative distances:

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

2021

Conformance testing of ARINC 653 compliance for a safety critical RTOS using UPPAAL model checker.

Abhishek Singh, Meenakshi D'Souza, Arshad Ebrahim

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

2018

Formal Verification of Datarace in Safety Critical ARINC653 compliant RTOS.

Abhishek Singh, Meenakshi D'Souza, Arshad Ebrahim

Proceedings of the 2018 International Conference on Advances in Computing, 2018