Author:
Finkbeiner Bernd,Sankaranarayanan Sriram,Sipma Henny B.
Publisher
Springer Science and Business Media LLC
Subject
Hardware and Architecture,Theoretical Computer Science,Software
Cited by
30 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. RTAMT – Runtime Robustness Monitors with Application to CPS and Robotics;International Journal on Software Tools for Technology Transfer;2023-10-05
2. QTWTL: Quality Aware Time Window Temporal Logic for Performance Monitoring;Proceedings of the 21st ACM-IEEE International Conference on Formal Methods and Models for System Design;2023-09-21
3. From LTL to rLTL monitoring: improved monitorability through robust semantics;Formal Methods in System Design;2021-12
4. Trace-Length Independent Runtime Monitoring of Quantitative Policies;IEEE Transactions on Dependable and Secure Computing;2021-05-01
5. Scenario-Based Online Reachability Validation for CPS Fault Prediction;IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems;2020-10