Distributed Runtime Verification Under Partial Synchrony R Ganguly, A Momtaz, B Bonakdarpour 24th International Conference on Principles of Distributed Systems (OPODIS …, 2020 | 18 | 2020 |
Distributed runtime verification of metric temporal properties for cross-chain protocols R Ganguly, Y Xue, A Jonckheere, P Ljung, B Schornstein, ... 2022 IEEE 42nd International Conference on Distributed Computing Systems …, 2022 | 13 | 2022 |
Multiple video clips preservation using folded back audio-visual cryptography scheme I Mukherjee, R Ganguly Multimedia Tools and Applications 77, 5281-5301, 2018 | 4 | 2018 |
A Novel Approach to E-Voting Using Multi-bit Steganography S Dutta, X Das, R Ganguly, I Mukherjee Proceedings of the First International Conference on Intelligent Computing …, 2017 | 2 | 2017 |
Privacy preserving of two sixteen-segmented image using visual cryptography I Mukherjee, R Ganguly 2015 IEEE International conference on research in computational intelligence …, 2015 | 2 | 2015 |
Runtime verification of partially-synchronous distributed system R Ganguly, A Momtaz, B Bonakdarpour Formal Methods in System Design, 1-32, 2024 | 1 | 2024 |
Distributed runtime verification of metric temporal properties R Ganguly, Y Xue, A Jonckheere, P Ljung, B Schornstein, ... Journal of Parallel and Distributed Computing 185, 104801, 2024 | 1 | 2024 |
Runtime Verification for Blockchains R Ganguly 2021 40th International Symposium on Reliable Distributed Systems (SRDS …, 2021 | 1 | 2021 |
Crash-Resilient Decentralized Synchronous Runtime Verification R Ganguly, S Kazemloo, B Bonakdarpour IEEE Transactions on Dependable and Secure Computing, 2023 | | 2023 |
Stream-based Decentralized Runtime Verification R Ganguly, B Bonakdarpour arXiv preprint arXiv:2301.13266, 2023 | | 2023 |
Runtime Verification of Distributed Systems R Ganguly Michigan State University, 2023 | | 2023 |