Ritam Ganguly

According to our database, Ritam Ganguly authored at least 8 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Runtime verification of partially-synchronous distributed system.

Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour

Formal Methods Syst. Des., December, 2024

Distributed runtime verification of metric temporal properties.

Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy

J. Parallel Distributed Comput., March, 2024

Crash-Resilient Decentralized Synchronous Runtime Verification.

Ritam Ganguly, Shokufeh Kazemloo, Borzoo Bonakdarpour

IEEE Trans. Dependable Secur. Comput., 2024

2023

Stream-based Decentralized Runtime Verification.

Ritam Ganguly, Borzoo Bonakdarpour

CoRR, 2023

2022

Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols.

Ritam Ganguly, Yingjie Xue, Aaron Jonckheere, Parker Ljung, Benjamin Schornstein, Borzoo Bonakdarpour, Maurice Herlihy

Proceedings of the 42nd IEEE International Conference on Distributed Computing Systems, 2022

2021

Runtime Verification for Blockchains.

Ritam Ganguly

Proceedings of the 40th International Symposium on Reliable Distributed Systems, 2021

2020

Distributed Runtime Verification Under Partial Synchrony.

Ritam Ganguly, Anik Momtaz, Borzoo Bonakdarpour

Proceedings of the 24th International Conference on Principles of Distributed Systems, 2020

2018

Multiple video clips preservation using folded back audio-visual cryptography scheme.

Imon Mukherjee, Ritam Ganguly

Multim. Tools Appl., 2018