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.
438 Publications
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 |
Thesis | PhD |
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: 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: 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 |
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: 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: 20256 |
Predictive monitoring of black-box dynamical systems
T.A. Henzinger, F. Kresse, K. Mallik, E. Yu, D. Zikelic, in:, 7th Annual Learning for Dynamics & Control Conference, ML Research Press, 2025, pp. 804–816.
[Published Version]
View
| Files available
| arXiv
T.A. Henzinger, F. Kresse, K. Mallik, E. Yu, D. Zikelic, in:, 7th Annual Learning for Dynamics & Control Conference, ML Research Press, 2025, pp. 804–816.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20290 |
Finding equilibria: Simpler for pessimists, simplest for optimists
L. Brice, T.A. Henzinger, K.S. Thejaswini, in:, 50th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
L. Brice, T.A. Henzinger, K.S. Thejaswini, in:, 50th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20291 |
Resolving nondeterminism with randomness
T.A. Henzinger, A. Prakash, K.S. Thejaswini, in:, 50th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
[Published Version]
View
| Files available
| DOI
| arXiv
T.A. Henzinger, A. Prakash, K.S. Thejaswini, in:, 50th International Symposium on Mathematical Foundations of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20292 |
Monitoring robustness and individual fairness
A. Gupta, T.A. Henzinger, K. Kueffner, K. Mallik, D. Pape, in:, Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Association for Computing Machinery, 2025, pp. 790–801.
[Published Version]
View
| Files available
| DOI
| arXiv
A. Gupta, T.A. Henzinger, K. Kueffner, K. Mallik, D. Pape, in:, Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining, Association for Computing Machinery, 2025, pp. 790–801.
2025 |
Published |
Conference Paper |
IST-REx-ID: 20296 |
Logic gate neural networks are good for verification
F. Kresse, E. Yu, C. Lampert, T.A. Henzinger, in:, 2nd International Conferenceon Neuro-Symbolic Systems, ML Research Press, 2025.
[Published Version]
View
| Files available
| arXiv
F. Kresse, E. Yu, C. Lampert, T.A. Henzinger, in:, 2nd International Conferenceon Neuro-Symbolic Systems, ML Research Press, 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: 18169 |
VAMOS: Middleware for best-effort third-party monitoring
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, Science of Computer Programming 240 (2025).
[Published Version]
View
| Files available
| DOI
| WoS
M. Chalupa, F. Mühlböck, S. Muroya Lei, T.A. Henzinger, Science of Computer Programming 240 (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: 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 |
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.
2024 |
Published |
Conference Paper |
IST-REx-ID: 17053 |
Ternary simulation as abstract interpretation (Work in Progress)
N. Froleyks, E. Yu, A. Biere, in:, 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, 2024, pp. 148–151.
[Submitted Version]
View
| Download Submitted Version (ext.)
N. Froleyks, E. Yu, A. Biere, in:, 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems, 2024, pp. 148–151.