Author:
Chattopadhyay Agnishom,Mamouras Konstantinos
Publisher
Springer International Publishing
Cited by
13 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. 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
2. Efficient Matching of Regular Expressions with Lookaround Assertions;Proceedings of the ACM on Programming Languages;2024-01-05
3. Synthesizing Efficiently Monitorable Formulas in Metric Temporal Logic;Lecture Notes in Computer Science;2023-12-30
4. A compositional framework for algebraic quantitative online monitoring over continuous-time signals;International Journal on Software Tools for Technology Transfer;2023-08
5. Regular Expression Matching using Bit Vector Automata;Proceedings of the ACM on Programming Languages;2023-04-06