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
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. 2022. Flavors of sequential information flow. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). VMCAI: Verifcation, Model Checking, and Abstract Interpretation, LNCS, vol. 13182, 1–19.
View | DOI
 
2022 | Conference Paper | IST-REx-ID: 10891
Henzinger TA. 2022. Quantitative monitoring of software. Software Verification. NSV: Numerical Software VerificationLNCS vol. 13124, 3–6.
View | DOI
 
2022 | Conference Paper | IST-REx-ID: 11355 | OA
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. 2022. Information-flow Interfaces. Fundamental Approaches to Software Engineering. FASE: Fundamental Approaches to Software EngineeringLNCS vol. 13241, 3–22.
View | Files available | DOI
 
2022 | Preprint | IST-REx-ID: 11366
Lechner M, Amini A, Rus D, Henzinger TA. Revisiting the adversarial robustness-accuracy tradeoff in robot learning. arXiv, 10.48550/arXiv.2204.07373.
View | Files available | DOI | arXiv
 
2022 | Thesis | IST-REx-ID: 11362 | OA
Lechner M. 2022. Learning verifiable representations. ISTA.
View | Files available | DOI
 

Search

Filter Publications