| 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 | 15* | 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 | 15 | 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 | 6 | 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 | 1 | 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, ... arXiv preprint arXiv:2403.18764, 2024 | | 2024 |
| Query Preserving Watermarking Schemes for Locally Treelike Databases A Chattopadhyay, M Praveen arXiv preprint arXiv:1909.11369, 2019 | | 2019 |
Konstantinos MamourasAssistant Professor of Computer Science, Rice UniversityVerified email at rice.edu
