Author:
Mittal Neeraj,Garg Vijay K.
Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Runtime verification of partially-synchronous distributed system;Formal Methods in System Design;2024-06-14
2. Distributed runtime verification of metric temporal properties;Journal of Parallel and Distributed Computing;2024-03
3. Predicate monitoring in distributed cyber-physical systems;International Journal on Software Tools for Technology Transfer;2023-08
4. Monitoring Signal Temporal Logic in Distributed Cyber-physical Systems;Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems (with CPS-IoT Week 2023);2023-05-09
5. Decentralized Asynchronous Crash-resilient Runtime Verification;Journal of the ACM;2022-10-27