Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
25 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Randomized First-Order Monitoring with Hashing;Runtime Verification;2022
2. Selective monitoring;Journal of Computer and System Sciences;2021-05
3. Scalable online first-order monitoring;International Journal on Software Tools for Technology Transfer;2021-04
4. A model-based architecture for interactive run-time monitoring;Software and Systems Modeling;2020-01-22
5. Scalable Online Monitoring of Distributed Systems;Runtime Verification;2020