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.
311 Publications
2021 | Preprint | IST-REx-ID: 9200 | 
M. Garcia Soto, T. A. Henzinger, and C. Schilling, “Synthesis of hybrid automata with affine dynamics from time-series data,” arXiv. .
View
| Files available
| arXiv
2021 | Conference Paper | IST-REx-ID: 9202 |
M. Garcia Soto and P. Prabhakar, “Hybridization for stability verification of nonlinear switched systems,” in 2020 IEEE Real-Time Systems Symposium, Houston, TX, USA , 2021, pp. 244–256.
View
| Files available
| DOI
2021 | Journal Article | IST-REx-ID: 9239
G. Avni, T. A. Henzinger, and Đ. Žikelić, “Bidding mechanisms in graph games,” Journal of Computer and System Sciences, vol. 119, no. 8. Elsevier, pp. 133–144, 2021.
View
| Files available
| DOI
2021 | Preprint | IST-REx-ID: 9281 |
G. Dubach and F. Mühlböck, “Formal verification of Zagier’s one-sentence proof,” arXiv. .
View
| Download Preprint (ext.)
| arXiv
2021 | Journal Article | IST-REx-ID: 8912 |
N. E. Sarac, Ö. F. Altun, K. T. Atam, S. Karahoda, K. Kaya, and H. Yenigün, “Boosting expensive synchronizing heuristics,” Expert Systems with Applications, vol. 167, no. 4. Elsevier, 2021.
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8012 |
B. Kragl, C. Enea, T. A. Henzinger, S. O. Mutluergil, and S. Qadeer, “Inductive sequentialization of asynchronous programs,” in Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, London, United Kingdom, 2020, pp. 227–242.
View
| Files available
| DOI
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 8194 |
M. Baranowski, S. He, M. Lechner, T. S. Nguyen, and Z. Rakamarić, “An SMT theory of fixed-point arithmetic,” in Automated Reasoning, Paris, France, 2020, vol. 12166, pp. 13–31.
View
| DOI
| Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 8195 |
B. Kragl, S. Qadeer, and T. A. Henzinger, “Refinement for structured concurrent programs,” in Computer Aided Verification, 2020, vol. 12224, pp. 275–298.
View
| Files available
| DOI
2020 | Conference Paper | IST-REx-ID: 8287 |
S. Bogomolov, M. Forets, G. Frehse, K. Potomkin, and C. Schilling, “Reachability analysis of linear hybrid systems via block decomposition,” in Proceedings of the International Conference on Embedded Software, Virtual .
View
| Files available
| arXiv
2020 | Thesis | IST-REx-ID: 8332 |
B. Kragl, “Verifying concurrent programs: Refinement, synchronization, sequentialization,” IST Austria, 2020.
View
| Files available
| DOI