N. Ege Saraç

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 14

Top Topics

Probabilistic Automata

Qualitative And Quantitative

Weak Classifiers

Safety Analysis

Top Venues

Publications

Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Strategic Dominance: A New Preorder for Nondeterministic Processes. CONCUR (2024)
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Strategic Dominance: A New Preorder for Nondeterministic Processes. CoRR (2024)
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç
Regular Methods for Operator Precedence Languages. ICALP (2023)
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç
Regular Methods for Operator Precedence Languages. CoRR (2023)
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Safety and Liveness of Quantitative Automata. CoRR (2023)
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Quantitative Safety and Liveness. CoRR (2023)
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Quantitative Safety and Liveness. FoSSaCS (2023)
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Safety and Liveness of Quantitative Automata. CONCUR (2023)
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Abstract Monitors for Quantitative Specifications. RV (2022)
N. Ege Saraç, Ömer Faruk Altun, Kamil Tolga Atam, Sertaç Karahoda, Kamer Kaya, Hüsnü Yenigün
Boosting expensive synchronizing heuristics. Expert Syst. Appl. 167 (2021)
Thomas A. Henzinger, N. Ege Saraç
Quantitative and Approximate Monitoring. LICS (2021)
Thomas A. Henzinger, N. Ege Saraç
Quantitative and Approximate Monitoring. CoRR (2021)
Thomas A. Henzinger, N. Ege Saraç
Monitorability Under Assumptions. RV (2020)
Thomas Ferrère, Thomas A. Henzinger, N. Ege Saraç
A Theory of Register Monitors. LICS (2018)