Publications :: Search

Show author

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

    Author information
    First name: Pierre
    Last name: Roux
    DBLP: 34/6012
    Rating: (not rated yet)

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

    Show item 1 to 10 of 24  
    Select a publication
    Show Title Venue Rating Date
    Conference paper
    Érik Martin-Dorel, Pierre Roux.
    A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations.
    Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, CPP 2017, Paris, France, January 16-17, 2017 2017 (0) 2017
    Conference paper
    Timothy Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron.
    Formal Analysis of Robustness at Model and Code Level.
    Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, HSCC 2016, Vienna, Austria, April 12-14, 2016 2016 (0) 2016
    Conference paper
    Pierre Roux.
    Formal Proofs of Rounding Error Bounds - With Application to an Automatic Positive Definiteness Check.
    J. Autom. Reasoning 2016, Volume 57 (0) 2016
    Conference paper
    Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan.
    Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants.
    Static Analysis - 23rd International Symposium, SAS 2016, Edinburgh, UK, September 8-10, 2016, Proceedings 2016 (0) 2016
    Conference paper
    Marc Boyer, Pierre Roux.
    Embedding network calculus and event stream theory in a common model.
    21st IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2016, Berlin, Germany, September 6-9, 2016 2016 (0) 2016
    Conference paper
    Pierre Roux, Pierre-Loïc Garoche.
    Practical policy iterations - A practical use of policy iterations for static analysis: the quadratic case.
    Formal Methods in System Design 2015, Volume 46 (0) 2015
    Conference paper
    Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche.
    Closed loop analysis of control command software.
    Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, HSCC'15, Seattle, WA, USA, April 14-16, 2015 2015 (0) 2015
    Conference paper
    Vincent Mattana, Günther Drevin, Pierre Roux.
    The Creation of Synthetic Digital Ground-Truth Images of Historic Cosmic Ray Data Recordings.
    Graphic Recognition. Current Trends and Challenges - 11th International Workshop, GREC 2015, Nancy, France, August 22-23, 2015, Revised Selected Papers 2017 (0) 2015
    Conference paper
    Pierre Roux, Pierre-Loïc Garoche.
    Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison.
    FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings 2014 (0) 2014
    Conference paper
    Nourhene Maalel, Enrico Natalizio, Abdelmadjid Bouabdallah, Pierre Roux, Mounir Kellil.
    Reliability for Emergency Applications in Internet of Things.
    IEEE International Conference on Distributed Computing in Sensor Systems, DCOSS 2013, Cambridge, MA, USA, May 20-23, 2013 2013 (0) 2013
    Show item 1 to 10 of 24  

    Your query returned 24 matches in the database.