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.




293 Publications

2020 | Conference Paper | IST-REx-ID: 7348 | OA
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.
View | Files available | DOI | arXiv
 
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
 
2020 | Conference Paper | IST-REx-ID: 7808 | OA
How many bits does it take to quantize your neural network?
M. Giacobbe, T.A. Henzinger, M. Lechner, in:, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Springer Nature, 2020, pp. 79–97.
View | Files available | DOI
 
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
 
2020 | Conference Paper | IST-REx-ID: 8012 | OA
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 | Files available | DOI | Download Published Version (ext.)
 

Search

Display / Sort

Export / Embed