关注
Caterina Urban
Caterina Urban
Inria & École Normale Supérieure | Université PSL, Paris, France
在 inria.fr 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
A Decision Tree Abstract Domain for Proving Conditional Termination
C Urban, A Miné
SAS, 302-318, 2014
672014
Formal Analysis of Facebook Connect Single Sign-On Authentication Protocol
M Miculan, C Urban
SOFSEM, 2011
672011
Perfectly parallel fairness certification of neural networks
C Urban, M Christakis, V Wüstholz, F Zhang
Proceedings of the ACM on Programming Languages 4 (OOPSLA), 1-30, 2020
652020
A Review of Formal Methods applied to Machine Learning
C Urban, A Miné
arXiv preprint arXiv:2104.02466, 2021
632021
The Abstract Domain of Segmented Ranking Functions
C Urban
SAS, 43-62, 2013
602013
MaxSMT-Based Type Inference for Python 3
M Hassan, C Urban, M Eilers, P Müller
International Conference on Computer Aided Verification, 12-19, 2018
532018
An Abstract Domain to Infer Ordinal-Valued Ranking Functions
C Urban, A Miné
ESOP, 412-431, 2014
462014
Synthesizing Ranking Functions from Bits and Pieces⋆
C Urban, A Gurfinkel, T Kahsai
TACAS, 2016
452016
An abstract interpretation framework for input data usage
C Urban, P Müller
Programming Languages and Systems: 27th European Symposium on Programming …, 2018
322018
FuncTion: An Abstract Domain Functor for Termination
C Urban
TACAS, 464-466, 2015
25*2015
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation
C Urban, A Miné
VMCAI, 190-208, 2015
242015
Static Analysis by Abstract Interpretation of Functional Temporal Properties of Programs
C Urban
École Normale Supérieure, Paris, France, 2015
212015
Abstract interpretation of CTL properties
C Urban, S Ueltschi, P Müller
Static Analysis: 25th International Symposium, SAS 2018, Freiburg, Germany …, 2018
202018
Conflict-Driven Conditional Termination
V D’Silva, C Urban
CAV, 271-286, 2015
162015
Permission inference for array programs
J Dohrau, AJ Summers, C Urban, S Münger, P Müller
Computer Aided Verification: 30th International Conference, CAV 2018, Held …, 2018
152018
Fairness-Aware Training of Decision Trees by Abstract Interpretation
F Ranzato, C Urban, M Zanella
Proceedings of the 30th ACM International Conference on Information …, 2021
142021
Reduced products of abstract domains for fairness certification of neural networks
D Mazzucato, C Urban
Static Analysis: 28th International Symposium, SAS 2021, Chicago, IL, USA …, 2021
102021
Fair Training of Decision Tree Classifiers
F Ranzato, C Urban, M Zanella
arXiv preprint arXiv:2101.00909, 2021
102021
Inference of Ranking Functions for Proving Temporal Properties by Abstract Interpretation
C Urban, A Miné
Computer Languages, Systems & Structures, 2016
82016
Static analysis of data science software
C Urban
Static Analysis: 26th International Symposium, SAS 2019, Porto, Portugal …, 2019
72019
系统目前无法执行此操作，请稍后再试。
文章 1–20
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交