Gradual Consistency Checking. - Rachid Zennou; Ahmed Bouajjani; Constantin Enea; Mohammed Erradi (CAV (2), 2019)

Boosting Sequential Consistency Checking Using Saturation. - Rachid Zennou; Mohamed Faouzi Atig; Ranadeep Biswas; Ahmed Bouajjani; Constantin Enea; Mohammed Erradi (ATVA, 2020)

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 (2021)

Checking causal consistency of distributed databases. - Rachid Zennou; Ranadeep Biswas; Ahmed Bouajjani; Constantin Enea; Mohammed Erradi (Computing, 2022)