Rami El-Baïda

According to our database, Rami El-Baïda authored at least 2 papers between 1999 and 2001.

Collaborative distances:

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

2001

Automatic Verification of Concurrent Object Properties.

Rami El-Baïda, Jean Paul Bahsoun

Proceedings of the 2001 ACS / IEEE International Conference on Computer Systems and Applications (AICCSA 2001), 2001

1999

Decision Procedure for Temporal Logic of Concurrent Objects.

Jean Paul Bahsoun, Rami El-Baïda, Hugues-Olivier Yar

Proceedings of the Euro-Par '99 Parallel Processing, 5th International Euro-Par Conference, Toulouse, France, August 31, 1999