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
*: first or corresponding author