Rafat Alshorman

According to our database, Rafat Alshorman authored at least 3 papers between 2009 and 2020.

Collaborative distances:

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

2020

Specification of synchronous network flooding in temporal logic.

Ra'Ed Bani-Abdelrahman, Rafat Alshorman, Walter Hussak, Amitabh Trehan

Int. Arab J. Inf. Technol., 2020

2019

Toward proving the correctness of TCP protocol using CTL.

Rafat Alshorman

Int. Arab J. Inf. Technol., 2019

2009

Using Temporal Logics to Specify and Verify Multi-step Transactions in Mobile Environments.

Rafat Alshorman

PhD thesis, 2009