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.




337 Publications

2022 | Conference Paper | IST-REx-ID: 10774
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. Flavors of sequential information flow. In: Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol 13182. Springer Nature; 2022:1-19. doi:10.1007/978-3-030-94583-1_1
View | DOI
 
2022 | Conference Paper | IST-REx-ID: 10891
Henzinger TA. Quantitative monitoring of software. In: Bloem R, ed. Software Verification. Vol 13124. LNCS. Springer Nature; 2022:3-6. doi:10.1007/978-3-030-95561-8_1
View | DOI
 
2022 | Conference Paper | IST-REx-ID: 11355 | OA
Bartocci E, Ferrere T, Henzinger TA, Nickovic D, Da Costa AO. Information-flow Interfaces. In: Fundamental Approaches to Software Engineering. Vol 13241. LNCS. Springer Nature; 2022:3-22. doi:10.1007/978-3-030-99429-7_1
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. doi:10.48550/arXiv.2204.07373
View | Files available | DOI | arXiv
 
2021 | Conference Paper | IST-REx-ID: 10668 | OA
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.
View | Files available | Download Published Version (ext.)
 

Search

Filter Publications