Rachid Zennou

According to our database, Rachid Zennou authored at least 4 papers between 2019 and 2022.

Collaborative distances:

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

2022

Checking causal consistency of distributed databases.

Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi

Computing, 2022

2021

Algorithmic methods for the verification of consistency in distributed systems. (Méthodes algorithmiques pour la vérification de la consistance dans les systèmes distribués).

Rachid Zennou

PhD thesis, 2021

2020

Boosting Sequential Consistency Checking Using Saturation.

Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi

Proceedings of the Automated Technology for Verification and Analysis, 2020

2019

Gradual Consistency Checking.

Rachid Zennou, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi

Proceedings of the Computer Aided Verification - 31st International Conference, 2019