Publications
Search

Publications :: Search

Show author

On this page you see the details of the selected author.

    Author information
    First name: Étienne
    Last name: Payet
    DBLP: 00/5618
    Rating: (not rated yet)
    Bookmark:

    Below you find the publications which have been written by this author.

    Show item 1 to 10 of 34  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet.
    Termination analysis of floating-point programs using parameterizable rational approximations.
    Proceedings of the 31st Annual ACM Symposium on Applied Computing, Pisa, Italy, April 4-8, 2016 2016 (0) 2016
    Conference paper
    Fonenantsoa Maurica, Frédéric Mesnard, Étienne Payet.
    On the Linear Ranking Problem for Simple Floating-Point Loops.
    Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings 2016 (0) 2016
    Journal article
    Frédéric Mesnard, Étienne Payet, Germán Vidal.
    On the Completeness of Selective Unification in Concolic Testing of Logic Programs.
    CoRR 2016, Volume 0 (0) 2016
    Conference paper
    Frédéric Mesnard, Étienne Payet, Wim Vanhoof.
    Towards a framework for algorithm recognition in binary code.
    Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, Edinburgh, United Kingdom, September 5-7, 2016 2016 (0) 2016
    Journal article
    Frédéric Mesnard, Étienne Payet, Germán Vidal.
    Concolic Testing in Logic Programming.
    CoRR 2015, Volume 0 (0) 2015
    Conference paper
    Frédéric Mesnard, Étienne Payet.
    A second-order formulation of non-termination.
    Inf. Process. Lett. 2015, Volume 115 (0) 2015
    Conference paper
    Frédéric Mesnard, Étienne Payet, Germán Vidal.
    Concolic testing in logic programming.
    TPLP 2015, Volume 15 (0) 2015
    Conference paper
    Étienne Payet, Fausto Spoto.
    An operational semantics for android activities.
    Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, PEPM 2014, January 20-21, 2014, San Diego, California, USA 2014 (0) 2014
    Journal article
    Étienne Payet, Frédéric Mesnard, Fausto Spoto.
    Non-Termination Analysis of Java Bytecode.
    CoRR 2014, Volume 0 (0) 2014
    Journal article
    Étienne Payet, Frédéric Mesnard.
    Non-termination of Dalvik bytecode via compilation to CLP.
    CoRR 2014, Volume 0 (0) 2014
    Show item 1 to 10 of 34  

    Your query returned 34 matches in the database.