Author:
Barringer H.,Goldberg A.,Havelund K.,Koushik Sen
Cited by
15 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Overhead-Aware Deployment of Runtime Monitors;Runtime Verification;2019
2. An efficient timestamp-based monitoring approach to test timing constraints of cyber-physical systems;Proceedings of the 55th Annual Design Automation Conference;2018-06-24
3. REAL-T: Time Modularization in Reactive Distributed Applications;Communications in Computer and Information Science;2018
4. Introduction to Runtime Verification;Lectures on Runtime Verification;2018
5. Switches are Monitors Too!;Proceedings of the 15th ACM Workshop on Hot Topics in Networks;2016-11-09