Xavier Urbain

Xavier Urbain

Laboratoire d'InfoRmatique en Image et Systèmes d'information - / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 4728147
person_outline Xavier Urbain's MOST POPULAR ARTICLES
1-) The Krakatoa tool for certification of Java/JavaCard Programs annotated in JML C Marché, C Paulin-Mohring, X Urbain The Journal of Logic and Algebraic Programming 58 (1), 89-106, 2004 2792004
2-) Mechanically proving termination using polynomial interpretations E Contejean, C Marché, AP Tomás, X Urbain Journal of Automated Reasoning 34 (4), 325-363, 2005 1212005
3-) Proving operational termination of membership equational programs F Durán, S Lucas, C Marché, J Meseguer, X Urbain Higher-Order and Symbolic Computation 21 (1-2), 59-88, 2008 982008
4-) Certification of automated termination proofsE Contejean, P Courtieu, J Forest, O Pons, X UrbainInternational Symposium on Frontiers of Combining Systems, 148-162, 2007752007
5-) Modular and incremental automated termination proofsX UrbainJournal of Automated Reasoning 32 (4), 315-355, 2004682004