Publications

QuAK: Quantitative Automata Kit (invited paper) [pdf] [code]
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç*
International Symposium On Leveraging Applications of Formal Methods (ISoLA) 2024

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy [pdf] [code]
Borzoo Bonakdarpour, Anik Momtaz, Dejan Ničković, N. Ege Saraç*
International Conference on Runtime Verification (RV) 2024

Strategic Dominance: A New Preorder for Nondeterministic Processes [pdf]
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç*
International Conference on Concurrency Theory (CONCUR) 2024

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] [code]
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 (invited paper) [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