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   OA
Ferrere, T., Henzinger, T. A., & Kragl, B. (2020). Monitoring event frequencies. In 28th EACSL Annual Conference on Computer Science Logic (Vol. 152, p. 20). Barcelona, Spain: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.CSL.2020.20
View | Files available | DOI | arXiv
 
2020 | Conference Paper | IST-REx-ID: 8012   OA
Kragl, B., Enea, C., Henzinger, T. A., Mutluergil, S. O., & Qadeer, S. (2020). Inductive sequentialization of asynchronous programs. In Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation (pp. 227–242). London, United Kingdom: Association for Computing Machinery. https://doi.org/10.1145/3385412.3385980
View | DOI | Download (ext.)
 
2020 | Journal Article | IST-REx-ID: 7426
Garcia Soto, M., & Prabhakar, P. (2020). Abstraction based verification of stability of polyhedral switched systems. Nonlinear Analysis: Hybrid Systems, 36(5), 100856. https://doi.org/10.1016/j.nahs.2020.100856
View | DOI
 
2020 | Journal Article | IST-REx-ID: 6761
Avni, G., Henzinger, T. A., & Kupferman, O. (2020). Dynamic resource allocation games. Theoretical Computer Science, 807, 42–55. https://doi.org/10.1016/j.tcs.2019.06.031
View | Files available | DOI
 
2020 | Conference Paper | IST-REx-ID: 7505
Henzinger, T. A., Lukina, A., & Schilling, C. (n.d.). Outside the box: Abstraction-based monitoring of neural networks. In 24th European Conference on Artificial Intelligence. Santiago de Compostela, Spain.
View | arXiv
 
2020 | Conference Paper | IST-REx-ID: 7808   OA
Giacobbe, M., Henzinger, T. A., & Lechner, M. (2020). How many bits does it take to quantize your neural network? In International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 12079, pp. 79–97). Dublin, Ireland: Springer Nature. https://doi.org/10.1007/978-3-030-45237-7_5
View | Files available | DOI
 
2019 | Thesis | IST-REx-ID: 6894
Giacobbe, M. (2019). Automatic time-unbounded reachability analysis of hybrid systems. IST Austria. https://doi.org/10.15479/AT:ISTA:6894
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6565
Kundu, A., Garcia Soto, M., & Prabhakar, P. (2019). Formal synthesis of stabilizing controllers for periodically controlled linear switched systems. In 5th Indian Control Conference Proceedings (p. 8715598). Delhi, India: IEEE. https://doi.org/10.1109/INDIANCC.2019.8715598
View | DOI
 
2019 | Conference Paper | IST-REx-ID: 6042   OA
Christakis, M., Heizmann, M., Mansur, M. N., Schilling, C., & Wüstholz, V. (2019). Semantic fault localization and suspiciousness ranking. In 25th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (Vol. 11427, pp. 226–243). Prague, Czech Republic: Springer Nature. https://doi.org/10.1007/978-3-030-17462-0_13
View | Files available | DOI
 
2019 | Conference Paper | IST-REx-ID: 6888
Lechner, M., Hasani, R., Zimmer, M., Henzinger, T. A., & Grosu, R. (2019). Designing worm-inspired neural networks for interpretable robotic control. In Proceedings - IEEE International Conference on Robotics and Automation (Vol. 2019–May). Montreal, QC, Canada: IEEE. https://doi.org/10.1109/icra.2019.8793840
View | DOI
 

Search

Filter Publications

Display / Sort

Citation Style: APA

Export / Embed