Caterina Urban
Caterina Urban
INRIA & École Normale Supérieure, Paris, France
Verified email at inria.fr - Homepage
TitleCited byYear
Formal Analysis of Facebook Connect Single Sign-On Authentication Protocol
M Miculan, C Urban
SOFSEM, 2011
602011
The Abstract Domain of Segmented Ranking Functions
C Urban
SAS, 43-62, 2013
372013
A Decision Tree Abstract Domain for Proving Conditional Termination
C Urban, A Miné
SAS, 302-318, 2014
342014
An Abstract Domain to Infer Ordinal-Valued Ranking Functions
C Urban, A Miné
ESOP, 412-431, 2014
272014
Synthesizing Ranking Functions from Bits and Pieces⋆
C Urban, A Gurfinkel, T Kahsai
TACAS, 2016
192016
Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation
C Urban, A Miné
VMCAI, 190-208, 2015
172015
FuncTion: An Abstract Domain Functor for Termination
C Urban
TACAS, 464-466, 2015
142015
Static Analysis by Abstract Interpretation of Functional Temporal Properties of Programs
C Urban
École Normale Supérieure, Paris, France, 2015
122015
An Abstract Interpretation Framework for Input Data Usage
C Urban, P Müller
European Symposium on Programming, 683-710, 2018
102018
Conflict-Driven Conditional Termination
V D’Silva, C Urban
CAV, 271-286, 2015
102015
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
72018
Abstract Interpretation as Automated Deduction
V D’Silva, C Urban
CADE, 450-464, 2015
62015
Abstract Interpretation of CTL Properties
C Urban, S Ueltschi, P Müller
International Static Analysis Symposium, 402-422, 2018
42018
Permission inference for array programs
J Dohrau, AJ Summers, C Urban, S Münger, P Müller
International Conference on Computer Aided Verification, 55-74, 2018
42018
Inference of Ranking Functions for Proving Temporal Properties by Abstract Interpretation
C Urban, A Miné
Computer Languages, Systems & Structures, 2016
42016
Precise Widening Operators for Proving Termination by Abstract Interpretation
N Courant, C Urban
International Conference on Tools and Algorithms for the Construction and …, 2017
32017
To Infinity... and Beyond!
C Urban, A Miné
WST, 85-89, 2014
22014
Piecewise-Defined Ranking Functions
C Urban
WST, 69-73, 2013
22013
Static Analysis of Data Science Software
C Urban
International Static Analysis Symposium, 17-23, 2019
2019
Concurrency with Weak Memory Models (Dagstuhl Seminar 16471)
J Alglave, P Cousot, C Urban
Dagstuhl Reports 6 (11), 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20