Almost Event-Rate Independent Monitoring of Metric Temporal Logic-Reference-Cited by-同舟云学术

Almost Event-Rate Independent Monitoring of Metric Temporal Logic

Published:2017 Issue: Volume: Page:94-112
ISSN:0302-9743
Container-title:Tools and Algorithms for the Construction and Analysis of Systems
language:
Short-container-title:

Author:

Basin David,Bhatt Bhargav Nagaraja,Traytel Dmitriy

Publisher

Springer Berlin Heidelberg

Link

https://link.springer.com/content/pdf/10.1007/978-3-662-54580-5_6

Reference21 articles.

1. Aerial: An almost event-rate independent monitor for metric temporal logic (2016). https://bitbucket.org/traytel/aerial

2. Basin, D.A., Klaedtke, F., Müller, S., Pfitzmann, B.: Runtime monitoring of metric first-order temporal properties. In: FSTTCS 2008, pp. 49–60 (2008)

3. Basin, D.A., Klaedtke, F., Müller, S., Zalinescu, E.: Monitoring metric first-order temporal properties. J. ACM 62(2), 15 (2015)

4. Lecture Notes in Computer Science;D Basin,2012

5. Lecture Notes in Computer Science;A Bauer,2013

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

1. Mapping singly-linked rules to linear temporal logic formulas;Information Systems;2023-07

2. Trace-Length Independent Runtime Monitoring of Quantitative Policies;IEEE Transactions on Dependable and Secure Computing;2021-05-01

3. Temporal-Logic-Based Semantic Fault Diagnosis With Time-Series Data From Industrial Internet of Things;IEEE Transactions on Industrial Electronics;2021-05

4. Scalable online first-order monitoring;International Journal on Software Tools for Technology Transfer;2021-04

5. A taxonomy for classifying runtime verification tools;International Journal on Software Tools for Technology Transfer;2021-04