( en | de | ru )

 

Disambiguierung von "Urban, Caterina"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
On Using Certified Training towards Empirical Robustness.

, , , , und . CoRR, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Caterina Giorno

Caterina Appel

Caterina Breitenstein

Caterina Casagranda

Caterina Kern

 

Weitere Publikationen von Autoren mit dem selben Namen

Abstract Interpretation as Automated Deduction., und . CADE, Volume 9195 von Lecture Notes in Computer Science, Seite 450-464. Springer, (2015)Permission Inference for Array Programs., , , , und . CAV (2), Volume 10982 von Lecture Notes in Computer Science, Seite 55-74. Springer, (2018)Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations., , , , und . APSEC, Seite 560-561. IEEE, (2022)An Abstract Interpretation Framework for Input Data Usage., und . ESOP, Volume 10801 von Lecture Notes in Computer Science, Seite 683-710. Springer, (2018)The Abstract Domain of Segmented Ranking Functions.. SAS, Volume 7935 von Lecture Notes in Computer Science, Seite 43-62. Springer, (2013)Conflict-Driven Conditional Termination., und . CAV (2), Volume 9207 von Lecture Notes in Computer Science, Seite 271-286. Springer, (2015)Abstract Interpretation as Automated Deduction., und . J. Autom. Reason., 58 (3): 363-390 (2017)Precise Widening Operators for Proving Termination by Abstract Interpretation., und . TACAS (1), Volume 10205 von Lecture Notes in Computer Science, Seite 136-152. (2017)Automatic Detection of Vulnerable Variables for CTL Properties of Programs., , und . LPAR, Volume 100 von EPiC Series in Computing, Seite 116-126. EasyChair, (2024)An Abstract Interpretation-Based Data Leakage Static Analysis., , und . TASE, Volume 14777 von Lecture Notes in Computer Science, Seite 109-126. Springer, (2024)