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 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
 
2022 | Conference Paper | IST-REx-ID: 10774 | OA
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 | Download Preprint (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 10668 | OA
Babaiee Z, Hasani R, Lechner M, Rus D, Grosu R. 2021. On-off center-surround receptive fields for accurate and robust image classification. Proceedings of the 38th International Conference on Machine Learning. ML: Machine Learning, PMLR, vol. 139, 478–489.
View | Files available | Download Published Version (ext.)
 
2021 | Conference Paper | IST-REx-ID: 10670 | OA
Vorbach CJ, Hasani R, Amini A, Lechner M, Rus D. 2021. Causal navigation by continuous-time neural networks. 35th Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, .
View | Files available | Download Published Version (ext.) | arXiv
 
2021 | Conference Paper | IST-REx-ID: 10688 | OA
Kragl B, Qadeer S. 2021. The Civl verifier. Proceedings of the 21st Conference on Formal Methods in Computer-Aided Design. FMCAD: Formal Methods in Computer-Aided Design, Conference Series, vol. 2, 143–152.
View | Files available | DOI
 
2021 | Journal Article | IST-REx-ID: 8912 | OA
Sarac NE, Altun ÖF, Atam KT, Karahoda S, Kaya K, Yenigün H. 2021. Boosting expensive synchronizing heuristics. Expert Systems with Applications. 167(4), 114203.
View | Files available | DOI
 
2021 | Conference Paper | IST-REx-ID: 9202 | OA
Garcia Soto M, Prabhakar P. 2021. Hybridization for stability verification of nonlinear switched systems. 2020 IEEE Real-Time Systems Symposium. RTTS: Real-Time Systems Symposium, 244–256.
View | Files available | DOI
 

Search

Filter Publications