On the Complexity of Checking Consistency for Replicated Data Types. - Ranadeep Biswas; Michael Emmi; Constantin Enea (CAV (2), 2019)

On the complexity of checking transactional consistency. - Ranadeep Biswas; Constantin Enea (Proc. ACM Program. Lang., 2019)

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

MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels. - Ranadeep Biswas; Diptanshu Kakwani; Jyothi Vedurada; Constantin Enea; Akash Lal (CoRR, 2021)

MonkeyDB: effectively testing correctness under weak isolation levels. - Ranadeep Biswas; Diptanshu Kakwani; Jyothi Vedurada; Constantin Enea; Akash Lal (Proc. ACM Program. Lang., 2021)

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