Rayan Hallal

According to our database, Rayan Hallal authored at least 3 papers between 2018 and 2020.

Collaborative distances:

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

2020

From global choreographies to verifiable efficient distributed implementations.

Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal, Antoine El-Hokayem

J. Log. Algebraic Methods Program., 2020

2019

From Global Choreographies to Provably Correct and Efficient Distributed Implementations.

Mohamad Jaber, Yliès Falcone, Paul C. Attie, Al-Abbass Khalil, Rayan Hallal

CoRR, 2019

2018

From Global Choreography to Efficient Distributed Implementation.

Rayan Hallal, Mohamad Jaber, Rasha Abdallah

Proceedings of the 2018 International Conference on High Performance Computing & Simulation, 2018