Author:
D'Angelo B.,Sankaranarayanan S.,Sanchez C.,Robinson W.,Finkbeiner B.,Sipma H.B.,Mehrotra S.,Manna Z.
Cited by
167 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Tutorial on Stream-Based Monitoring;Lecture Notes in Computer Science;2024-09-13
2. Static and Dynamic Analysis of a Usage Control System;Proceedings of the 29th ACM Symposium on Access Control Models and Technologies;2024-06-24
3. Stream Types;Proceedings of the ACM on Programming Languages;2024-06-20
4. Runtime verification of partially-synchronous distributed system;Formal Methods in System Design;2024-06-14
5. REDriver: Runtime Enforcement for Autonomous Vehicles;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12