Caterina Urban

ORCID

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 31

Top Venues

École Normale Supérieure, Paris, France (PHD)

Education History

École Normale Supérieure, Paris, France

PHD

Publications

Filip Drobnjakovic, Pavle Subotic, Caterina Urban
An Abstract Interpretation-Based Data Leakage Static Analysis. TASE (2024)
Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella
Abstract Interpretation-Based Feature Importance for Support Vector Machines. VMCAI (1) (2024)
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban
Monotonicity and the Precision of Program Analysis. Proc. ACM Program. Lang. 8 (POPL) (2024)
Denis Mazzucato, Marco Campion, Caterina Urban
Quantitative Input Usage Static Analysis. NFM (2024)
Naïm Moussaoui Remil, Caterina Urban, Antoine Miné
Automatic Detection of Vulnerable Variables for CTL Properties of Programs. LPAR (2024)
Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi
A Formal Framework to Measure the Incompleteness of Abstract Interpretations. SAS (2023)
Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata
Verifying Attention Robustness of Deep Neural Networks Against Semantic Perturbations. NFM (2023)
Luca Negrini, Guruprerana Shabadi, Caterina Urban
Static Analysis of Data Transformations in Jupyter Notebooks. SOAP@PLDI (2023)
Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. CoRR (2022)
Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. APSEC (2022)
Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella
Abstract Interpretation-Based Feature Importance for SVMs. CoRR (2022)
Filip Drobnjakovic, Pavle Subotic, Caterina Urban
Abstract Interpretation-Based Data Leakage Static Analysis. CoRR (2022)
Caterina Urban, Antoine Miné
A Review of Formal Methods applied to Machine Learning. CoRR (2021)
Francesco Ranzato, Caterina Urban, Marco Zanella
Fairness-Aware Training of Decision Trees by Abstract Interpretation. CIKM (2021)
Francesco Ranzato, Caterina Urban, Marco Zanella
Fair Training of Decision Tree Classifiers. CoRR (2021)
Denis Mazzucato, Caterina Urban
Reduced Products of Abstract Domains for Fairness Certification of Neural Networks. SAS (2021)
Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
Perfectly parallel fairness certification of neural networks. Proc. ACM Program. Lang. 4 (OOPSLA) (2020)
Caterina Urban
What Programs Want: Automatic Inference of Input Data Specifications. CoRR (2020)
Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
Perfectly Parallel Fairness Certification of Neural Networks. CoRR (2019)
Caterina Urban
Static Analysis of Data Science Software. SAS (2019)
Jérôme Dohrau, Alexander J. Summers, Caterina Urban, Severin Münger, Peter Müller
Permission Inference for Array Programs. CoRR (2018)
Caterina Urban, Peter Müller
An Abstract Interpretation Framework for Input Data Usage. ESOP (2018)
Caterina Urban, Samuel Ueltschi, Peter Müller
Abstract Interpretation of CTL Properties. SAS (2018)
Jérôme Dohrau, Alexander J. Summers, Caterina Urban, Severin Münger, Peter Müller
Permission Inference for Array Programs. CAV (2) (2018)
Mostafa Hassan, Caterina Urban, Marco Eilers, Peter Müller
MaxSMT-Based Type Inference for Python 3. CAV (2) (2018)
Vijay D'Silva, Caterina Urban
Abstract Interpretation as Automated Deduction. J. Autom. Reason. 58 (3) (2017)
Caterina Urban, Antoine Miné
Inference of ranking functions for proving temporal properties by abstract interpretation. Comput. Lang. Syst. Struct. 47 (2017)
Nathanaël Courant, Caterina Urban
Precise Widening Operators for Proving Termination by Abstract Interpretation. TACAS (1) (2017)
Jade Alglave, Patrick Cousot, Caterina Urban
Concurrency with Weak Memory Models (Dagstuhl Seminar 16471). Dagstuhl Reports 6 (11) (2016)
Vijay D'Silva, Caterina Urban
Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer. IJCAI (2016)
Caterina Urban, Arie Gurfinkel, Temesghen Kahsai
Synthesizing Ranking Functions from Bits and Pieces. TACAS (2016)
Vijay D'Silva, Caterina Urban
Abstract Interpretation as Automated Deduction. CADE (2015)
Caterina Urban, Antoine Miné
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation. VMCAI (2015)
Vijay D'Silva, Caterina Urban
Conflict-Driven Conditional Termination. CAV (2) (2015)
Caterina Urban
FuncTion: An Abstract Domain Functor for Termination - (Competition Contribution). TACAS (2015)
Caterina Urban, Antoine Miné
An Abstract Domain to Infer Ordinal-Valued Ranking Functions. ESOP (2014)
Caterina Urban, Antoine Miné
A Decision Tree Abstract Domain for Proving Conditional Termination. SAS (2014)
Caterina Urban
The Abstract Domain of Segmented Ranking Functions. SAS (2013)

Caterina Urban.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Caterina Urban