Caterina Urban

According to our database, Caterina Urban authored at least 35 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021.

Aws Albarghouthi, K. Rustan M. Leino, Alexandra Silva, Caterina Urban

Formal Methods Syst. Des., October, 2024

Monotonicity and the Precision of Program Analysis.

Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban

Proc. ACM Program. Lang., January, 2024

Abstract Interpretation-Based Feature Importance for Support Vector Machines.

Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

An Abstract Interpretation-Based Data Leakage Static Analysis.

Filip Drobnjakovic, Pavle Subotic, Caterina Urban

Proceedings of the Theoretical Aspects of Software Engineering, 2024

Quantitative Input Usage Static Analysis.

Denis Mazzucato, Marco Campion, Caterina Urban

Proceedings of the NASA Formal Methods - 16th International Symposium, 2024

Automatic Detection of Vulnerable Variables for CTL Properties of Programs.

Naïm Moussaoui Remil, Caterina Urban, Antoine Miné

Proceedings of the LPAR 2024: Proceedings of 25th Conference on Logic for Programming, 2024

2023

A Formal Framework to Measure the Incompleteness of Abstract Interpretations.

Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi

Proceedings of the Static Analysis - 30th International Symposium, 2023

Static Analysis of Data Transformations in Jupyter Notebooks.

Luca Negrini, Guruprerana Shabadi, Caterina Urban

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

2022

Abstract Interpretation-Based Data Leakage Static Analysis.

Filip Drobnjakovic, Pavle Subotic, Caterina Urban

CoRR, 2022

Abstract Interpretation-Based Feature Importance for SVMs.

Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella

CoRR, 2022

Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations.

Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata

Proceedings of the 29th Asia-Pacific Software Engineering Conference, 2022

2021

A Review of Formal Methods applied to Machine Learning.

Caterina Urban, Antoine Miné

CoRR, 2021

Fair Training of Decision Tree Classifiers.

Francesco Ranzato, Caterina Urban, Marco Zanella

CoRR, 2021

Reduced Products of Abstract Domains for Fairness Certification of Neural Networks.

Denis Mazzucato, Caterina Urban

Proceedings of the Static Analysis - 28th International Symposium, 2021

Fairness-Aware Training of Decision Trees by Abstract Interpretation.

Francesco Ranzato, Caterina Urban, Marco Zanella

Proceedings of the CIKM '21: The 30th ACM International Conference on Information and Knowledge Management, Virtual Event, Queensland, Australia, November 1, 2021

2020

Perfectly parallel fairness certification of neural networks.

Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang

Proc. ACM Program. Lang., 2020

What Programs Want: Automatic Inference of Input Data Specifications.

Caterina Urban

CoRR, 2020

2019

Static Analysis of Data Science Software.

Caterina Urban

Proceedings of the Static Analysis - 26th International Symposium, 2019

2018

Abstract Interpretation of CTL Properties.

Caterina Urban, Samuel Ueltschi, Peter Müller

Proceedings of the Static Analysis - 25th International Symposium, 2018

An Abstract Interpretation Framework for Input Data Usage.

Caterina Urban, Peter Müller

Proceedings of the Programming Languages and Systems, 2018

MaxSMT-Based Type Inference for Python 3.

Mostafa Hassan, Caterina Urban, Marco Eilers, Peter Müller

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

Permission Inference for Array Programs.

Jérôme Dohrau, Alexander J. Summers, Caterina Urban, Severin Münger, Peter Müller

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

Abstract Interpretation as Automated Deduction.

Vijay D'Silva, Caterina Urban

J. Autom. Reason., 2017

Inference of ranking functions for proving temporal properties by abstract interpretation.

Caterina Urban, Antoine Miné

Comput. Lang. Syst. Struct., 2017

Precise Widening Operators for Proving Termination by Abstract Interpretation.

Nathanaël Courant, Caterina Urban

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

2016

Concurrency with Weak Memory Models (Dagstuhl Seminar 16471).

Jade Alglave, Patrick Cousot, Caterina Urban

Dagstuhl Reports, 2016

Synthesizing Ranking Functions from Bits and Pieces.

Caterina Urban, Arie Gurfinkel, Temesghen Kahsai

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer.

Vijay D'Silva, Caterina Urban

Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, 2016

2015

Static Analysis by Abstract Interpretation of Functional Temporal Properties of Programs. (Analyse Statique par Interprétation Abstraite de Propriétés Temporelles Fonctionnelles des Programmes).

Caterina Urban

PhD thesis, 2015

Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation.

Caterina Urban, Antoine Miné

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2015

FuncTion: An Abstract Domain Functor for Termination - (Competition Contribution).

Caterina Urban

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

Conflict-Driven Conditional Termination.

Vijay D'Silva, Caterina Urban

Proceedings of the Computer Aided Verification - 27th International Conference, 2015

2014

A Decision Tree Abstract Domain for Proving Conditional Termination.

Caterina Urban, Antoine Miné

Proceedings of the Static Analysis - 21st International Symposium, 2014

An Abstract Domain to Infer Ordinal-Valued Ranking Functions.

Caterina Urban, Antoine Miné

Proceedings of the Programming Languages and Systems, 2014

2013

The Abstract Domain of Segmented Ranking Functions.

Caterina Urban

Proceedings of the Static Analysis - 20th International Symposium, 2013