| A compositional framework for quantitative online monitoring over continuous-time signals K Mamouras, A Chattopadhyay, Z Wang Runtime Verification: 21st International Conference, RV 2021, Virtual Event …, 2021 | 20 | 2021 |
| Online signal monitoring with bounded lag K Mamouras, Z Wang IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2020 | 17 | 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 | 14 | 2021 |
| 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 | 3 | 2023 |
