Author:
Bartocci Ezio,Manjunath Niveditha,Mariani Leonardo,Mateis Cristinel,Ničković Dejan
Publisher
Springer International Publishing
Cited by
24 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. From Fault Injection to Formal Verification: A Holistic Approach to Fault Diagnosis in Cyber-Physical Systems;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11
2. Efficient Temporal Logic Runtime Monitoring for Tiny Systems;Lecture Notes in Computer Science;2024-09-10
3. Diagnosing Violations of Time-based Properties Captured in iCFTL;Proceedings of the 2024 IEEE/ACM 12th International Conference on Formal Methods in Software Engineering (FormaliSE);2024-04-14
4. Checkmate: Fault Timing Localization for Multi-Robot Scenarios;2023 IEEE 19th International Conference on Automation Science and Engineering (CASE);2023-08-26
5. MoonLight: a lightweight tool for monitoring spatio-temporal properties;International Journal on Software Tools for Technology Transfer;2023-06-22