| A theory of register monitors T Ferrère, TA Henzinger, NE Saraç Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer …, 2018 | 23 | 2018 |
| Monitorability under assumptions TA Henzinger, NE Saraç International Conference on Runtime Verification, 3-18, 2020 | 22 | 2020 |
| Quantitative and approximate monitoring TA Henzinger, NE Saraç 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021 | 12 | 2021 |
| Regular methods for operator precedence languages TA Henzinger, P Kebis, N Mazzocchi, N Saraç arXiv preprint arXiv:2305.03447, 2023 | 4 | 2023 |
| Boosting expensive synchronizing heuristics NE Saraç, ÖF Altun, KT Atam, S Karahoda, K Kaya, H Yenigün Expert Systems with Applications 167, 114203, 2021 | 4 | 2021 |
| Quantitative Safety and Liveness. TA Henzinger, N Mazzocchi, NE Saraç FoSSaCS, 349-370, 2023 | 3 | 2023 |
| Safety and liveness of quantitative automata U Boker, TA Henzinger, N Mazzocchi, N Saraç arXiv preprint arXiv:2307.06016, 2023 | 2 | 2023 |
| Abstract monitors for quantitative specifications TA Henzinger, N Mazzocchi, NE Saraç International Conference on Runtime Verification, 200-220, 2022 | 2 | 2022 |
| Advancing the Theory of Quantitative Algorithmic Monitoring NE Saraç | | |
Thomas HenzingerIST AustriaVerified email at ist.ac.at
