| Modeling of multiversion concurrency control system using Event-B R Suryavanshi, D Yadav 2012 Federated Conference on Computer Science and Information Systems …, 2012 | 16 | 2012 |
| Formal development of byzantine immune total order broadcast system using Event-B R Suryavanshi, D Yadav Data Engineering and Management: Second International Conference, ICDEM 2010 …, 2012 | 13 | 2012 |
| A comparative study of checkpointing algorithms for distributed systems BK Saraswat, R Suryavanshi, DS Yadav International Journal of Pure and Applied Mathematics 118 (20), 1595-1603, 2018 | 11 | 2018 |
| Hybrid buffer‐based optical packet switch with negative acknowledgment for multilevel data centers S Chandra, S Fatima, R Singh Suryavanshi Journal of Optical Communications 44 (s1), s203-s214, 2024 | 8 | 2024 |
| Formal verification of causal order-based load distribution mechanism using Event-B P Yadav, R Suryavanshi, AK Singh, D Yadav Data, Engineering and Applications: Volume 2, 229-241, 2019 | 6 | 2019 |
| Rigorous design of lazy replication system using Event-B R Suryavanshi, D Yadav Contemporary Computing: 5th International Conference, IC3 2012, Noida, India …, 2012 | 6 | 2012 |
| Packet blocking performance of cloud computing based optical data centers networks under contention resolution mechanisms RD Shukla, A Pratap, RS Suryavanshi Journal of Optical Communications 44 (s1), s853-s862, 2024 | 5 | 2024 |
| Formal Verification of Receiver Initiated Load Distribution Protocol with Fault Tolerance and Recovery using Event-B P Yadav, R Suryavanshi, D Yadav Journal of Scientific and Industrial Research (JSIR) 80 (12), 1078-1090, 2022 | 5* | 2022 |
| Formal modelling of cluster-coordinator-based load balancing protocol using event-B S Shukla, R Suryavanshi, D Yadav Proceedings of Second Doctoral Symposium on Computational Intelligence …, 2022 | 5 | 2022 |
| Formal verification of liveness properties in causal order broadcast systems using Event-B P Yadav, R Suryavanshi, D Yadav Proceedings of Second Doctoral Symposium on Computational Intelligence …, 2022 | 5 | 2022 |
| Survey on load balancing techniques S Shukla, RS Suryavanshi International conference of emerging trends in technology and application, 2019 | 5 | 2019 |
| Split point load balancing algorithm based on Event B S Shukla, RS Suryavanshi, D Yadav Int J Innov Technol Explor Eng (IJITEE) 8 (9), 2258-2265, 2019 | 5 | 2019 |
| Formal specification of dynamic load-based coordinator selection algorithm with recovery in distributed systems P Yadav, R Suryavanshi, Y Divakar Singh Proceedings of Third Doctoral Symposium on Computational Intelligence: DoSCI …, 2022 | 3 | 2022 |
| Formal verification of distributed checkpointing using Event-B G Chandra, R Suryavanshi, D Yadav Int J Comput Sci Inf Technol 7 (5), 59-73, 2015 | 3 | 2015 |
| Modeling of Distributed Mutual Exclusion System Using Event-B R Suryavanshi, D Yadav CCSIT, SIPP, AISC, PDCTA, 477-491, 2013 | 3 | 2013 |
| Development of Blockchain-Enabled E-Healthcare Appointment System A Rawat, RS Suryavanshi, V Nagar, D Yadav International Conference on Trends in Computational and Cognitive …, 2023 | 2 | 2023 |
| Formal methods: Techniques and languages for software development S Kumar, RS Suryavanshi, G Chandra International Journal of Engineering Science and Advanced Research 1 (1), 35-42, 2015 | 2 | 2015 |
| Formal Specification & Verification of Checkpoint Algorithm for Distributed Systems using Event-B BK Saraswat, R Suryavanshi, D Yadav | 1 | 2020 |
| Comparative study of concurrency and replica control protocols in distributed environment A Singh, R Suryavanshi, A Singh Int. J. Appl. Eng. Res.(IJAER) 14 (2), 329-334, 2019 | 1 | 2019 |
| Formal verification of distributed transaction execution in replicated database system using Event-B P Sharma, RS Suryavanshi International Journal of Computer Applications 143 (6), 2016 | 1 | 2016 |
