en
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.
289 Publications
2020 | Conference Paper | IST-REx-ID: 7348 
Monitoring event frequencies
T. Ferrere, T.A. Henzinger, B. Kragl, in:, 28th EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 20.
View
| Files available
| DOI
| arXiv
T. Ferrere, T.A. Henzinger, B. Kragl, in:, 28th EACSL Annual Conference on Computer Science Logic, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2020, p. 20.
2020 | Conference Paper | IST-REx-ID: 8012
Inductive sequentialization of asynchronous programs
B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–242.
View
| DOI
| Download (ext.)
B. Kragl, C. Enea, T.A. Henzinger, S.O. Mutluergil, S. Qadeer, in:, Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2020, pp. 227–242.
2020 | Journal Article | IST-REx-ID: 7426
Abstraction based verification of stability of polyhedral switched systems
M. Garcia Soto, P. Prabhakar, Nonlinear Analysis: Hybrid Systems 36 (2020) 100856.
View
| DOI
M. Garcia Soto, P. Prabhakar, Nonlinear Analysis: Hybrid Systems 36 (2020) 100856.
2020 | Journal Article | IST-REx-ID: 6761
Dynamic resource allocation games
G. Avni, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 807 (2020) 42–55.
View
| Files available
| DOI
G. Avni, T.A. Henzinger, O. Kupferman, Theoretical Computer Science 807 (2020) 42–55.
2020 | Conference Paper | IST-REx-ID: 7505
Outside the box: Abstraction-based monitoring of neural networks
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, n.d.
View
| arXiv
T.A. Henzinger, A. Lukina, C. Schilling, in:, 24th European Conference on Artificial Intelligence, n.d.