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.
339 Publications
2022 | Conference Paper | IST-REx-ID: 10774
Flavors of sequential information flow
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2022, pp. 1–19.
View
| DOI
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), Springer Nature, 2022, pp. 1–19.
2022 | Conference Paper | IST-REx-ID: 10891
Quantitative monitoring of software
T.A. Henzinger, in:, R. Bloem (Ed.), Software Verification, Springer Nature, 2022, pp. 3–6.
View
| DOI
T.A. Henzinger, in:, R. Bloem (Ed.), Software Verification, Springer Nature, 2022, pp. 3–6.
2022 | Conference Paper | IST-REx-ID: 11355 | 
Information-flow Interfaces
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
View
| Files available
| DOI
E. Bartocci, T. Ferrere, T.A. Henzinger, D. Nickovic, A.O. Da Costa, in:, Fundamental Approaches to Software Engineering, Springer Nature, 2022, pp. 3–22.
2022 | Thesis | IST-REx-ID: 11362 |
Learning verifiable representations
M. Lechner, Learning Verifiable Representations, ISTA, 2022.
View
| Files available
| DOI
M. Lechner, Learning Verifiable Representations, ISTA, 2022.
2022 | Preprint | IST-REx-ID: 11366
Revisiting the adversarial robustness-accuracy tradeoff in robot learning
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, ArXiv (n.d.).
View
| Files available
| DOI
| arXiv
M. Lechner, A. Amini, D. Rus, T.A. Henzinger, ArXiv (n.d.).