| Monitorability under assumptions TA Henzinger, NE Saraç International Conference on Runtime Verification, 3-18, 2020 | 24 | 2020 |
| 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 | 22 | 2018 |
| Quantitative and approximate monitoring TA Henzinger, NE Saraç 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021 | 14 | 2021 |
| Regular methods for operator precedence languages TA Henzinger, P Kebis, N Mazzocchi, N Saraç arXiv preprint arXiv:2305.03447, 2023 | 8 | 2023 |
| Quantitative Safety and Liveness. TA Henzinger, N Mazzocchi, NE Saraç FoSSaCS, 349-370, 2023 | 6 | 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 | 5 | 2021 |
| Safety and liveness of quantitative automata U Boker, TA Henzinger, N Mazzocchi, N Saraç 34th International Conference on Concurrency Theory (CONCUR 2023), 2023 | 4 | 2023 |
| Abstract monitors for quantitative specifications TA Henzinger, N Mazzocchi, NE Saraç International Conference on Runtime Verification, 200-220, 2022 | 4 | 2022 |
| QuAK: Quantitative Automata Kit M Chalupa, TA Henzinger, N Mazzocchi, N Saraç arXiv preprint arXiv:2409.03569, 2024 | | 2024 |
| Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy B Bonakdarpour, A Momtaz, D Ničković, N Saraç arXiv preprint arXiv:2408.05033, 2024 | | 2024 |
| Strategic Dominance: A New Preorder for Nondeterministic Processes TA Henzinger, N Mazzocchi, N Saraç arXiv preprint arXiv:2407.10473, 2024 | | 2024 |
| Advancing the Theory of Quantitative Algorithmic Monitoring NE Saraç | | |
Thomas HenzingerIST Austria在 ist.ac.at 的电子邮件经过验证
