Imran Rasool

According to our database, Imran Rasool authored at least 2 papers between 2023 and 2025.

Collaborative distances:

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

2025

Formal Verification of Rewards and Penalties Mechanism of FFG Attestations: Ethereum 2.0 Beacon Chain Case Study.

Muhammad Rashid, Imran Rasool, Nazir Ahmad Zafar, Hamra Afzaal

IEEE Access, 2025

2023

Verification of Safety of Aircraft Arrival Procedure using SPIN Model Checker.

Muhammad Rashid, Muhammad Qadeer, Husnain Raza, Muhammad Masood Ul Rehman, Imran Rasool, Nazir Ahmad Zafar

Proceedings of the International Conference on Frontiers of Information Technology, 2023