N. Ege Saraç

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

Collaborative distances:

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

2024

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy.

Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovic, N. Ege Saraç

CoRR, 2024

Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy.

Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovic, N. Ege Saraç

Proceedings of the Runtime Verification - 24th International Conference, 2024

QuAK: Quantitative Automata Kit.

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

Strategic Dominance: A New Preorder for Nondeterministic Processes.

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

Proceedings of the 35th International Conference on Concurrency Theory, 2024

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