N. Ege Saraç

According to our database, N. Ege Saraç authored at least 8 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Regular Methods for Operator Precedence Languages.

Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

Quantitative Safety and Liveness.

Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç

Proceedings of the Foundations of Software Science and Computation Structures, 2023

Safety and Liveness of Quantitative Automata.

Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Abstract Monitors for Quantitative Specifications.

Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç

Proceedings of the Runtime Verification - 22nd International Conference, 2022

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

Quantitative and Approximate Monitoring.

Thomas A. Henzinger, N. Ege Saraç

Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 2021

2020

Monitorability Under Assumptions.

Thomas A. Henzinger, N. Ege Saraç

Proceedings of the Runtime Verification - 20th International Conference, 2020

2018

A Theory of Register Monitors.

Thomas Ferrère, Thomas A. Henzinger, N. Ege Saraç

Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science, 2018