A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic-Reference-Cited by-同舟云学术

A Formally Verified, Optimized Monitor for Metric First-Order Dynamic Logic

Published:2020 Issue: Volume: Page:432-453
ISSN:0302-9743
Container-title:Automated Reasoning
language:
Short-container-title:

Author:

Basin David,Dardinier Thibault,Heimes Lukas,Krstić Srđan^ORCID,Raszyk Martin^ORCID,Schneider Joshua^ORCID,Traytel Dmitriy^ORCID

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-030-51074-9_25

Reference50 articles.

1. Lecture Notes in Computer Science;R Alur,2016

2. Antimirov, V.M.: Partial derivatives of regular expressions and finite automaton constructions. Theoret. Comput. Sci. 155(2), 291–319 (1996). https://doi.org/10.1016/0304-3975(95)00182-4

3. Lecture Notes in Computer Science;H Barringer,2012

4. Lecture Notes in Computer Science,2018

5. Basin, D., et al.: VeriMon+: implementation and case study associated with this paper (2020). https://bitbucket.org/jshs/monpoly/downloads/verimonplus.zip

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

1. Systematic Evaluation of Deep Learning Models for Log-based Failure Prediction;Empirical Software Engineering;2024-06-20

2. Proactive Real-Time First-Order Enforcement;Lecture Notes in Computer Science;2024

3. Concurrent runtime verification of data rich events;International Journal on Software Tools for Technology Transfer;2023-06-26

4. Hammering Floating-Point Arithmetic;Frontiers of Combining Systems;2023

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