Publisher
Springer International Publishing
Reference32 articles.
1. Lecture Notes in Computer Science;F-M Adolf,2017
2. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);E Albert,2005
3. Astrauskas, V., Müller, P., Poli, F., Summers, A.J.: Leveraging rust types for modular specification and verification. Proc. ACM Program. Lang. 3(OOPSLA), 147:1–147:30 (2019). https://doi.org/10.1145/3360573
4. Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence);D Basin,2020
5. Baumeister: Tracing correctness: a practical Approach to Traceable Runtime Monitoring. Master thesis, Saarland University (2020)
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Tutorial on Stream-Based Monitoring;Lecture Notes in Computer Science;2024-09-13
2. Certification Aspects of Runtime Assurance for Urban Air Mobility;AIAA SCITECH 2024 Forum;2024-01-04
3. Equation-Directed Axiomatization of Lustre Semantics to Enable Optimized Code Validation;ACM Transactions on Embedded Computing Systems;2023-09-09
4. Monitoring with verified guarantees;International Journal on Software Tools for Technology Transfer;2023-07-11
5. Concurrent runtime verification of data rich events;International Journal on Software Tools for Technology Transfer;2023-06-26