E-LIB Suche - Ergebnisse für: Urban, Caterina

1

Quantitative Input Usage Static Analysis:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Mazzucato, Denis ; Campion, Marco ; Urban, Caterina - p. 79-98 , 2024

2

Monotonicity and the Precision of Program Analysis:

Campion, Marco ; Dalla Preda, Mila ; Giacobazzi, Roberto.
Proceedings of the ACM on Programming Languages. 8 (2024) POPL - p. 1629-1662 , 2024

Link: https://doi.org/10.1145/..

3

Static Analysis of Data Transformations in Jupyter Notebook:

, In: Proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis,

Negrini, Luca ; Shabadi, Guruprerana ; Urban, Caterina - p. 8-13 , 2023

Link: https://dl.acm.org/doi/1..

4

A Formal Framework to Measure the Incompleteness of Abstrac..:

, In: Static Analysis; Lecture Notes in Computer Science,

Campion, Marco ; Urban, Caterina ; Dalla Preda, Mila. - p. 114-138 , 2023

Link: https://doi.org/10.1007/..

5

Abstract Interpretation-Based Feature Importance for Suppor..:

, In: Lecture Notes in Computer Science; Verification, Model Checking, and Abstract Interpretation,

Pal, Abhinandan ; Ranzato, Francesco ; Urban, Caterina. - p. 27-49 , 2023

Link: https://doi.org/10.1007/..

6

Static Analysis for Data Scientists:

, In: Intelligent Systems Reference Library; Challenges of Software Verification,

Urban, Caterina - p. 77-91 , 2023

Link: https://doi.org/10.1007/..

7

Verifying Attention Robustness of Deep Neural Networks Agai..:

, In: Lecture Notes in Computer Science; NASA Formal Methods,

Munakata, Satoshi ; Urban, Caterina ; Yokoyama, Haruki.. - p. 37-61 , 2023

Link: https://doi.org/10.1007/..

8

Verifying Attention Robustness of Deep Neural Networks agai..:

, In: 2022 29th Asia-Pacific Software Engineering Conference (APSEC),

Munakata, Satoshi ; Urban, Caterina ; Yokoyama, Haruki.. - p. 560-561 , 2022

Link: https://doi.org/10.1109/..

9

Static Analysis: 29th International Symposium, SAS 2022, Au..

Lecture Notes in Computer Science, 13790

Singh, Gagandeep ; Urban, Caterina - 1st ed. 2022 . , 2022

Link: https://doi.org/10.1007/..

10

Proceedings of the 10th ACM SIGPLAN International Workshop ..:

Do, Lisa Nguyen Quang ; Urban, Caterina , 2021

Link: https://dl.acm.org/doi/1..

11

Fairness-Aware Training of Decision Trees by Abstract Inter..:

, In: Proceedings of the 30th ACM International Conference on Information & Knowledge Management,

Ranzato, Francesco ; Urban, Caterina ; Zanella, Marco - p. 1508-1517 , 2021

Link: https://dl.acm.org/doi/1..

12

Reduced Products of Abstract Domains for Fairness Certifica..:

, In: Static Analysis; Lecture Notes in Computer Science,

Mazzucato, Denis ; Urban, Caterina - p. 308-322 , 2021

Link: https://doi.org/10.1007/..

13

Perfectly parallel fairness certification of neural network:

Urban, Caterina ; Christakis, Maria ; Wüstholz, Valentin.
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://doi.org/10.1145/..

14

Perfectly parallel fairness certification of neural network:

Urban, Caterina ; Christakis, Maria ; Wüstholz, Valentin.
Proceedings of the ACM on Programming Languages. 4 (2020) OOPSLA - p. 1-30 , 2020

Link: https://dl.acm.org/doi/1..

15

Static Analysis of Data Science Software:

, In: Static Analysis; Lecture Notes in Computer Science,

Urban, Caterina - p. 17-23 , 2019

Link: https://doi.org/10.1007/..