Mouna Chaouch-Saad

According to our database, Mouna Chaouch-Saad authored at least 2 papers between 2005 and 2009.

Collaborative distances:

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

2009

A Reduction Theorem for the Verification of Round-Based Distributed Algorithms.

Mouna Chaouch-Saad, Bernadette Charron-Bost, Stephan Merz

Proceedings of the Reachability Problems, 3rd International Workshop, 2009

2005

Introducing Dynamic Properties with Past Temporal Operators in the B Refinement.

Mouna Saad, Leila Jemni Ben Ayed

Proceedings of the Automated Technology for Verification and Analysis, 2005