Menna Mostafa

According to our database, Menna Mostafa authored at least 1 paper in 2015.

Collaborative distances:

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

2015

Decentralized Runtime Verification of LTL Specifications in Distributed Systems.

Menna Mostafa, Borzoo Bonakdarpour

Proceedings of the 2015 IEEE International Parallel and Distributed Processing Symposium, 2015