Publications
Search

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)
    Bookmark:

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

    Show item 1 to 24 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
    Conference paper
    Pierre Roux, Pierre-Loïc Garoche.
    Integrating Policy Iterations in Abstract Interpreters.
    Automated Technology for Verification and Analysis - 11th International Symposium, ATVA 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux.
    Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses.
    Formal Methods for Industrial Critical Systems - 18th International Workshop, FMICS 2013, Madrid, Spain, September 23-24, 2013. Proceedings 2013 (0) 2013
    Conference paper
    Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron.
    A generic ellipsoid abstract domain for linear time invariant systems.
    Hybrid Systems: Computation and Control (part of CPS Week 2012), HSCC'12, Beijing, China, April 17-19, 2012 2012 (0) 2012
    Conference paper
    Nourhene Maalel, Mounir Kellil, Pierre Roux, Abdelmadjid Bouabdallah.
    Fast Restoration of Connectivity for Wireless Sensor Networks.
    Internet of Things, Smart Spaces, and Next Generation Networking - 12th International Conference, NEW2AN 2012, and 5th Conference, ruSMART 2012, St. Petersburg, Russia, August 27-29, 2012. Proceedings 2012 (0) 2012
    Conference paper
    Zdenek Becvar, Pierre Roux, Pavel Mach.
    Fast cell selection with efficient active set management in OFDMA networks with femtocells.
    EURASIP J. Wireless Comm. and Networking 2012, Volume 2012 (0) 2012
    Conference paper
    Nuno Carapeto, Filipe Cabral Pinto, Daniel Figueira, Nuno Filipe Coutinho, Susana Sargento, Pierre Roux.
    Pervasive multiparty delivery framework for ubiquitous multimedia services.
    Proceedings of the 16th IEEE Symposium on Computers and Communications, ISCC 2011, Kerkyra, Corfu, Greece, June 28 - July 1, 2011 2011 (0) 2011
    Conference paper
    Pierre Roux, Mohamed Kamoun.
    Fast cell selection for femtocell based access networks.
    2011 Future Network Mobile Summit, Warsaw, Poland, June 15-17, 2011 2011 (0) 2011
    Journal article
    Pierre Roux, Rémi Delmas, Pierre-Loïc Garoche.
    SMT-AI: an Abstract Interpreter as Oracle for k-induction.
    Electr. Notes Theor. Comput. Sci. 2010, Volume 267 (0) 2010
    Conference paper
    Pierre Roux, Radu Siminiceanu.
    Model Checking with Edge-valued Decision Diagrams.
    Second NASA Formal Methods Symposium - NFM 2010, Washington D.C., USA, April 13-15, 2010. Proceedings 2010 (0) 2010
    Journal article
    Philippe Chiron, Eric Njedjou, Pierrick Seite, Karine Gosse, Eric Melin, Pierre Roux.
    Architectures for IP-based network-assisted mobility management across heterogeneous networks.
    IEEE Wireless Commun. 2008, Volume 15 (0) 2008
    Journal article
    Vera Stavroulaki, Soodesh Buljore, Pierre Roux, Eric Melin.
    Equipment management issues in B3G, end-to-end reconfigurable systems.
    IEEE Wireless Commun. 2006, Volume 13 (0) 2006
    Conference paper
    Rachid Guerraoui, Riccardo Capobianchi, Agnes Lanusse, Pierre Roux.
    Nesting Actions through Asynchronous Message Passing: the ACS Protocol.
    ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29 - July 3, 1992, Proceedings 1992 (0) 1992
    Conference paper
    Riccardo Capobianchi, Rachid Guerraoui, Agnes Lanusse, Pierre Roux.
    Coping with the Process Proliferation Problem in Concurrent Object-Based Language Implementations.
    PARLE '92: Parallel Architectures and Languages Europe, 4th International PARLE Conference, Paris, France, June 15-18, 1992, Proceedings 1992 (0) 1992
    Conference paper
    Riccardo Capobianchi, Rachid Guerraoui, Agnes Lanusse, Pierre Roux.
    Active Objects on Parallel Machines: a Case Study.
    TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, Dortmund, Germany, Europe. 1992 (0) 1992
    Show item 1 to 24 of 24  

    Your query returned 24 matches in the database.