N. Ege Saraç

14 Publications

Mark all

[14]
2025 | Published | Conference Paper | IST-REx-ID: 20253 | OA
Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. 2025. Quantitative language automata. 36th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 348, 21.
[Published Version] View | Files available | DOI | arXiv
 
[13]
2025 | Published | Conference Paper | IST-REx-ID: 19741 | OA
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. 2025. Automating the analysis of quantitative automata with QuAK. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. , LNCS, vol. 15696, 303–312.
[Published Version] View | Files available | DOI | arXiv
 
[12]
2025 | Published | Thesis | IST-REx-ID: 20147 | OA
Sarac NE. 2025. A monitoring-oriented theory and classification of quantitative specifications. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
[11]
2025 | Published | Journal Article | IST-REx-ID: 20342 | OA | PlanS
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. 2025. Safety and liveness of quantitative properties and automata. Logical Methods in Computer Science. 21(2), 13149.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[10]
2024 | Published | Conference Paper | IST-REx-ID: 18068 | OA
Henzinger TA, Mazzocchi NA, Sarac NE. 2024. Strategic dominance: A new preorder for nondeterministic processes. 35th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 311, 29.
[Published Version] View | Files available | DOI | arXiv
 
[9]
2024 | Published | Conference Paper | IST-REx-ID: 18521 | OA
Bonakdarpour B, Momtaz A, Nickovic D, Sarac NE. 2024. Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy. 24th International Conference on Runtime Verification. RV: Conference on Runtime Verification, LNCS, vol. 15191, 282–301.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[8]
2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. 2024. QuAK: Quantitative Automata Kit. 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. ISoLA: International Symposium on Leveraging Applications, LNCS, vol. 15222, 3–20.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[7]
2023 | Published | Conference Paper | IST-REx-ID: 13292 | OA
Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. 2023. Regular methods for operator precedence languages. 50th International Colloquium on Automata, Languages, and Programming. ICALP: Automata, Languages and Programming, LIPIcs, vol. 261, 129:1--129:20.
[Published Version] View | Files available | DOI | arXiv
 
[6]
2023 | Published | Conference Paper | IST-REx-ID: 12467 | OA
Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Quantitative safety and liveness. 26th International Conference Foundations of Software Science and Computation Structures. FOSSACS: Foundations of Software Science and Computation Structures, LNCS, vol. 13992, 349–370.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[5]
2023 | Published | Conference Paper | IST-REx-ID: 13221 | OA
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Safety and liveness of quantitative automata. 34th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 279, 17.
[Published Version] View | Files available | DOI | arXiv
 
[4]
2022 | Published | Conference Paper | IST-REx-ID: 11775 | OA
Henzinger TA, Mazzocchi NA, Sarac NE. 2022. Abstract monitors for quantitative specifications. 22nd International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 13498, 200–220.
[Published Version] View | Files available | DOI | WoS
 
[3]
2021 | Published | Journal Article | IST-REx-ID: 8912 | OA
Sarac NE, Altun ÖF, Atam KT, Karahoda S, Kaya K, Yenigün H. 2021. Boosting expensive synchronizing heuristics. Expert Systems with Applications. 167(4), 114203.
[Submitted Version] View | Files available | DOI | WoS
 
[2]
2021 | Published | Conference Paper | IST-REx-ID: 9356 | OA
Henzinger TA, Sarac NE. 2021. Quantitative and approximate monitoring. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 9470547.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[1]
2020 | Published | Conference Paper | IST-REx-ID: 8623 | OA
Henzinger TA, Sarac NE. 2020. Monitorability under assumptions. Runtime Verification. RV: Runtime Verification, LNCS, vol. 12399, 3–18.
[Submitted Version] View | Files available | DOI | WoS
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed

Grants


14 Publications

Mark all

[14]
2025 | Published | Conference Paper | IST-REx-ID: 20253 | OA
Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. 2025. Quantitative language automata. 36th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 348, 21.
[Published Version] View | Files available | DOI | arXiv
 
[13]
2025 | Published | Conference Paper | IST-REx-ID: 19741 | OA
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. 2025. Automating the analysis of quantitative automata with QuAK. 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems. , LNCS, vol. 15696, 303–312.
[Published Version] View | Files available | DOI | arXiv
 
[12]
2025 | Published | Thesis | IST-REx-ID: 20147 | OA
Sarac NE. 2025. A monitoring-oriented theory and classification of quantitative specifications. Institute of Science and Technology Austria.
[Published Version] View | Files available | DOI
 
[11]
2025 | Published | Journal Article | IST-REx-ID: 20342 | OA | PlanS
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. 2025. Safety and liveness of quantitative properties and automata. Logical Methods in Computer Science. 21(2), 13149.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[10]
2024 | Published | Conference Paper | IST-REx-ID: 18068 | OA
Henzinger TA, Mazzocchi NA, Sarac NE. 2024. Strategic dominance: A new preorder for nondeterministic processes. 35th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 311, 29.
[Published Version] View | Files available | DOI | arXiv
 
[9]
2024 | Published | Conference Paper | IST-REx-ID: 18521 | OA
Bonakdarpour B, Momtaz A, Nickovic D, Sarac NE. 2024. Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy. 24th International Conference on Runtime Verification. RV: Conference on Runtime Verification, LNCS, vol. 15191, 282–301.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[8]
2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. 2024. QuAK: Quantitative Automata Kit. 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. ISoLA: International Symposium on Leveraging Applications, LNCS, vol. 15222, 3–20.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[7]
2023 | Published | Conference Paper | IST-REx-ID: 13292 | OA
Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. 2023. Regular methods for operator precedence languages. 50th International Colloquium on Automata, Languages, and Programming. ICALP: Automata, Languages and Programming, LIPIcs, vol. 261, 129:1--129:20.
[Published Version] View | Files available | DOI | arXiv
 
[6]
2023 | Published | Conference Paper | IST-REx-ID: 12467 | OA
Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Quantitative safety and liveness. 26th International Conference Foundations of Software Science and Computation Structures. FOSSACS: Foundations of Software Science and Computation Structures, LNCS, vol. 13992, 349–370.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[5]
2023 | Published | Conference Paper | IST-REx-ID: 13221 | OA
Boker U, Henzinger TA, Mazzocchi NA, Sarac NE. 2023. Safety and liveness of quantitative automata. 34th International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 279, 17.
[Published Version] View | Files available | DOI | arXiv
 
[4]
2022 | Published | Conference Paper | IST-REx-ID: 11775 | OA
Henzinger TA, Mazzocchi NA, Sarac NE. 2022. Abstract monitors for quantitative specifications. 22nd International Conference on Runtime Verification. RV: Runtime Verification, LNCS, vol. 13498, 200–220.
[Published Version] View | Files available | DOI | WoS
 
[3]
2021 | Published | Journal Article | IST-REx-ID: 8912 | OA
Sarac NE, Altun ÖF, Atam KT, Karahoda S, Kaya K, Yenigün H. 2021. Boosting expensive synchronizing heuristics. Expert Systems with Applications. 167(4), 114203.
[Submitted Version] View | Files available | DOI | WoS
 
[2]
2021 | Published | Conference Paper | IST-REx-ID: 9356 | OA
Henzinger TA, Sarac NE. 2021. Quantitative and approximate monitoring. Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. LICS: Logic in Computer Science, 9470547.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[1]
2020 | Published | Conference Paper | IST-REx-ID: 8623 | OA
Henzinger TA, Sarac NE. 2020. Monitorability under assumptions. Runtime Verification. RV: Runtime Verification, LNCS, vol. 12399, 3–18.
[Submitted Version] View | Files available | DOI | WoS
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: ISTA Annual Report

Export / Embed