Author:
Havelund Klaus,Peled Doron,Ulus Dogan
Cited by
43 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. TP-DejaVu: Combining Operational and Declarative Runtime Verification;Lecture Notes in Computer Science;2023-12-30
3. Runtime Verification Prediction for Traces with Data;Runtime Verification;2023
4. Monitorability for Runtime Verification;Runtime Verification;2023
5. Linear Time Monitoring for One Variable TPTL;25th ACM International Conference on Hybrid Systems: Computation and Control;2022-05-04