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.
385 Publications
2022 |
Published |
Conference Paper |
IST-REx-ID: 10891
Henzinger TA. Quantitative monitoring of software. In: Software Verification. Vol 13124. LNCS. Springer Nature; 2022:3-6. doi:10.1007/978-3-030-95561-8_1
View
| DOI
| WoS
2022 |
Published |
Conference Paper |
IST-REx-ID: 11355 |
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. Information-flow interfaces. In: Fundamental Approaches to Software Engineering. Vol 13241. Springer Nature; 2022:3-22. doi:10.1007/978-3-030-99429-7_1
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Thesis | PhD |
IST-REx-ID: 11362 |
Lechner M. Learning verifiable representations. 2022. doi:10.15479/at:ista:11362
[Published Version]
View
| Files available
| DOI
2022 |
Submitted |
Preprint |
IST-REx-ID: 11366 |
Lechner M, Amini A, Rus D, Henzinger TA. Revisiting the adversarial robustness-accuracy tradeoff in robot learning. arXiv. doi:10.48550/arXiv.2204.07373
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2022 |
Published |
Conference Paper |
IST-REx-ID: 11775 |
Henzinger TA, Mazzocchi NA, Sarac NE. Abstract monitors for quantitative specifications. In: 22nd International Conference on Runtime Verification. Vol 13498. Springer Nature; 2022:200-220. doi:10.1007/978-3-031-17196-3_11
[Published Version]
View
| Files available
| DOI
| WoS
2022 |
Published |
Conference Paper |
IST-REx-ID: 12010 |
Brunnbauer A, Berducci L, Brandstatter A, et al. Latent imagination facilitates zero-shot transfer in autonomous racing. In: 2022 International Conference on Robotics and Automation. IEEE; 2022:7513-7520. doi:10.1109/ICRA46639.2022.9811650
[Preprint]
View
| DOI
| Download Preprint (ext.)
| arXiv
2022 |
Published |
Journal Article |
IST-REx-ID: 12147 |
Hasani R, Lechner M, Amini A, et al. Closed-form continuous-time neural networks. Nature Machine Intelligence. 2022;4(11):992-1003. doi:10.1038/s42256-022-00556-7
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 8912 |
Sarac NE, Altun ÖF, Atam KT, Karahoda S, Kaya K, Yenigün H. Boosting expensive synchronizing heuristics. Expert Systems with Applications. 2021;167(4). doi:10.1016/j.eswa.2020.114203
[Submitted Version]
View
| Files available
| DOI
| WoS
2021 |
Published |
Conference Paper |
IST-REx-ID: 9200 |
Garcia Soto M, Henzinger TA, Schilling C. 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. Association for Computing Machinery; 2021:2102.12734. doi:10.1145/3447928.3456704
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 9239 |
Avni G, Henzinger TA, Žikelić Đ. Bidding mechanisms in graph games. Journal of Computer and System Sciences. 2021;119(8):133-144. doi:10.1016/j.jcss.2021.02.008
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |
Submitted |
Preprint |
IST-REx-ID: 9281 |
Dubach G, Mühlböck F. Formal verification of Zagier’s one-sentence proof. arXiv. doi:10.48550/arXiv.2103.11389
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 9356 |
Henzinger TA, Sarac NE. Quantitative and approximate monitoring. In: Proceedings of the 36th Annual ACM/IEEE Symposium on Logic in Computer Science. Institute of Electrical and Electronics Engineers; 2021. doi:10.1109/LICS52264.2021.9470547
[Published Version]
View
| Files available
| DOI
| WoS
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10108 |
Mühlböck F, Henzinger TA. Differential monitoring. In: International Conference on Runtime Verification. Vol 12974. Cham: Springer Nature; 2021:231-243. doi:10.1007/978-3-030-88494-9_12
[Preprint]
View
| Files available
| DOI
| WoS
2021 |
Published |
Journal Article |
IST-REx-ID: 10153 |
Mühlböck F, Tate R. Transitioning from structural to nominal code with efficient gradual typing. Proceedings of the ACM on Programming Languages. 2021;5. doi:10.1145/3485504
[Published Version]
View
| Files available
| DOI
2021 |
Published |
Conference Paper |
IST-REx-ID: 10206 |
Lukina A, Schilling C, Henzinger TA. Into the unknown: active monitoring of neural networks. In: 21st International Conference on Runtime Verification. Vol 12974. Cham: Springer Nature; 2021:42-61. doi:10.1007/978-3-030-88494-9_3
[Preprint]
View
| Files available
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |
Published |
Journal Article |
IST-REx-ID: 10404 |
Sietzen S, Lechner M, Borowski J, Hasani R, Waldner M. Interactive analysis of CNN robustness. Computer Graphics Forum. 2021;40(7):253-264. doi:10.1111/cgf.14418
[Preprint]
View
| DOI
| Download Preprint (ext.)
| WoS
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10665 |
Henzinger TA, Lechner M, Zikelic D. Scalable verification of quantized neural networks. In: Proceedings of the AAAI Conference on Artificial Intelligence. Vol 35. AAAI Press; 2021:3787-3795.
[Published Version]
View
| Files available
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10666 |
Lechner M, Hasani R, Grosu R, Rus D, Henzinger TA. Adversarial training is not ready for robot learning. In: 2021 IEEE International Conference on Robotics and Automation. ICRA. ; 2021:4140-4147. doi:10.1109/ICRA48506.2021.9561036
View
| Files available
| DOI
| Download None (ext.)
| WoS
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10667 |
Lechner M, Žikelić Ð, Chatterjee K, Henzinger TA. Infinite time horizon safety of Bayesian neural networks. In: 35th Conference on Neural Information Processing Systems. ; 2021. doi:10.48550/arXiv.2111.03165
[Published Version]
View
| Files available
| DOI
| Download Published Version (ext.)
| arXiv
2021 |
Published |
Conference Paper |
IST-REx-ID: 10668 |
Babaiee Z, Hasani R, Lechner M, Rus D, Grosu R. On-off center-surround receptive fields for accurate and robust image classification. In: Proceedings of the 38th International Conference on Machine Learning. Vol 139. ML Research Press; 2021:478-489.
[Published Version]
View
| Files available
| Download Published Version (ext.)