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.

Filip Cano Cordoba

Thomas Henzinger

Pavol Kebis

Fabian Kresse

Ana Oliveira da Costa

Konstantin Kueffner

Stefanie Muroya Lei

Mahyar Karimi

Leonard Brice

Dejan Nickovic

Kaushik Mallik

Bernhard Kragl

Sergiy Bogomolov

Arjun Radhakrishna

Thorsten Tarrach

Ali Sezgin

Pavol Cerny

K. S. Thejaswini

Luka Zeleznik

Vasu Singh

Samuel Pastva

Miriam García Soto

Udi Boker

Mathias Lechner

Damien Zufferey

Ashutosh Gupta

Jessica Davies

Halalai, Raluca

Roopsha Samanta

Joost Katoen

Przemyslaw Daca

Anna Lukina

Hui Kong

Nicolas Mazzocchi

Adrian Elgyütt

Cezara Dragoi

Emily Yu

Jan Kretinsky

Guy Avni

Thomas Ferrère

Marek Chalupa

Jan Otop

Christian Schilling

Jakob Ruess

N. Ege Saraç

Mirco Giacobbe

Fabian Mühlböck

Tatjana Petrov

Oliveira da Costa, Ana

Abhinav Verma

Andrey Kupriyanov

Singh, Anmol

Duc Hiep Chu

Thomas Wies

Anmol Tomar

436 Publications

Search / Filter

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: 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: 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

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 | 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

2024 | Published | Journal Article | IST-REx-ID: 14400 |

Symbolic control for stochastic systems via finite parity games
R. Majumdar, K. Mallik, A.K. Schmuck, S. Soudjani, Nonlinear Analysis: Hybrid Systems 51 (2024).

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

2024 | Published | Conference Paper | IST-REx-ID: 17898

Overparametrization helps offline-to-online generalization of closed-loop control from pixels
M. Lechner, R. Hasani, A. Amini, T.H. Wang, T.A. Henzinger, D. Rus, in:, Proceedings of the 2024 IEEE International Conference on Robotics and Automation, Institute of Electrical and Electronics Engineers, 2024, pp. 2774–2782.

View | DOI | WoS

2024 | Published | Conference Paper | IST-REx-ID: 18066 |

Bidding games with charging
G. Avni, E.K. Goharshady, T.A. Henzinger, K. Mallik, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.

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

2024 | Published | Conference Paper | IST-REx-ID: 18067 |

History-determinism vs fair simulation
U. Boker, T.A. Henzinger, K. Lehtinen, A. Prakash, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.

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

2024 | Published | Conference Paper | IST-REx-ID: 18068 |

Strategic dominance: A new preorder for nondeterministic processes
T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 35th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.

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

2024 | Published | Conference Paper | IST-REx-ID: 18175 |

The fault in our stars: Designing reproducible large-scale code analysis experiments
P. Maj, S. Muroya Lei, K. Siek, L. Di Grazia, J. Vitek, in:, 38th European Conference on Object-Oriented Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024.

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

2024 | Published | Conference Paper | IST-REx-ID: 18177

BNClassifier: Classifying boolean models by dynamic properties
N. Beneš, L. Brim, O. Huvar, S. Pastva, D. Šafránek, in:, Computational Methods in Systems Biology, Springer Nature, 2024, pp. 19–26.

View | DOI | WoS

2024 | Published | Conference Paper | IST-REx-ID: 18521 |

Approximate distributed monitoring under partial synchrony: Balancing speed & accuracy
B. Bonakdarpour, A. Momtaz, D. Nickovic, N.E. Sarac, in:, 24th International Conference on Runtime Verification, Springer Nature, 2024, pp. 282–301.

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

2024 | Published | Journal Article | IST-REx-ID: 18530 |

History-deterministic timed automata
S. Bose, T.A. Henzinger, K. Lehtinen, S. Schewe, P. Totzke, Logical Methods in Computer Science 20 (2024) 1–28.

[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

436 Publications

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

436 Publications

Search

Filter Publications

Display / Sort

Export / Embed

Export Options