| On the complexity of checking transactional consistency R Biswas, C Enea Proceedings of the ACM on Programming Languages 3 (OOPSLA), 1-28, 2019 | 70 | 2019 |
| MonkeyDB: effectively testing correctness under weak isolation levels R Biswas, D Kakwani, J Vedurada, C Enea, A Lal Proceedings of the ACM on Programming Languages 5 (OOPSLA), 1-27, 2021 | 28 | 2021 |
| Checking causal consistency of distributed databases R Zennou, R Biswas, A Bouajjani, C Enea, M Erradi Computing 104 (10), 2181-2201, 2022 | 14 | 2022 |
| Boosting sequential consistency checking using saturation R Zennou, MF Atig, R Biswas, A Bouajjani, C Enea, M Erradi International Symposium on Automated Technology for Verification and …, 2020 | 10 | 2020 |
| On the complexity of checking consistency for replicated data types R Biswas, M Emmi, C Enea International Conference on Computer Aided Verification, 324-343, 2019 | 9 | 2019 |
| Automated formal testing of storage systems and applications R Biswas Université Paris Cité, 2021 | | 2021 |
| MonkeyDB: Effectively Testing Correctness against Weak Isolation Levels R Biswas, D Kakwani, J Vedurada, C Enea, A Lal arXiv preprint arXiv:2103.02830, 2021 | | 2021 |
