| 2026 | ECOOP | Faster Verified Explanations for Neural Networks. | Alessandro De Palma, Greta Dolcetti, Caterina Urban |
| 2026 | FOSSACS | Abstract Lipschitz Continuity - Combining Semantic and Quantitative Approximations. | Marco Campion, Isabella Mastroeni, Michele Pasqua, Caterina Urban |
| 2026 | TACAS | ReFuncTion: Conditional Termination by Abstract Interpretation of Numerical C Programs - (Competition Contribution). | Nam Moussaoui Remil, Caterina Urban |
| 2026 | VMCAI | Termination Resilience Static Analysis. | Nam Moussaoui Remil, Caterina Urban |
| 2025 | SAS | Relating Distances and Abstractions - An Abstract Interpretation Perspective. | Marco Campion, Isabella Mastroeni, Caterina Urban |
| 2024 | LPAR | Automatic Detection of Vulnerable Variables for CTL Properties of Programs. | Nam Moussaoui Remil, Caterina Urban, Antoine Min |
| 2024 | SAS | Quantitative Static Timing Analysis. | Denis Mazzucato, Marco Campion, Caterina Urban |
| 2024 | TASE | An Abstract Interpretation-Based Data Leakage Static Analysis. | Filip Drobnjakovic, Pavle Subotic, Caterina Urban |
| 2024 | VMCAI | Abstract Interpretation-Based Feature Importance for Support Vector Machines. | Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella |
| 2023 | PLDI | Static Analysis of Data Transformations in Jupyter Notebooks. | Luca Negrini, Guruprerana Shabadi, Caterina Urban |
| 2023 | SAS | A Formal Framework to Measure the Incompleteness of Abstract Interpretations. | Marco Campion, Caterina Urban, Mila Dalla Preda, Roberto Giacobazzi |
| 2022 | APSEC | Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. | Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata |
| 2021 | CIKM | Fairness-Aware Training of Decision Trees by Abstract Interpretation. | Francesco Ranzato, Caterina Urban, Marco Zanella |
| 2021 | SAS | Reduced Products of Abstract Domains for Fairness Certification of Neural Networks. | Denis Mazzucato, Caterina Urban |
| 2019 | SAS | Static Analysis of Data Science Software. | Caterina Urban |
| 2018 | CAV | Permission Inference for Array Programs. | Jrme Dohrau, Alexander J. Summers, Caterina Urban, Severin Mnger, Peter Mller |
| 2018 | CAV | MaxSMT-Based Type Inference for Python 3. | Mostafa Hassan, Caterina Urban, Marco Eilers, Peter Mller |
| 2018 | ESOP | An Abstract Interpretation Framework for Input Data Usage. | Caterina Urban, Peter Mller |
| 2018 | SAS | Abstract Interpretation of CTL Properties. | Caterina Urban, Samuel Ueltschi, Peter Mller |
| 2017 | TACAS | Precise Widening Operators for Proving Termination by Abstract Interpretation. | Nathanal Courant, Caterina Urban |
| 2016 | IJCAI | Bchi, Lindenbaum, Tarski: A Program Analysis Appetizer. | Vijay D'Silva, Caterina Urban |
| 2016 | TACAS | Synthesizing Ranking Functions from Bits and Pieces. | Caterina Urban, Arie Gurfinkel, Temesghen Kahsai |
| 2015 | CADE | Abstract Interpretation as Automated Deduction. | Vijay D'Silva, Caterina Urban |
| 2015 | CAV | Conflict-Driven Conditional Termination. | Vijay D'Silva, Caterina Urban |
| 2015 | TACAS | FuncTion: An Abstract Domain Functor for Termination - (Competition Contribution). | Caterina Urban |
| 2015 | VMCAI | Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation. | Caterina Urban, Antoine Min |
| 2014 | ESOP | An Abstract Domain to Infer Ordinal-Valued Ranking Functions. | Caterina Urban, Antoine Min |
| 2014 | SAS | A Decision Tree Abstract Domain for Proving Conditional Termination. | Caterina Urban, Antoine Min |
| 2013 | SAS | The Abstract Domain of Segmented Ranking Functions. | Caterina Urban |