N. Ege Sara
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
15
Venues
9
Active years
2018–2026
Best venue rank
A*
Where they publish
Papers
15 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | CAV | Extending QuAK with Nested Quantitative Automata. | Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara, Harun Yilmaz |
| 2026 | CONCUR | Monitoring Discounted Sum Properties. | Filip Cano, Thomas A. Henzinger, Konstantin Kueffner, N. Ege Sara |
| 2026 | FM | Quantitative Monitoring of Signal First-Order Logic. | Marek Chalupa, Thomas A. Henzinger, N. Ege Sara, Emily Yu |
| 2025 | CONCUR | Quantitative Language Automata. | Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Sara |
| 2025 | TACAS | Automating the Analysis of Quantitative Automata with QuAK. | Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara |
| 2024 | CONCUR | Strategic Dominance: A New Preorder for Nondeterministic Processes. | Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara |
| 2024 | ISoLA | QuAK: Quantitative Automata Kit. | Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara |
| 2024 | RV | Approximate Distributed Monitoring Under Partial Synchrony: Balancing Speed & Accuracy. | Borzoo Bonakdarpour, Anik Momtaz, Dejan Nickovic, N. Ege Sara |
| 2023 | CONCUR | Safety and Liveness of Quantitative Automata. | Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara |
| 2023 | FOSSACS | Quantitative Safety and Liveness. | Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara |
| 2023 | ICALP | Regular Methods for Operator Precedence Languages. | Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Sara |
| 2022 | RV | Abstract Monitors for Quantitative Specifications. | Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Sara |
| 2021 | LICS | Quantitative and Approximate Monitoring. | Thomas A. Henzinger, N. Ege Sara |
| 2020 | RV | Monitorability Under Assumptions. | Thomas A. Henzinger, N. Ege Sara |
| 2018 | LICS | A Theory of Register Monitors. | Thomas Ferrre, Thomas A. Henzinger, N. Ege Sara |