Follow
Ritam Ganguly
Title
Cited by
Cited by
Year
Distributed Runtime Verification Under Partial Synchrony
R Ganguly, A Momtaz, B Bonakdarpour
24th International Conference on Principles of Distributed Systems (OPODIS …, 2020
162020
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
112022
Multiple video clips preservation using folded back audio-visual cryptography scheme
I Mukherjee, R Ganguly
Multimedia Tools and Applications 77, 5281-5301, 2018
42018
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
22017
Privacy preserving of two sixteen-segmented image using visual cryptography
I Mukherjee, R Ganguly
2015 IEEE International conference on research in computational intelligence …, 2015
22015
Runtime Verification for Blockchains
R Ganguly
2021 40th International Symposium on Reliable Distributed Systems (SRDS …, 2021
12021
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
2024
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
Distributed Runtime Verification under Partial
R Ganguly, A Momtaz, B Bonakdarpour
Runtime Verification of Partially-Synchronous Distributed System
R Ganguly, A Momtaz, B Bonakdarpour
The system can't perform the operation now. Try again later.
Articles 1–12