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.
436 Publications
2026 |
Published |
Journal Article |
IST-REx-ID: 21012 |
| 
|
Barrett, Clark, et al. “Certificates in AI: Learn but Verify.” Communications of the ACM, vol. 69, no. 1, Association for Computing Machinery, 2026, pp. 66–75, doi:10.1145/3737447.
[Published Version]
View
| Files available
| DOI
2026 |
Published |
Thesis | MS |
IST-REx-ID: 21401 |
Karimi, Mahyar. Privacy-Preserving Runtime Verification. Institute of Science and Technology Austria, 2026, doi:10.15479/AT-ISTA-21401.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 18169 |
Chalupa, Marek, et al. “VAMOS: Middleware for Best-Effort Third-Party Monitoring.” Science of Computer Programming, vol. 240, no. 2, 103212, Elsevier, 2025, doi:10.1016/j.scico.2024.103212.
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Journal Article |
IST-REx-ID: 19796 |
Trinh, Van Giang, et al. “Mapping the Attractor Landscape of Boolean Networks with Biobalm.” Bioinformatics, vol. 41, no. 5, btaf280, Oxford University Press, 2025, doi:10.1093/bioinformatics/btaf280.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Published |
Journal Article |
IST-REx-ID: 19854 |
Pastva, Samuel, et al. “An Open Problem: Why Are Motif-Avoidant Attractors so Rare in Asynchronous Boolean Networks?” Journal of Mathematical Biology, vol. 91, 11, Springer Nature, 2025, doi:10.1007/s00285-025-02235-8.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20024
Richter, Cedric, et al. “Cooperative Software Verification via Dynamic Program Splitting.” 47th International Conference on Software Engineering, IEEE, 2025, pp. 2087–99, doi:10.1109/ICSE55347.2025.00092.
View
| DOI
| WoS
2025 |
Published |
Thesis | PhD |
IST-REx-ID: 20147 |
Sarac, Naci E. A Monitoring-Oriented Theory and Classification of Quantitative Specifications. Institute of Science and Technology Austria, 2025, doi:10.15479/AT-ISTA-20147.
[Published Version]
View
| Files available
| DOI
2025 |
Published |
Journal Article |
IST-REx-ID: 20186 |
|
|
Hsu, Tzu Han, et al. “Gray-Box Runtime Enforcement of Hyperproperties.” Acta Informatica, vol. 62, no. 3, 30, Springer Nature, 2025, doi:10.1007/s00236-025-00502-1.
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Conference Paper |
IST-REx-ID: 20189 |
Froleyks, Nils, et al. “Introducing Certificates to the Hardware Model Checking Competition.” 37th International Conference on Computer Aided Verification, vol. 15931, Springer Nature, 2025, pp. 281–95, doi:10.1007/978-3-031-98668-0_14.
[Published Version]
View
| Files available
| DOI
| WoS
2025 |
Published |
Conference Paper |
IST-REx-ID: 20225 |
Henzinger, Thomas A., et al. “Supermartingale Certificates for Quantitative Omega-Regular Verification and Control.” 37th International Conference on Computer Aided Verification, vol. 15932, Springer Nature, 2025, pp. 29–55, doi:10.1007/978-3-031-98679-6_2.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20253 |
Henzinger, Thomas A., et al. “Quantitative Language Automata.” 36th International Conference on Concurrency Theory, vol. 348, 21, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:10.4230/LIPIcs.CONCUR.2025.21.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20256 |
Henzinger, Thomas A., et al. “Predictive Monitoring of Black-Box Dynamical Systems.” 7th Annual Learning for Dynamics & Control Conference, vol. 283, ML Research Press, 2025, pp. 804–16.
[Published Version]
View
| Files available
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20290 |
Brice, Léonard, et al. “Finding Equilibria: Simpler for Pessimists, Simplest for Optimists.” 50th International Symposium on Mathematical Foundations of Computer Science, vol. 345, 30, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:10.4230/LIPIcs.MFCS.2025.30.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20291 |
Henzinger, Thomas A., et al. “Resolving Nondeterminism with Randomness.” 50th International Symposium on Mathematical Foundations of Computer Science, vol. 345, 57, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2025, doi:10.4230/LIPIcs.MFCS.2025.57.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20292 |
Gupta, Ashutosh, et al. “Monitoring Robustness and Individual Fairness.” Proceedings of the 31st ACM SIGKDD Conference on Knowledge Discovery and Data Mining, vol. 2, Association for Computing Machinery, 2025, pp. 790–801, doi:10.1145/3711896.3737054.
[Published Version]
View
| Files available
| DOI
| arXiv
2025 |
Published |
Conference Paper |
IST-REx-ID: 20296 |
Kresse, Fabian, et al. “Logic Gate Neural Networks Are Good for Verification.” 2nd International Conferenceon Neuro-Symbolic Systems, vol. 288, 26, ML Research Press, 2025.
[Published Version]
View
| Files available
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 20342 |
|
|
Boker, Udi, et al. “ Safety and Liveness of Quantitative Properties and Automata.” Logical Methods in Computer Science, vol. 21, no. 2, 13149, EPI Sciences, 2025, doi:10.46298/lmcs-21(2:2)2025.
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2025 |
Published |
Book Chapter |
IST-REx-ID: 20723 |
Bartocci, Ezio, et al. “Information-Flow Interfaces and Security Lattices.” Engineering Safe and Trustworthy Cyber Physical Systems, vol. 15471, Springer Nature, 2025, pp. 251–63, doi:10.1007/978-3-031-97537-0_15.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2025 |
Published |
Journal Article |
IST-REx-ID: 19499 |
Muroya Lei, Stefanie, et al. “Hardware-Optimal Quantum Algorithms.” Proceedings of the National Academy of Sciences, vol. 122, no. 12, e2419273122, National Academy of Sciences, 2025, doi:10.1073/pnas.2419273122.
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2025 |
Published |
Conference Paper |
IST-REx-ID: 19665 |
Cano Cordoba, Filip, et al. “Fairness Shields: Safeguarding against Biased Decision Makers.” Proceedings of the 39th AAAI Conference on Artificial Intelligence, vol. 39, no. 15, Association for the Advancement of Artificial Intelligence, 2025, pp. 15659–68, doi:10.1609/aaai.v39i15.33719.
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv