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.
343 Publications
2022 | Conference Paper | IST-REx-ID: 10891
Henzinger, Thomas A. “Quantitative Monitoring of Software.” Software Verification, edited by R Bloem, vol. 13124, Springer Nature, 2022, pp. 3–6, doi:10.1007/978-3-030-95561-8_1.
View
| DOI
2022 | Conference Paper | IST-REx-ID: 11355 | 
Bartocci, Ezio, et al. “Information-Flow Interfaces.” Fundamental Approaches to Software Engineering, vol. 13241, Springer Nature, 2022, pp. 3–22, doi:10.1007/978-3-030-99429-7_1.
View
| Files available
| DOI
2022 | Preprint | IST-REx-ID: 11366
Lechner, Mathias, et al. “Revisiting the Adversarial Robustness-Accuracy Tradeoff in Robot Learning.” ArXiv, doi:10.48550/arXiv.2204.07373.
View
| Files available
| DOI
| arXiv
2022 | Thesis | IST-REx-ID: 11362 |
Lechner, Mathias. Learning Verifiable Representations. ISTA, 2022, doi:10.15479/at:ista:11362.
View
| Files available
| DOI
2022 | Conference Paper | IST-REx-ID: 10774 |
Bartocci, Ezio, et al. “Flavors of Sequential Information Flow.” Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 13182, Springer Nature, 2022, pp. 1–19, doi:10.1007/978-3-030-94583-1_1.
View
| DOI
| Download Preprint (ext.)
| arXiv