Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL-Reference-Cited by-同舟云学术

Trace-Length Independent Runtime Monitoring of Quantitative Policies in LTL

Published:2015 Issue: Volume: Page:231-247
ISSN:0302-9743
Container-title:FM 2015: Formal Methods
language:
Short-container-title:

Author:

Du Xiaoning,Liu Yang,Tiu Alwen

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-19249-9_15

Reference22 articles.

1. Rageagainstthecage (2011), http://thesnkchrmr.wordpress.com/2011/03/24/rageagainstthecage

2. Tli monitoring of ltl extended with a counting quantifier (2015), http://pat.sce.ntu.edu.sg/xndu/fm2015

3. Arzt, S., Falzon, K., Follner, A., Rasthofer, S., Bodden, E., Stolz, V.: How useful are existing monitoring languages for securing android apps? In: ATPS, pp. 107–122 (2013)

4. Lecture Notes in Computer Science;H. Barringer,2004

5. Barringer, H., Rydeheard, D., Havelund, K.: Rule systems for run-time monitoring: from eagle to ruler. Journal of Logic and Computation 20(3), 675–706 (2010)

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

1. Exploiting Logic Programming for Runtime Verification: Current and Future Perspectives;Prolog: The Next 50 Years;2023

2. Assumption-based Runtime Verification;Formal Methods in System Design;2022-04

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

4. PHOENIX: Device-Centric Cellular Network Protocol Monitoring using Runtime Verification;Proceedings 2021 Network and Distributed System Security Symposium;2021

5. Assumption-Based Runtime Verification of Infinite-State Systems;Runtime Verification;2021