A Theory of Register Monitors. - Thomas Ferrère; Thomas A. Henzinger; N. Ege Saraç (LICS, 2018)

Monitorability Under Assumptions. - Thomas A. Henzinger; N. Ege Saraç (RV, 2020)

Quantitative and Approximate Monitoring. - Thomas A. Henzinger; N. Ege Saraç (LICS, 2021)

Boosting expensive synchronizing heuristics. - N. Ege Saraç; Ömer Faruk Altun; Kamil Tolga Atam; Sertaç Karahoda; Kamer Kaya; Hüsnü Yenigün (Expert Syst. Appl., 2021)

Abstract Monitors for Quantitative Specifications. - Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Saraç (RV, 2022)

Safety and Liveness of Quantitative Automata. - Udi Boker; Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Saraç (CONCUR, 2023)

Quantitative Safety and Liveness. - Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Saraç (FoSSaCS, 2023)

Regular Methods for Operator Precedence Languages. - Thomas A. Henzinger; Pavol Kebis; Nicolas Mazzocchi; N. Ege Saraç (ICALP, 2023)

Strategic Dominance: A New Preorder for Nondeterministic Processes. - Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Saraç (CONCUR, 2024)

QuAK: Quantitative Automata Kit. - Marek Chalupa; Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Saraç (ISoLA (4), 2024)

Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy. - Borzoo Bonakdarpour; Anik Momtaz; Dejan Nickovic; N. Ege Saraç (RV, 2024)

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy. - Borzoo Bonakdarpour; Anik Momtaz; Dejan Nickovic; N. Ege Saraç (CoRR, 2024)

QuAK: Quantitative Automata Kit (artifact). - Marek Chalupa; Thomas A. Henzinger; Nicolas Mazzochci; N. Ege Saraç (Zenodo, 2024)

Quantitative Language Automata. - Thomas A. Henzinger; Pavol Kebis; Nicolas Mazzocchi; N. Ege Saraç (CONCUR, 2025)

Automating the Analysis of Quantitative Automata with QuAK. - Marek Chalupa; Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Saraç (TACAS (1), 2025)

Safety and Liveness of Quantitative Properties and Automata. - Udi Boker; Thomas A. Henzinger; Nicolas Mazzocchi; N. Ege Saraç (Log. Methods Comput. Sci., 2025)