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.

316 Publications

2021 | Conference Paper | IST-REx-ID: 9200 | OA
Garcia Soto, Miriam, Thomas A Henzinger, and Christian Schilling. “Synthesis of Hybrid Automata with Affine Dynamics from Time-Series Data.” In HSCC ’21: Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control, 2102.12734. Association for Computing Machinery, n.d.
View | Files available | DOI | arXiv
2021 | Technical Report | IST-REx-ID: 9946 | OA
Mühlböck, Fabian, and Thomas A Henzinger. Differential Monitoring. IST Austria, 2021.
View | Files available | DOI
2021 | Preprint | IST-REx-ID: 9281 | OA
Dubach, Guillaume, and Fabian Mühlböck. “Formal Verification of Zagier’s One-Sentence Proof.” ArXiv, n.d.
View | Files available | Download Preprint (ext.) | arXiv
2021 | Conference Paper | IST-REx-ID: 10003 | OA
Henzinger, Thomas A, and Naci E Sarac. “Quantitative and Approximate Monitoring.” In Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science, 1–14. Institute of Electrical and Electronics Engineers, 2021.
View | DOI | Download Preprint (ext.) | arXiv
2020 | Conference Paper | IST-REx-ID: 8012 | OA
Kragl, Bernhard, Constantin Enea, Thomas A Henzinger, Suha Orhun Mutluergil, and Shaz Qadeer. “Inductive Sequentialization of Asynchronous Programs.” In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, 227–42. Association for Computing Machinery, 2020.
View | Files available | DOI | Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 8194 | OA
Baranowski, Marek, Shaobo He, Mathias Lechner, Thanh Son Nguyen, and Zvonimir Rakamarić. “An SMT Theory of Fixed-Point Arithmetic.” In Automated Reasoning, 12166:13–31. Springer Nature, 2020.
View | DOI | Download Published Version (ext.)
2020 | Conference Paper | IST-REx-ID: 8195 | OA
Kragl, Bernhard, Shaz Qadeer, and Thomas A Henzinger. “Refinement for Structured Concurrent Programs.” In Computer Aided Verification, 12224:275–98. Springer Nature, 2020.
View | Files available | DOI
2020 | Conference Paper | IST-REx-ID: 8287 | OA
Bogomolov, Sergiy, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, and Christian Schilling. “Reachability Analysis of Linear Hybrid Systems via Block Decomposition.” In Proceedings of the International Conference on Embedded Software, n.d.
View | Files available | arXiv
2020 | Thesis | IST-REx-ID: 8332 | OA
Kragl, Bernhard. “Verifying Concurrent Programs: Refinement, Synchronization, Sequentialization.” IST Austria, 2020.
View | Files available | DOI
2020 | Conference Paper | IST-REx-ID: 8571 | OA
Geretti, Luca, Julien Alexandre Dit Sandretto, Matthias Althoff, Luis Benet, Alexandre Chapoutot, Xin Chen, Pieter Collins, et al. “ARCH-COMP20 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics.” In EPiC Series in Computing, 74:49–75. EasyChair, 2020.
View | DOI | Download Published Version (ext.)


Filter Publications