3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.DC2023
Stream-based Decentralized Runtime Verification
Ritam Ganguly, Borzoo Bonakdarpour
Industrial Control Systems (ICS) are often built from geographically distributed components and often use programmable logic controllers for localized processes. Since verification…
cs.DC2022★ 3 cited
Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols
Ritam Ganguly, Yingjie Xue, Aaron Jonckheere +4
Transactions involving multiple blockchains are implemented by cross-chain protocols. These protocols are based on smart contracts, programs that run on blockchains, executed by a…