43 citations · 119 across the 29 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
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…
cs.FL2022
Finite-Word Hyperlanguages
Borzoo Bonakdarpour, Sarai Sheinvald
Formal languages are in the core of models of computation and their behavior. A rich family of models for many classes of languages have been widely studied. Hyperproperties lift c…