Please note that ISTA Research Explorer no longer supports Internet Explorer versions 8 or 9 (or earlier).
We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.
391 Publications
2024 |Published| Conference Paper | IST-REx-ID: 15321 | 
Trinh, G., Benhamou, B., Pastva, S., & Soliman, S. (2024). Scalable enumeration of trap spaces in boolean networks via answer set programming. In Proceedings of the 38th AAAI Conference on Artificial Intelligence (Vol. 38, pp. 10714–10722). Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v38i9.28943
[Published Version]
View
| DOI
| Download Published Version (ext.)
2024 |Published| Conference Paper | IST-REx-ID: 15333 |
Chalupa, M., & Richter, C. (2024). Bubaak-SpLit: Split what you cannot verify (Competition contribution). In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 353–358). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_20
[Published Version]
View
| Files available
| DOI
2024 |Published| Conference Paper | IST-REx-ID: 15376 |
Avni, G., Mallik, K., & Sadhukhan, S. (2024). Auction-based scheduling. In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 153–172). Luxembourg City, Luxembourg: Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_8
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Published| Conference Paper | IST-REx-ID: 15377 |
Majumdar, R., Sağlam, I., & Thejaswini, K. S. (2024). Rabin games and colourful universal trees. In 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 14572, pp. 213–231). Springer Nature. https://doi.org/10.1007/978-3-031-57256-2_11
[Published Version]
View
| Files available
| DOI
| arXiv
2024 |Submitted| Conference Paper | IST-REx-ID: 17053
Froleyks, N., Yu, Z., & Biere, A. (n.d.). Ternary simulation as abstract interpretation (Work in Progress). In 27th Workshop on Methods and Description Languages for Modeling and Verification of Circuits and Systems (pp. 148–151). Kaiserslautern, Germany.
View
2024 |Epub ahead of print| Journal Article | IST-REx-ID: 17094 |
Bartocci, E., Ferrere, T., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2024). Information-flow interfaces. Formal Methods in System Design. Springer Nature. https://doi.org/10.1007/s10703-024-00447-0
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 12854 |
Chalupa, M., & Henzinger, T. A. (2023). Bubaak: Runtime monitoring of program verifiers. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 535–540). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_32
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12856 |
Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). Vamos: Middleware for best-effort third-party monitoring. In Fundamental Approaches to Software Engineering (Vol. 13991, pp. 260–281). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30826-0_15
[Published Version]
View
| Files available
| DOI
2023 |Published| Technical Report | IST-REx-ID: 12407 |
Chalupa, M., Mühlböck, F., Muroya Lei, S., & Henzinger, T. A. (2023). VAMOS: Middleware for Best-Effort Third-Party Monitoring. Institute of Science and Technology Austria. https://doi.org/10.15479/AT:ISTA:12407
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 13142 |
Chatterjee, K., Henzinger, T. A., Lechner, M., & Zikelic, D. (2023). A learner-verifier framework for neural network controllers and certificates of stochastic systems. In Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13993, pp. 3–25). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30823-9_1
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 13141 |
Anand, A., Mallik, K., Nayak, S. P., & Schmuck, A. K. (2023). Computing adequately permissive assumptions for synthesis. In TACAS 2023: Tools and Algorithms for the Construction and Analysis of Systems (Vol. 13994, pp. 211–228). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30820-8_15
[Published Version]
View
| Files available
| DOI
2023 |Published| Conference Paper | IST-REx-ID: 12467 |
Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Quantitative safety and liveness. In 26th International Conference Foundations of Software Science and Computation Structures (Vol. 13992, pp. 349–370). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-30829-1_17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 13292 |
Henzinger, T. A., Kebis, P., Mazzocchi, N. A., & Sarac, N. E. (2023). Regular methods for operator precedence languages. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261, p. 129:1--129:20). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2023.129
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12704 |
Lechner, M., Amini, A., Rus, D., & Henzinger, T. A. (2023). Revisiting the adversarial robustness-accuracy tradeoff in robot learning. IEEE Robotics and Automation Letters. Institute of Electrical and Electronics Engineers. https://doi.org/10.1109/LRA.2023.3240930
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2023 |Published| Journal Article | IST-REx-ID: 12876 |
Beneš, N., Brim, L., Huvar, O., Pastva, S., & Šafránek, D. (2023). Boolean network sketches: A unifying framework for logical model inference. Bioinformatics. Oxford Academic. https://doi.org/10.1093/bioinformatics/btad158
[Published Version]
View
| Files available
| DOI
| WoS
| PubMed | Europe PMC
2023 |Published| Conference Paper | IST-REx-ID: 14242 |
Lechner, M., Zikelic, D., Chatterjee, K., Henzinger, T. A., & Rus, D. (2023). Quantization-aware interval bound propagation for training certifiably robust quantized neural networks. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 14964–14973). Washington, DC, United States: Association for the Advancement of Artificial Intelligence. https://doi.org/10.1609/aaai.v37i12.26747
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14243 |
Avni, G., Jecker, I. R., & Zikelic, D. (2023). Bidding graph games with partially-observable budgets. In Proceedings of the 37th AAAI Conference on Artificial Intelligence (Vol. 37, pp. 5464–5471). Washington, DC, United States. https://doi.org/10.1609/aaai.v37i5.25679
[Published Version]
View
| DOI
| Download Published Version (ext.)
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 13310 |
Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37703-7_17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 13221 |
Boker, U., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2023). Safety and liveness of quantitative automata. In 34th International Conference on Concurrency Theory (Vol. 279). Antwerp, Belgium: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2023.17
[Published Version]
View
| Files available
| DOI
| arXiv
2023 |Published| Conference Paper | IST-REx-ID: 14405 |
Bartocci, E., Henzinger, T. A., Nickovic, D., & Oliveira da Costa, A. (2023). Hypernode automata. In 34th International Conference on Concurrency Theory (Vol. 279). Antwerp, Belgium: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CONCUR.2023.21
[Published Version]
View
| Files available
| DOI
| arXiv