Monitoring the Internet Computer-Reference-Cited by-同舟云学术

Monitoring the Internet Computer

Published:2023 Issue: Volume: Page:383-402
ISSN:0302-9743
Container-title:Formal Methods
language:
Short-container-title:

Author:

Basin David^ORCID,Dietiker Daniel Stefan^ORCID,Krstić Srđan^ORCID,Pignolet Yvonne-Anne^ORCID,Raszyk Martin^ORCID,Schneider Joshua^ORCID,Ter-Gabrielyan Arshavir^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-27481-7_22

Reference41 articles.

1. Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Boston (1995)

2. Arasu, A., Babu, S., Widom, J.: The CQL continuous query language: semantic foundations and query execution. VLDB J. 15(2), 121–142 (2006)

3. Internet Computer Association. Internet Computer dashboard (2022). https://dashboard.internetcomputer.org/

4. Lecture Notes in Computer Science,2018

5. Lecture Notes in Computer Science;D Basin,2018

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

1. Explainable Online Monitoring of Metric First-Order Temporal Logic;Lecture Notes in Computer Science;2024

2. Fully On-chain Cloud Storage DApp on the Internet Computer Protocol;2023 IEEE 43rd International Conference on Distributed Computing Systems Workshops (ICDCSW);2023-07-18

3. Decentralized Stream Runtime Verification for Timed Asynchronous Networks;IEEE Access;2023

4. Correct and Efficient Policy Monitoring, a Retrospective;Automated Technology for Verification and Analysis;2023

5. Metric First-Order Temporal Logic with Complex Data Types;Runtime Verification;2023