Caterina Urban

58 papers A* 1A 6B 13C 1Misc 1Journal 21Unranked 12
YearRankTypeTitle / Venue / Authors
2026 J jnl
A Logic for the Imprecision of Abstract Interpretations.
Proc. ACM Program. Lang.
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban
2026 B conf
Abstract Lipschitz Continuity - Combining Semantic and Quantitative Approximations.
FoSSaCS
Marco Campion, Isabella Mastroeni, Michele Pasqua, Caterina Urban
2026 J jnl
PYRA : A high-level linter for data science software.
Knowl. Based Syst.
Greta Dolcetti, Vincenzo Arceri, Antonella Mensi, Enea Zaffanella, Caterina Urban, Agostino Cortesi
2026 — conf
ReFuncTion: Conditional Termination by Abstract Interpretation of Numerical C Programs - (Competition Contribution).
TACAS (2)
Naïm Moussaoui Remil, Caterina Urban
2026 B conf
Termination Resilience Static Analysis.
VMCAI
Naïm Moussaoui Remil, Caterina Urban
2025 J jnl
Faster Verified Explanations for Neural Networks.
CoRR
Alessandro De Palma, Greta Dolcetti, Caterina Urban
2025 — conf
Introducing Pyra: A High-Level Linter for Data Science Software.
ECML/PKDD (10)
Greta Dolcetti, Vincenzo Arceri, Antonella Mensi, Enea Zaffanella, Caterina Urban, Agostino Cortesi
2025 J jnl
On Using Certified Training towards Empirical Robustness.
Trans. Mach. Learn. Res.
Alessandro De Palma, Serge Durand, Zakaria Chihani, François Terrier, Caterina Urban
2025 J jnl
Preface of the special issue on the static analysis symposium 2020 and 2022.
Formal Methods Syst. Des.
David Pichardie, Mihaela Sighireanu, Gagandeep Singh, Caterina Urban
2025 B conf
Relating Distances and Abstractions - An Abstract Interpretation Perspective.
SAS
Marco Campion, Isabella Mastroeni, Caterina Urban
2025 J jnl
Static analysis by abstract interpretation against data leakage in machine learning.
Sci. Comput. Program.
Caterina Urban, Pavle Subotic, Filip Drobnjakovic
2024 — conf
Abstract Domains for Machine Learning Verification (Keynote).
NSAD@SAS
Caterina Urban
2024 — conf
Abstract Interpretation-Based Feature Importance for Support Vector Machines.
VMCAI (1)
Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella
2024 Misc conf
An Abstract Interpretation-Based Data Leakage Static Analysis.
TASE
Filip Drobnjakovic, Pavle Subotic, Caterina Urban
2024 B conf
Automatic Detection of Vulnerable Variables for CTL Properties of Programs.
LPAR
Naïm Moussaoui Remil, Caterina Urban, Antoine Miné
2024 J jnl
Monotonicity and the Precision of Program Analysis.
Proc. ACM Program. Lang.
Marco Campion, Mila Dalla Preda, Roberto Giacobazzi, Caterina Urban
2024 J jnl
On Using Certified Training towards Empirical Robustness.
CoRR
Alessandro De Palma, Serge Durand, Zakaria Chihani, François Terrier, Caterina Urban
2024 J jnl
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021.
Formal Methods Syst. Des.
Aws Albarghouthi, K. Rustan M. Leino, Alexandra Silva, Caterina Urban
2024 — conf
Quantitative Input Usage Static Analysis.
NFM
Denis Mazzucato, Marco Campion, Caterina Urban
2024 B conf
Quantitative Static Timing Analysis.
SAS
Denis Mazzucato, Marco Campion, Caterina Urban
2024 — conf
Towards a High Level Linter for Data Science.
NSAD@SAS
Greta Dolcetti, Agostino Cortesi, Caterina Urban, Enea Zaffanella
2023 B conf
A Formal Framework to Measure the Incompleteness of Abstract Interpretations.
SAS
Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi
2023 — ch.
Static Analysis for Data Scientists.
Challenges of Software Verification
Caterina Urban
2023 — conf
Static Analysis of Data Transformations in Jupyter Notebooks.
SOAP@PLDI
Luca Negrini, Guruprerana Shabadi, Caterina Urban
2023 — conf
Verifying Attention Robustness of Deep Neural Networks Against Semantic Perturbations.
NFM
Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata
2022 J jnl
Abstract Interpretation-Based Data Leakage Static Analysis.
CoRR
Filip Drobnjakovic, Pavle Subotic, Caterina Urban
2022 J jnl
Abstract Interpretation-Based Feature Importance for SVMs.
CoRR
Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella
2022 B ed.
Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings
SAS
Gagandeep Singh, Caterina Urban
2022 C conf
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations.
APSEC
Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata
2022 J jnl
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations.
CoRR
Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata
2021 J jnl
A Review of Formal Methods applied to Machine Learning.
CoRR
Caterina Urban, Antoine Miné
2021 J jnl
Fair Training of Decision Tree Classifiers.
CoRR
Francesco Ranzato, Caterina Urban, Marco Zanella
2021 A conf
Fairness-Aware Training of Decision Trees by Abstract Interpretation.
CIKM
Francesco Ranzato, Caterina Urban, Marco Zanella
2021 B conf
Reduced Products of Abstract Domains for Fairness Certification of Neural Networks.
SAS
Denis Mazzucato, Caterina Urban
2021 — ed.
SOAP@PLDI 2021: Proceedings of the 10th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis, Virtual Event, Canada, 22 June, 2021
SOAP@PLDI
Lisa Nguyen Quang Do, Caterina Urban
2020 J jnl
Perfectly parallel fairness certification of neural networks.
Proc. ACM Program. Lang.
Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
2020 J jnl
What Programs Want: Automatic Inference of Input Data Specifications.
CoRR
Caterina Urban
2019 J jnl
Perfectly Parallel Fairness Certification of Neural Networks.
CoRR
Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang
2019 B conf
Static Analysis of Data Science Software.
SAS
Caterina Urban
2018 B conf
Abstract Interpretation of CTL Properties.
SAS
Caterina Urban, Samuel Ueltschi, Peter Müller
2018 A conf
An Abstract Interpretation Framework for Input Data Usage.
ESOP
Caterina Urban, Peter Müller
2018 — conf
MaxSMT-Based Type Inference for Python 3.
CAV (2)
Mostafa Hassan, Caterina Urban, Marco Eilers, Peter Müller
2018 — conf
Permission Inference for Array Programs.
CAV (2)
Jérôme Dohrau, Alexander J. Summers, Caterina Urban, Severin Münger, Peter Müller
2018 J jnl
Permission Inference for Array Programs.
CoRR
Jérôme Dohrau, Alexander J. Summers, Caterina Urban, Severin Münger, Peter Müller
2017 J jnl
Abstract Interpretation as Automated Deduction.
J. Autom. Reason.
Vijay D'Silva, Caterina Urban
2017 J jnl
Inference of ranking functions for proving temporal properties by abstract interpretation.
Comput. Lang. Syst. Struct.
Caterina Urban, Antoine Miné
2017 — conf
Precise Widening Operators for Proving Termination by Abstract Interpretation.
TACAS (1)
Nathanaël Courant, Caterina Urban
2016 A* conf
Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer.
IJCAI
Vijay D'Silva, Caterina Urban
2016 J jnl
Concurrency with Weak Memory Models (Dagstuhl Seminar 16471).
Dagstuhl Reports
Jade Alglave, Patrick Cousot, Caterina Urban
2016 A conf
Synthesizing Ranking Functions from Bits and Pieces.
TACAS
Caterina Urban, Arie Gurfinkel, Temesghen Kahsai
2015 A conf
Abstract Interpretation as Automated Deduction.
CADE
Vijay D'Silva, Caterina Urban
2015 — conf
Conflict-Driven Conditional Termination.
CAV (2)
Vijay D'Silva, Caterina Urban
2015 A conf
FuncTion: An Abstract Domain Functor for Termination - (Competition Contribution).
TACAS
Caterina Urban
2015 B conf
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation.
VMCAI
Caterina Urban, Antoine Miné
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
2014 B conf
A Decision Tree Abstract Domain for Proving Conditional Termination.
SAS
Caterina Urban, Antoine Miné
2014 A conf
An Abstract Domain to Infer Ordinal-Valued Ranking Functions.
ESOP
Caterina Urban, Antoine Miné
2013 B conf
The Abstract Domain of Segmented Ranking Functions.
SAS
Caterina Urban