Publications

2027

TriCycle: Proving Temporal Hyperproperties, Coinductively

Arthur Correnson, N. Ege Saraç^†, Mishel Carelli, Bernd Finkbeiner

Symp. on Principles of Programming Languages POPL

2026

Monitoring Discounted Sum Properties

pdfcode

Filip Cano, Thomas A. Henzinger, Konstantin Kueffner, N. Ege Saraç

Intl. Conf. on Concurrency Theory CONCUR

Extending QuAK with Nested Quantitative Automata

pdfcode

Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç^*, Harun Yılmaz

Intl. Conf. on Computer Aided Verification CAV

Quantitative Monitoring of Signal First-Order Logic

pdfcode

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç^*, Emily Yu

Intl. Symp. on Formal Methods FM

2025

A Monitoring-Oriented Theory and Classification of Quantitative Specifications

pdfproposal

N. Ege Saraç

PhD Thesis, Institute of Science and Technology Austria (ISTA)

Nominated for the ISTA Outstanding PhD Thesis Award

Quantitative Language Automata

pdf

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

Intl. Conf. on Concurrency Theory CONCUR

Invited to LMCS special issue

Safety and Liveness of Quantitative Properties and Automata

pdf

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

Logical Methods in Computer Science, Volume 21, Issue 2 LMCS

Automating the Analysis of Quantitative Automata with QuAK

pdfcode

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

Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems TACAS

2024

QuAK: Quantitative Automata Kit

pdfcode

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

Intl. Symp. on Leveraging Applications of Formal Methods ISoLA

Invited paper

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy

pdfcode

Borzoo Bonakdarpour, Anik Momtaz, Dejan Ničković, N. Ege Saraç^*

Intl. Conf. on Runtime Verification RV

Invited to STTT special issue

Strategic Dominance: A New Preorder for Nondeterministic Processes

pdf

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

Intl. Conf. on Concurrency Theory CONCUR

2023

Safety and Liveness of Quantitative Automata

pdf

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

Intl. Conf. on Concurrency Theory CONCUR

Invited to LMCS special issue

Regular Methods for Operator Precedence Languages

pdf

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

Intl. Colloq. on Automata, Languages and Programming ICALP

Quantitative Safety and Liveness

pdf

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

Intl. Conf. on Foundations of Software Science and Computation Structures FoSSaCS

2022

Abstract Monitors for Quantitative Specifications

pdf

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

Intl. Conf. on Runtime Verification RV

2021

Quantitative and Approximate Monitoring

pdf

Thomas A. Henzinger, N. Ege Saraç^*

Symp. on Logic in Computer Science LICS

Boosting Expensive Synchronizing Heuristics

pdfcode

N. Ege Saraç^†, Ömer Faruk Altun, Kamil Tolga Atam, Sertaç Karahoda, Kamer Kaya, Hüsnü Yenigün

Expert Systems with Applications, Volume 167 ESWA

2020

Monitorability Under Assumptions

pdf

Thomas A. Henzinger, N. Ege Saraç^*

Intl. Conf. on Runtime Verification RV

Invited paper

2018

A Theory of Register Monitors

pdf

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

Symp. on Logic in Computer Science LICS

Some publications appear under more than one topic.

Hyperproperties

TriCycle: Proving Temporal Hyperproperties, Coinductively

Arthur Correnson, N. Ege Saraç^†, Mishel Carelli, Bernd Finkbeiner

Symp. on Principles of Programming Languages, 2027 POPL

Quantitative Language Automata

pdf

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

Intl. Conf. on Concurrency Theory, 2025 CONCUR

Invited to LMCS special issue

Quantitative Verification

Monitoring Discounted Sum Properties

pdfcode

Filip Cano, Thomas A. Henzinger, Konstantin Kueffner, N. Ege Saraç

Intl. Conf. on Concurrency Theory, 2026 CONCUR

Extending QuAK with Nested Quantitative Automata

pdfcode

Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç^*, Harun Yılmaz

Intl. Conf. on Computer Aided Verification, 2026 CAV

Quantitative Monitoring of Signal First-Order Logic

pdfcode

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç^*, Emily Yu

Intl. Symp. on Formal Methods, 2026 FM

A Monitoring-Oriented Theory and Classification of Quantitative Specifications

pdfproposal

N. Ege Saraç

PhD Thesis, Institute of Science and Technology Austria (ISTA), 2025

Nominated for the ISTA Outstanding PhD Thesis Award

Quantitative Language Automata

pdf

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

Intl. Conf. on Concurrency Theory, 2025 CONCUR

Invited to LMCS special issue

Safety and Liveness of Quantitative Properties and Automata

pdf

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

Logical Methods in Computer Science, Volume 21, Issue 2, 2025 LMCS

Automating the Analysis of Quantitative Automata with QuAK

pdfcode

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

Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, 2025 TACAS

QuAK: Quantitative Automata Kit

pdfcode

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

Intl. Symp. on Leveraging Applications of Formal Methods, 2024 ISoLA

Invited paper

Strategic Dominance: A New Preorder for Nondeterministic Processes

pdf

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

Intl. Conf. on Concurrency Theory, 2024 CONCUR

Safety and Liveness of Quantitative Automata

pdf

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

Intl. Conf. on Concurrency Theory, 2023 CONCUR

Invited to LMCS special issue

Quantitative Safety and Liveness

pdf

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

Intl. Conf. on Foundations of Software Science and Computation Structures, 2023 FoSSaCS

Abstract Monitors for Quantitative Specifications

pdf

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

Intl. Conf. on Runtime Verification, 2022 RV

Quantitative and Approximate Monitoring

pdf

Thomas A. Henzinger, N. Ege Saraç^*

Symp. on Logic in Computer Science, 2021 LICS

Runtime Monitoring

Monitoring Discounted Sum Properties

pdfcode

Filip Cano, Thomas A. Henzinger, Konstantin Kueffner, N. Ege Saraç

Intl. Conf. on Concurrency Theory, 2026 CONCUR

Quantitative Monitoring of Signal First-Order Logic

pdfcode

Marek Chalupa, Thomas A. Henzinger, N. Ege Saraç^*, Emily Yu

Intl. Symp. on Formal Methods, 2026 FM

A Monitoring-Oriented Theory and Classification of Quantitative Specifications

pdfproposal

N. Ege Saraç

PhD Thesis, Institute of Science and Technology Austria (ISTA), 2025

Nominated for the ISTA Outstanding PhD Thesis Award

QuAK: Quantitative Automata Kit

pdfcode

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

Intl. Symp. on Leveraging Applications of Formal Methods, 2024 ISoLA

Invited paper

Approximate Distributed Monitoring under Partial Synchrony: Balancing Speed and Accuracy

pdfcode

Borzoo Bonakdarpour, Anik Momtaz, Dejan Ničković, N. Ege Saraç^*

Intl. Conf. on Runtime Verification, 2024 RV

Invited to STTT special issue

Quantitative Safety and Liveness

pdf

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

Intl. Conf. on Foundations of Software Science and Computation Structures, 2023 FoSSaCS

Abstract Monitors for Quantitative Specifications

pdf

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

Intl. Conf. on Runtime Verification, 2022 RV

Quantitative and Approximate Monitoring

pdf

Thomas A. Henzinger, N. Ege Saraç^*

Symp. on Logic in Computer Science, 2021 LICS

Monitorability Under Assumptions

pdf

Thomas A. Henzinger, N. Ege Saraç^*

Intl. Conf. on Runtime Verification, 2020 RV

Invited paper

A Theory of Register Monitors

pdf

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

Symp. on Logic in Computer Science, 2018 LICS

Additional Topics

Model Checking

Extending QuAK with Nested Quantitative Automata

pdfcode

Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç^*, Harun Yılmaz

Intl. Conf. on Computer Aided Verification, 2026 CAV

A Monitoring-Oriented Theory and Classification of Quantitative Specifications

pdfproposal

N. Ege Saraç

PhD Thesis, Institute of Science and Technology Austria (ISTA), 2025

Nominated for the ISTA Outstanding PhD Thesis Award

Quantitative Language Automata

pdf

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

Intl. Conf. on Concurrency Theory, 2025 CONCUR

Invited to LMCS special issue

Automating the Analysis of Quantitative Automata with QuAK

pdfcode

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

Intl. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, 2025 TACAS

QuAK: Quantitative Automata Kit

pdfcode

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

Intl. Symp. on Leveraging Applications of Formal Methods, 2024 ISoLA

Invited paper

Strategic Dominance: A New Preorder for Nondeterministic Processes

pdf

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

Intl. Conf. on Concurrency Theory, 2024 CONCUR

Regular Methods for Operator Precedence Languages

pdf

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

Intl. Colloq. on Automata, Languages and Programming, 2023 ICALP

Model-Based Testing

Boosting Expensive Synchronizing Heuristics

pdfcode

N. Ege Saraç^†, Ömer Faruk Altun, Kamil Tolga Atam, Sertaç Karahoda, Kamer Kaya, Hüsnü Yenigün

Expert Systems with Applications, Volume 167, 2021 ESWA

^* Corresponding author.

^† Authors ordered by contribution; otherwise alphabetically.