| Formal Analysis of Facebook Connect Single Sign-On Authentication Protocol M Miculan, C Urban SOFSEM, 2011 | 58 | 2011 |
| The Abstract Domain of Segmented Ranking Functions C Urban SAS, 43-62, 2013 | 36 | 2013 |
| A Decision Tree Abstract Domain for Proving Conditional Termination C Urban, A Miné SAS, 302-318, 2014 | 33 | 2014 |
| An Abstract Domain to Infer Ordinal-Valued Ranking Functions C Urban, A Miné ESOP, 412-431, 2014 | 26 | 2014 |
| Synthesizing Ranking Functions from Bits and Pieces⋆ C Urban, A Gurfinkel, T Kahsai TACAS, 2016 | 19 | 2016 |
| Proving Guarantee and Recurrence Temporal Properties by Abstract Interpretation C Urban, A Miné VMCAI, 190-208, 2015 | 16 | 2015 |
| FuncTion: An Abstract Domain Functor for Termination C Urban TACAS, 464-466, 2015 | 13 | 2015 |
| Static Analysis by Abstract Interpretation of Functional Temporal Properties of Programs C Urban École Normale Supérieure, Paris, France, 2015 | 11 | 2015 |
| Conflict-Driven Conditional Termination V D’Silva, C Urban CAV, 271-286, 2015 | 10 | 2015 |
| An Abstract Interpretation Framework for Input Data Usage C Urban, P Müller European Symposium on Programming, 683-710, 2018 | 6 | 2018 |
| 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 | 5 | 2018 |
| Abstract Interpretation as Automated Deduction V D’Silva, C Urban CADE, 450-464, 2015 | 5 | 2015 |
| Inference of Ranking Functions for Proving Temporal Properties by Abstract Interpretation C Urban, A Miné Computer Languages, Systems & Structures, 2016 | 4 | 2016 |
| 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 | 3 | 2018 |
| Precise Widening Operators for Proving Termination by Abstract Interpretation N Courant, C Urban International Conference on Tools and Algorithms for the Construction and …, 2017 | 3 | 2017 |
| To Infinity... and Beyond! C Urban, A Miné WST, 85-89, 2014 | 2 | 2014 |
| Piecewise-Defined Ranking Functions C Urban WST, 69-73, 2013 | 2 | 2013 |
| Abstract Interpretation of CTL Properties C Urban, S Ueltschi, P Müller International Static Analysis Symposium, 402-422, 2018 | 1 | 2018 |
| Concurrency with Weak Memory Models (Dagstuhl Seminar 16471) J Alglave, P Cousot, C Urban Dagstuhl Reports 6 (11), 2017 | | 2017 |
| Büchi, Lindenbaum, Tarski: A Program Analysis Appetizer. V D'Silva, C Urban IJCAI, 4150-4154, 2016 | | 2016 |
Antoine MinéUMPC, Paris, FranceVerified email at lip6.fr