A compositional framework for algebraic quantitative online monitoring over continuous-time signals K Mamouras, A Chattopadhyay, Z Wang International Journal on Software Tools for Technology Transfer 25 (4), 557-573, 2023 | 17* | 2023 |
A verified online monitor for metric temporal logic with quantitative semantics A Chattopadhyay, K Mamouras Runtime Verification: 20th International Conference, RV 2020, Los Angeles …, 2020 | 16 | 2020 |
Algebraic quantitative semantics for efficient online temporal monitoring K Mamouras, A Chattopadhyay, Z Wang Tools and Algorithms for the Construction and Analysis of Systems: 27th …, 2021 | 11 | 2021 |
Pumping lemmas for weighted automata A Chattopadhyay, F Mazowiecki, A Muscholl, C Riveros Logical Methods in Computer Science 17, 2021 | 9 | 2021 |
Software-hardware codesign for efficient in-memory regular pattern matching L Kong, Q Yu, A Chattopadhyay, A Le Glaunec, Y Huang, K Mamouras, ... Proceedings of the 43rd ACM SIGPLAN International Conference on Programming …, 2022 | 8 | 2022 |
Efficient Matching of Regular Expressions with Lookaround Assertions K Mamouras, A Chattopadhyay Proceedings of the ACM on Programming Languages 8 (POPL), 2761-2791, 2024 | 3 | 2024 |
Temporal Logic Formalisation of ISO 34502 Critical Scenarios: Modular Construction with the RSS Safety Distance J Reimann, N Mansion, J Haydon, B Bray, A Chattopadhyay, S Sato, ... Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, 186-195, 2024 | 1 | 2024 |
Query Preserving Watermarking Schemes for Locally Treelike Databases A Chattopadhyay, M Praveen arXiv preprint arXiv:1909.11369, 2019 | | 2019 |