ISTA Research Explorer

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

Thomas Henzinger

Leonard Brice

Filip Cano Cordoba

Pavol Kebis

Fabian Kresse

Konstantin Kueffner

Stefanie Muroya Lei

Ana Oliveira da Costa

Anton Varonka

Hao Wu

Guy Avni

Sergiy Bogomolov

Udi Boker

Pavol Cerny

Marek Chalupa

Duc Hiep Chu

Przemyslaw Daca

Jessica Davies

Cezara Dragoi

Adrian Elgyütt

Thomas Ferrère

Miriam García Soto

Mirco Giacobbe

Ashutosh Gupta

Mahyar Karimi

Joost Katoen

Hui Kong

Bernhard Kragl

Jan Kretinsky

Andrey Kupriyanov

Mathias Lechner

Anna Lukina

Kaushik Mallik

Nicolas Mazzocchi

Fabian Mühlböck

Dejan Nickovic

Jan Otop

Samuel Pastva

Tatjana Petrov

Arjun Radhakrishna

Jakob Ruess

Roopsha Samanta

N. Ege Saraç

Christian Schilling

Ali Sezgin

Vasu Singh

Thorsten Tarrach

K. S. Thejaswini

Anmol Tomar

Abhinav Verma

Thomas Wies

Emily Yu

Luka Zeleznik

Damien Zufferey

Oliveira da Costa, Ana

Singh, Anmol

Halalai, Raluca

438 Publications

Search / Filter

2026 | Published | Conference Paper | IST-REx-ID: 22006 |

Quantitative monitoring of Signal First-Order logic
M. Chalupa, T.A. Henzinger, N.E. Sarac, E. Yu, in:, 27th International Symposium on Formal Methods, Springer Nature, 2026, pp. 214–233.

[Published Version] View | Files available | DOI | arXiv

Certificates in AI: Learn but verify
C. Barrett, T.A. Henzinger, S.A. Seshia, Communications of the ACM 69 (2026) 66–75.

[Published Version] View | Files available | DOI

2026 | Published | Thesis | MS | IST-REx-ID: 21401 |

Privacy-preserving runtime verification
M. Karimi, Privacy-Preserving Runtime Verification, Institute of Science and Technology Austria, 2026.

[Published Version] View | Files available | DOI

2026 | Published | Conference Paper | IST-REx-ID: 22103 |

Explaining decisions one conversation at a time: Opportunities and risks of LLMs as explainability assistants
F. Cano Cordoba, in:, Proceedings of the 18th International Conference on Agents and Artificial Intelligence, Science and Technology Publications, 2026, pp. 4689–4696.

[Accepted Version] View | DOI | Download Accepted Version (ext.)

2025 | Published | Journal Article | IST-REx-ID: 20866 |

Hypernode automata
E. Bartocci, M. Chalupa, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Acta Informatica 62 (2025).

[Published Version] View | Files available | DOI | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21020 |

Privacy-preserving runtime verification
T.A. Henzinger, M. Karimi, K.S. Thejaswini, in:, Proceedings of the 2025 ACM SIGSAC Conference on Computer and Communications Security, Association for Computing Machinery, 2025, pp. 2774–2787.

[Published Version] View | Files available | DOI | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21089 |

Flavors of quantifiers in hyperlogics
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 45th Annual Conference on Foundations of Software Technology and Theoretical Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, p. 20:1-20:18.

[Published Version] View | Files available | DOI | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21090 |

Algorithmic fairness: A runtime perspective
F. Cano Cordoba, T.A. Henzinger, K. Kueffner, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 1–21.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21091 |

Formal verification of neural certificates done dynamically
T.A. Henzinger, K. Kueffner, E. Yu, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 54–72.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21092 |

Alignment monitoring
T.A. Henzinger, K. Kueffner, V. Singh, I. Sun, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 140–159.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21093 |

Monitoring hypernode logic over infinite domains
M. Chalupa, T.A. Henzinger, A.A. Oliveira da Costa, in:, 25th International Conference on Runtime Verification, Springer Nature, 2025, pp. 417–437.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 21885

Neural Certificates
T.A. Henzinger, in:, Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing, IEEE, 2025.

View | DOI

Information-flow interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design 66 (2025) 3–48.

[Published Version] View | Files available | DOI | WoS | arXiv

2025 | Published | Journal Article | IST-REx-ID: 19499 |

Hardware-optimal quantum algorithms
S. Muroya Lei, K. Chatterjee, T.A. Henzinger, Proceedings of the National Academy of Sciences 122 (2025).

2025 | Published | Conference Paper | IST-REx-ID: 19665 |

Fairness shields: Safeguarding against biased decision makers
F. Cano Cordoba, T.A. Henzinger, B. Könighofer, K. Kueffner, K. Mallik, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 15659–15668.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 19668 |

Neural control and certificate repair via runtime monitoring
E. Yu, D. Zikelic, T.A. Henzinger, in:, Proceedings of the 39th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2025, pp. 26409–26417.

[Preprint] View | DOI | Download Preprint (ext.) | arXiv

2025 | Published | Conference Paper | IST-REx-ID: 19739 |

BUBAAK: Dynamic cooperative verification
M. Chalupa, C. Richter, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 212–216.

[Published Version] View | Files available | DOI

2025 | Published | Conference Paper | IST-REx-ID: 19741 |

Automating the analysis of quantitative automata with QuAK
M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2025, pp. 303–312.

[Published Version] View | Files available | DOI | arXiv

2025 | Published | Journal Article | IST-REx-ID: 19796 |

Mapping the attractor landscape of Boolean networks with biobalm
V.G. Trinh, K.H. Park, S. Pastva, J.C. Rozum, Bioinformatics 41 (2025).

2025 | Published | Journal Article | IST-REx-ID: 19854 |

An open problem: Why are motif-avoidant attractors so rare in asynchronous Boolean networks?
S. Pastva, K.H. Park, O. Huvar, J.C. Rozum, R. Albert, Journal of Mathematical Biology 91 (2025).

[Published Version] View | Files available | DOI | WoS | arXiv

Henzinger_Thomas Group

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

Alumni

438 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

Henzinger_Thomas Group

Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

Alumni

438 Publications

Filters and Search Terms

Search

Filter Publications

Display / Sort

Export / Embed

Export Options