Almost event-rate independent monitoring-Reference-Cited by-同舟云学术

Almost event-rate independent monitoring

Published:2019-02-06 Issue:3 Volume:54 Page:449-478
ISSN:0925-9856
Container-title:Formal Methods in System Design
language:en
Short-container-title:Form Methods Syst Des

Author:

Basin David,Bhatt Bhargav Nagaraja,Krstić Srđan,Traytel Dmitriy^ORCID

Funder

Schweizerischer Nationalfonds zur Förderung der Wissenschaftlichen Forschung

U.S. Air Force

Publisher

Springer Science and Business Media LLC

Subject

Hardware and Architecture,Theoretical Computer Science,Software

Link

http://link.springer.com/article/10.1007/s10703-018-00328-3/fulltext.html

Reference45 articles.

1. Antimirov V (1996) Partial derivatives of regular expressions and finite automaton constructions. Theor Comput Sci 155(2):291–319

2. Asarin E, Caspi P, Maler O (2002) Timed regular expressions. J ACM 49(2):172–206

3. Basin DA, Bhatt B, Traytel D (2017) Almost event-rate indepedent monitoring of metric temporal logic. In: Legay A, Margaria T (eds) TACAS 2017, LNCS, vol 10206. Springer, New York, pp 94–112

4. Basin DA, Klaedtke F, Zălinescu E (2017) Algorithms for monitoring real-time properties. Acta Inf 55:309–338

5. Basin DA, Klaedtke F, Zălinescu E (2017) The MonPoly monitoring tool. In: Reger G, Havelund K (eds) RV-CuBES 2017, Kalpa Publications in computing, vol 3. EasyChair, Seattle, pp 19–28

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

1. General Anticipatory Monitoring for Temporal Logics on Finite Traces;Runtime Verification;2023

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

3. Explainable Online Monitoring of Metric Temporal Logic;Tools and Algorithms for the Construction and Analysis of Systems;2023

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

5. Stepwise development and model checking of adistributed interlocking system using RAISE;Formal Aspects of Computing;2021-01