Distributed Runtime Verification of Metric Temporal Properties for Cross-Chain Protocols-Reference-Cited by-同舟云学术

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

Published:2022-07 Issue: Volume: Page:
ISSN:
Container-title:2022 IEEE 42nd International Conference on Distributed Computing Systems (ICDCS)
language:
Short-container-title:

Author:

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

Affiliation:

1. Michigan State University

2. Brown University

Funder

National Science Foundation

Publisher

IEEE

Link

Reference45 articles.

1. Monitoring security policies with metric first-order temporal logic;basin,0

Cited by 8 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An In-Depth Study of Runtime Verification Overheads during Software Testing;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. SoK: Security and Privacy of Blockchain Interoperability;2024 IEEE Symposium on Security and Privacy (SP);2024-05-19

3. AutoMTLSpec: Learning to Generate MTL Specifications from Natural Language Contracts;2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS);2023-06-14

4. Metric Temporal Logic with Resettable Skewed Clocks;2023 Design, Automation & Test in Europe Conference & Exhibition (DATE);2023-04