N. Ege Saraç

24 papers A* 3B 7Journal 12Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Quantitative Monitoring of Signal First-Order Logic.
CoRR
Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç, Emily Yu
2025 — conf
Automating the Analysis of Quantitative Automata with QuAK.
TACAS (1)
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2025 J jnl
Automating the Analysis of Quantitative Automata with QuAK.
CoRR
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2025 B conf
Quantitative Language Automata.
CONCUR
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç
2025 J jnl
Quantitative Language Automata.
CoRR
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç
2025 J jnl
Safety and Liveness of Quantitative Properties and Automata.
Log. Methods Comput. Sci.
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2024 B conf
Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy.
RV
Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovic, N. Ege Saraç
2024 J jnl
Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy.
CoRR
Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovic, N. Ege Saraç
2024 — conf
QuAK: Quantitative Automata Kit.
ISoLA (4)
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2024 J jnl
QuAK: Quantitative Automata Kit.
CoRR
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2024 B conf
Strategic Dominance: A New Preorder for Nondeterministic Processes.
CONCUR
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2024 J jnl
Strategic Dominance: A New Preorder for Nondeterministic Processes.
CoRR
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2023 B conf
Quantitative Safety and Liveness.
FoSSaCS
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2023 J jnl
Quantitative Safety and Liveness.
CoRR
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2023 A* conf
Regular Methods for Operator Precedence Languages.
ICALP
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç
2023 J jnl
Regular Methods for Operator Precedence Languages.
CoRR
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç
2023 B conf
Safety and Liveness of Quantitative Automata.
CONCUR
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2023 J jnl
Safety and Liveness of Quantitative Automata.
CoRR
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2022 B conf
Abstract Monitors for Quantitative Specifications.
RV
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2021 J jnl
Boosting expensive synchronizing heuristics.
Expert Syst. Appl.
N. Ege Saraç, Ömer Faruk Altun, Kamil Tolga Atam, Sertaç Karahoda, Kamer Kaya, Hüsnü Yenigün
2021 A* conf
Quantitative and Approximate Monitoring.
LICS
Thomas A. Henzinger, N. Ege Saraç
2021 J jnl
Quantitative and Approximate Monitoring.
CoRR
Thomas A. Henzinger, N. Ege Saraç
2020 B conf
Monitorability Under Assumptions.
RV
Thomas A. Henzinger, N. Ege Saraç
2018 A* conf
A Theory of Register Monitors.
LICS
Thomas Ferrère, Thomas A. Henzinger, N. Ege Saraç