Caterina Urban

According to our database, Caterina Urban authored at least 21 papers between 2013 and 2021.

Collaborative distances:

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

2021

Fair Training of Decision Tree Classifiers.

Francesco Ranzato, Caterina Urban, Marco Zanella

CoRR, 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