Author:
Bonakdarpour Borzoo,Navabpour Samaneh,Fischmeister Sebastian
Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Alur, R., Dill, D.: A theory of timed automata. Theoretical Computer Science 126(2), 183–235 (1994)
2. Bauer, A., Leucker, M., Schallhart, C.: Runtime Verification for LTL and TLTL. ACM Transactions on Software Engineering and Methodology, TOSEM (2009) (in press)
3. Bauer, A., Leucker, M., Schallhart, C.: Comparing LTL Semantics for Runtime Verification. Journal of Logic and Computation 20(3), 651–674 (2010)
4. Lecture Notes in Computer Science;S. Colin,2005
5. Lecture Notes in Computer Science;M. D’Amorim,2005
Cited by
33 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Efficient Temporal Logic Runtime Monitoring for Tiny Systems;Lecture Notes in Computer Science;2024-09-10
2. Checking Complex Source Code-Level Constraints using Runtime Verification;Companion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering;2024-07-10
3. Uncertainty in runtime verification: A survey;Computer Science Review;2023-11
4. A theory of monitors;Information and Computation;2021-12
5. Significant Sampling for Shortest Path Routing: A Deep Reinforcement Learning Solution;IEEE Journal on Selected Areas in Communications;2020-10