default search action
Caterina Urban
Person information
- affiliation: Inria, Paris, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j5]Aws Albarghouthi, K. Rustan M. Leino, Alexandra Silva, Caterina Urban:
Preface of the special issue on the conference on Computer-Aided Verification 2020 and 2021. Formal Methods Syst. Des. 63(1): 1-4 (2024) - [j4]Marco Campion
, Mila Dalla Preda
Monotonicity and the Precision of Program Analysis. Proc. ACM Program. Lang. 8(POPL): 1629-1662 (2024) - [c25]Naïm Moussaoui Remil, Caterina Urban, Antoine Miné:
Automatic Detection of Vulnerable Variables for CTL Properties of Programs. LPAR 2024: 116-126 - [c24]Denis Mazzucato
Quantitative Input Usage Static Analysis. NFM 2024: 79-98 - [c23]Filip Drobnjakovic, Pavle Subotic, Caterina Urban:
An Abstract Interpretation-Based Data Leakage Static Analysis. TASE 2024: 109-126 - [c22]Abhinandan Pal
Abstract Interpretation-Based Feature Importance for Support Vector Machines. VMCAI (1) 2024: 27-49 - [i10]Alessandro De Palma, Serge Durand, Zakaria Chihani, François Terrier, Caterina Urban:
On Using Certified Training towards Empirical Robustness. CoRR abs/2410.01617 (2024) - 2023
- [c21]Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata:
Verifying Attention Robustness of Deep Neural Networks Against Semantic Perturbations. NFM 2023: 37-61 - [c20]Luca Negrini
Static Analysis of Data Transformations in Jupyter Notebooks. SOAP@PLDI 2023: 8-13 - [c19]Marco Campion
A Formal Framework to Measure the Incompleteness of Abstract Interpretations. SAS 2023: 114-138 - 2022
- [c18]Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata:
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. APSEC 2022: 560-561 - [e2]Gagandeep Singh, Caterina Urban:
Static Analysis - 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5-7, 2022, Proceedings. Lecture Notes in Computer Science 13790, Springer 2022, ISBN 978-3-031-22307-5 [contents] - [i9]Satoshi Munakata, Caterina Urban, Haruki Yokoyama, Koji Yamamoto, Kazuki Munakata:
Verifying Attention Robustness of Deep Neural Networks against Semantic Perturbations. CoRR abs/2207.05902 (2022) - [i8]Abhinandan Pal, Francesco Ranzato, Caterina Urban, Marco Zanella:
Abstract Interpretation-Based Feature Importance for SVMs. CoRR abs/2210.12456 (2022) - [i7]Filip Drobnjakovic, Pavle Subotic, Caterina Urban:
Abstract Interpretation-Based Data Leakage Static Analysis. CoRR abs/2211.16073 (2022) - 2021
- [c17]Francesco Ranzato, Caterina Urban
Fairness-Aware Training of Decision Trees by Abstract Interpretation. CIKM 2021: 1508-1517 - [c16]Denis Mazzucato
Reduced Products of Abstract Domains for Fairness Certification of Neural Networks. SAS 2021: 308-322 - [e1]Lisa Nguyen Quang Do, Caterina Urban:
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. ACM 2021, ISBN 978-1-4503-8468-1 [contents] - [i6]Francesco Ranzato, Caterina Urban, Marco Zanella:
Fair Training of Decision Tree Classifiers. CoRR abs/2101.00909 (2021) - [i5]Caterina Urban, Antoine Miné:
A Review of Formal Methods applied to Machine Learning. CoRR abs/2104.02466 (2021) - 2020
- [j3]Caterina Urban
Perfectly parallel fairness certification of neural networks. Proc. ACM Program. Lang. 4(OOPSLA): 185:1-185:30 (2020) - [i4]Caterina Urban:
What Programs Want: Automatic Inference of Input Data Specifications. CoRR abs/2007.10688 (2020)
2010 – 2019
- 2019
- [c15]Caterina Urban
Static Analysis of Data Science Software. SAS 2019: 17-23 - [i3]Caterina Urban, Maria Christakis, Valentin Wüstholz, Fuyuan Zhang:
Perfectly Parallel Fairness Certification of Neural Networks. CoRR abs/1912.02499 (2019) - 2018
- [c14]Mostafa Hassan, Caterina Urban, Marco Eilers
MaxSMT-Based Type Inference for Python 3. CAV (2) 2018: 12-19 - [c13]Jérôme Dohrau, Alexander J. Summers, Caterina Urban, Severin Münger, Peter Müller
Permission Inference for Array Programs. CAV (2) 2018: 55-74 - [c12]Caterina Urban, Peter Müller:
An Abstract Interpretation Framework for Input Data Usage. ESOP 2018: 683-710 - [c11]Caterina Urban, Samuel Ueltschi, Peter Müller:
Abstract Interpretation of CTL Properties. SAS 2018: 402-422 - [i2]Jérôme Dohrau, Alexander J. Summers, Caterina Urban, Severin Münger, Peter Müller:
Permission Inference for Array Programs. CoRR abs/1804.04091 (2018) - 2017
- [j2]Caterina Urban
Inference of ranking functions for proving temporal properties by abstract interpretation. Comput. Lang. Syst. Struct. 47: 77-103 (2017) - [j1]Vijay D'Silva, Caterina Urban:
Abstract Interpretation as Automated Deduction. J. Autom. Reason. 58(3): 363-390 (2017) - [c10]Nathanaël Courant
Precise Widening Operators for Proving Termination by Abstract Interpretation. TACAS (1) 2017: 136-152 - 2016
- [c9]Vijay D'Silva, Caterina Urban:
Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer. IJCAI 2016: 4150-4154 - [c8]Caterina Urban, Arie Gurfinkel
Synthesizing Ranking Functions from Bits and Pieces. TACAS 2016: 54-70 - [i1]Jade Alglave, Patrick Cousot, Caterina Urban:
Concurrency with Weak Memory Models (Dagstuhl Seminar 16471). Dagstuhl Reports 6(11): 108-128 (2016) - 2015
- [b1]Caterina Urban:
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). École Normale Supérieure, Paris, France, 2015 - [c7]Vijay D'Silva, Caterina Urban:
Abstract Interpretation as Automated Deduction. CADE 2015: 450-464 - [c6]Vijay D'Silva, Caterina Urban:
Conflict-Driven Conditional Termination. CAV (2) 2015: 271-286 - [c5]Caterina Urban:
FuncTion: An Abstract Domain Functor for Termination - (Competition Contribution). TACAS 2015: 464-466 - [c4]Caterina Urban
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation. VMCAI 2015: 190-208 - 2014
- [c3]Caterina Urban
An Abstract Domain to Infer Ordinal-Valued Ranking Functions. ESOP 2014: 412-431 - [c2]Caterina Urban
A Decision Tree Abstract Domain for Proving Conditional Termination. SAS 2014: 302-318 - 2013
- [c1]Caterina Urban
The Abstract Domain of Segmented Ranking Functions. SAS 2013: 43-62
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-11 21:28 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by: