Rule-Based Runtime Verification-Reference-Cited by-同舟云学术

Rule-Based Runtime Verification

Published:2004 Issue: Volume: Page:44-57
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Barringer Howard,Goldberg Allen,Havelund Klaus,Sen Koushik

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-540-24622-0_5

Reference21 articles.

1. 1st, 2nd and 3rd CAV Workshops on Runtime Verification (RV 2001 - RV 2003). ENTCS, vol. 55(2), 70(4), 89(2). Elsevier Science (2001, 2002, 2003)

2. Lecture Notes in Computer Science;C. Artho,2003

3. Barringer, H., Fisher, M., Gabbay, D., Gough, G., Owens, R.: MetateM: An Introduction. Formal Aspects of Computing 7(5), 533–549 (1995)

4. Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Eagle does Space Efficient LTL Monitoring. Pre-Print CSPP-25, University of Manchester, Department of Computer Science (October 2003), Download http://www.cs.man.ac.uk/cspreprints/PrePrints/cspp25.pdf

5. Barringer, H., Goldberg, A., Havelund, K., Sen, K.: Eagle Monitors by Collecting Facts and Generating Obligations. Pre-Print CSPP-26, University of Manchester, Department of Computer Science (October 2003), Download http://www.cs.man.ac.uk/cspreprints/PrePrints/cspp26.pdf

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

1. An In-Depth Study of Runtime Verification Overheads during Software Testing;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

2. Plug in the Safety Chip: Enforcing Constraints for LLM-driven Robot Agents;2024 IEEE International Conference on Robotics and Automation (ICRA);2024-05-13

3. General monitorability of totally ordered verdict domains;Innovations in Systems and Software Engineering;2024-04-06

4. TP-DejaVu: Combining Operational and Declarative Runtime Verification;Lecture Notes in Computer Science;2023-12-30

5. Hydra: Effective Runtime Network Verification;Proceedings of the ACM SIGCOMM 2023 Conference;2023-09