Publications

Safety and Liveness of Quantitative Automata [pdf]
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç*
International Conference on Concurrency Theory (CONCUR) 2023

Regular Methods for Operator Precedence Languages [pdf]
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç*
International Colloquium on Automata, Languages and Programming (ICALP) 2023

Quantitative Safety and Liveness [pdf]
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç*
International Conference on Foundations of Software Science and Computation Structures (FoSSaCS) 2023

Abstract Monitors for Quantitative Specifications [pdf]
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç*
International Conference on Runtime Verification (RV) 2022

Quantitative and Approximate Monitoring [pdf]
Thomas A. Henzinger, N. Ege Saraç*
Symposium on Logic in Computer Science (LICS) 2021

Boosting Expensive Synchronizing Heuristics [pdf]
N. Ege Saraç, Ömer Faruk Altun, Kamil Tolga Atam, Sertaç Karahoda, Kamer Kaya, Hüsnü Yenigün
Expert Systems with Applications (ESWA), Volume 167, 2021

Monitorability Under Assumptions [pdf]
Thomas A. Henzinger, N. Ege Saraç*
International Conference on Runtime Verification (RV) 2020

A Theory of Register Monitors [pdf]
Thomas Ferrère, Thomas A. Henzinger, N. Ege Saraç*
Symposium on Logic in Computer Science (LICS) 2018

*: authors ordered alphabetically