Author:
Halle Sylvain,Villemaire Roger
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Subject
Information Systems and Management,Computer Networks and Communications,Computer Science Applications,Hardware and Architecture
Cited by
79 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Operational and Declarative Runtime Verification (Keynote);Proceedings of the 7th ACM International Workshop on Verification and Monitoring at Runtime Execution;2024-09-13
2. High-Integrity Runtime Verification;Computer;2024-04
3. Proactive Real-Time First-Order Enforcement;Lecture Notes in Computer Science;2024
4. TP-DejaVu: Combining Operational and Declarative Runtime Verification;Lecture Notes in Computer Science;2023-12-30
5. Uncertainty in runtime verification: A survey;Computer Science Review;2023-11