Rachid Zennou

Publication Activity (10 Years)

Years Active: 2019-2022
Publications (10 Years): 5

Top Topics

Concurrency Control Protocols

Consistency Checking

Distributed Databases

Acid Properties

Top Venues

Publications

Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
Checking causal consistency of distributed databases. Computing 104 (10) (2022)
Rachid Zennou, Mohamed Faouzi Atig, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
Boosting Sequential Consistency Checking Using Saturation. ATVA (2020)
Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
Checking Causal Consistency of Distributed Databases. CoRR (2020)
Rachid Zennou, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
Gradual Consistency Checking. CAV (2) (2019)
Rachid Zennou, Ranadeep Biswas, Ahmed Bouajjani, Constantin Enea, Mohammed Erradi
Checking Causal Consistency of Distributed Databases. NETYS (2019)