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.
428 Publications
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 of the United States of America 122 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
S. Muroya Lei, K. Chatterjee, T.A. Henzinger, Proceedings of the National Academy of Sciences of the United States of America 122 (2025).
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).
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
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
S. Pastva, K.H. Park, O. Huvar, J.C. Rozum, R. Albert, Journal of Mathematical Biology 91 (2025).
2025 | Published | Conference Paper | IST-REx-ID: 20024
Cooperative software verification via dynamic program splitting
C. Richter, M. Chalupa, M.-C. Jakobs, H. Wehrheim, in:, 47th International Conference on Software Engineering, IEEE, 2025, pp. 2087–2099.
View
| DOI
| WoS
C. Richter, M. Chalupa, M.-C. Jakobs, H. Wehrheim, in:, 47th International Conference on Software Engineering, IEEE, 2025, pp. 2087–2099.
2025 | Published | Journal Article | IST-REx-ID: 20186 |
| 
|
Gray-box runtime enforcement of hyperproperties
T.H. Hsu, A.A. Oliveira da Costa, A. Wintenberg, E. Bartocci, B. Bonakdarpour, Acta Informatica 62 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
T.H. Hsu, A.A. Oliveira da Costa, A. Wintenberg, E. Bartocci, B. Bonakdarpour, Acta Informatica 62 (2025).
2025 | Published | Conference Paper | IST-REx-ID: 20253 |
Quantitative language automata
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 36th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 36th International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
2025 | Published | Conference Paper | IST-REx-ID: 20225 |
Supermartingale certificates for quantitative omega-regular verification and control
T.A. Henzinger, K. Mallik, P. Sadeghi, D. Zikelic, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 29–55.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
T.A. Henzinger, K. Mallik, P. Sadeghi, D. Zikelic, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 29–55.
2025 | Published | Conference Paper | IST-REx-ID: 20189 |
Introducing certificates to the hardware model checking competition
N. Froleyks, E. Yu, M. Preiner, A. Biere, K. Heljanko, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 281–295.
[Published Version]
View
| Files available
| DOI
| WoS
N. Froleyks, E. Yu, M. Preiner, A. Biere, K. Heljanko, in:, 37th International Conference on Computer Aided Verification, Springer Nature, 2025, pp. 281–295.
2025 | Published | Thesis | IST-REx-ID: 20147 |
A monitoring-oriented theory and classification of quantitative specifications
N.E. Sarac, A Monitoring-Oriented Theory and Classification of Quantitative Specifications, Institute of Science and Technology Austria, 2025.
[Published Version]
View
| Files available
| DOI
N.E. Sarac, A Monitoring-Oriented Theory and Classification of Quantitative Specifications, Institute of Science and Technology Austria, 2025.
2025 | Published | Journal Article | IST-REx-ID: 20342 |
|
|
Safety and liveness of quantitative properties and automata
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, Logical Methods in Computer Science 21 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
U. Boker, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, Logical Methods in Computer Science 21 (2025).
2025 | Published | Book Chapter | IST-REx-ID: 20723 |
Information-Flow Interfaces and Security Lattices
E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, Engineering Safe and Trustworthy Cyber Physical Systems, Springer Nature, Cham, 2025, pp. 251–263.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
E. Bartocci, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, in:, Engineering Safe and Trustworthy Cyber Physical Systems, Springer Nature, Cham, 2025, pp. 251–263.
2025 | Published | Journal Article | IST-REx-ID: 17094 |
|
|
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
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Formal Methods in System Design 66 (2025) 3–48.
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
E. Bartocci, M. Chalupa, T.A. Henzinger, D. Nickovic, A. Oliveira da Costa, Acta Informatica 62 (2025).
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
R. Majumdar, K. Mallik, A.K. Schmuck, S. Soudjani, Nonlinear Analysis: Hybrid Systems 51 (2024).
2024 | Published | Conference Paper | IST-REx-ID: 18955 |
Simple and tight complexity lower bounds for solving Rabin games
A. Casares, M. Pilipczuk, M. Pilipczuk, U.S. Souza, K.S. Thejaswini, in:, 2024 Symposium on Simplicity in Algorithms, Society for Industrial and Applied Mathematics, 2024, pp. 160–167.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
A. Casares, M. Pilipczuk, M. Pilipczuk, U.S. Souza, K.S. Thejaswini, in:, 2024 Symposium on Simplicity in Algorithms, Society for Industrial and Applied Mathematics, 2024, pp. 160–167.
2024 | Published | Conference Paper | IST-REx-ID: 15321 |
Scalable enumeration of trap spaces in boolean networks via answer set programming
G. Trinh, B. Benhamou, S. Pastva, S. Soliman, in:, Proceedings of the 38th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2024, pp. 10714–10722.
[Published Version]
View
| DOI
| Download Published Version (ext.)
G. Trinh, B. Benhamou, S. Pastva, S. Soliman, in:, Proceedings of the 38th AAAI Conference on Artificial Intelligence, Association for the Advancement of Artificial Intelligence, 2024, pp. 10714–10722.
2024 | Published | Book Chapter | IST-REx-ID: 18563
Reminiscences of a Real-Time Researcher
T.A. Henzinger, in:, S. Graf, P. Pettersson, B. Steffen (Eds.), Real Time and Such, Springer Nature, Cham, 2024, pp. 154–164.
View
| DOI
T.A. Henzinger, in:, S. Graf, P. Pettersson, B. Steffen (Eds.), Real Time and Such, Springer Nature, Cham, 2024, pp. 154–164.
2024 | Published | Conference Paper | IST-REx-ID: 15333 |
Bubaak-SpLit: Split what you cannot verify (Competition contribution)
M. Chalupa, C. Richter, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 353–358.
[Published Version]
View
| Files available
| DOI
| WoS
M. Chalupa, C. Richter, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 353–358.
2024 | Published | Conference Paper | IST-REx-ID: 15376 |
Auction-based scheduling
G. Avni, K. Mallik, S. Sadhukhan, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 153–172.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
G. Avni, K. Mallik, S. Sadhukhan, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 153–172.
2024 | Published | Conference Paper | IST-REx-ID: 15377 |
Rabin games and colourful universal trees
R. Majumdar, I. Sağlam, K.S. Thejaswini, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 213–231.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
R. Majumdar, I. Sağlam, K.S. Thejaswini, in:, 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2024, pp. 213–231.