Pierre Roux

According to our database, Pierre Roux authored at least 45 papers between 1992 and 2023.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2023

Enabling Floating-Point Arithmetic in the Coq Proof Assistant.

Érik Martin-Dorel, Guillaume Melquiond, Pierre Roux

J. Autom. Reason., December, 2023

CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks.

Filip Markovic, Pierre Roux, Sergey Bozhko, Alessandro V. Papadopoulos, Björn B. Brandenburg

Proceedings of the IEEE Real-Time Systems Symposium, 2023

A Verified UAV Flight Plan Generator.

Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux

Proceedings of the 11th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2023

2022

A review of IoT network management: Current status and perspectives.

Moussa Aboubakar, Mounir Kellil, Pierre Roux

J. King Saud Univ. Comput. Inf. Sci., 2022

Magnetic concentric tube robots: Introduction and analysis.

Quentin Peyron, Quentin Boehler, Patrick Rougeot, Pierre Roux, Bradley J. Nelson, Nicolas Andreff, Kanty Rabenorosoa, Pierre Renaud

Int. J. Robotics Res., 2022

A Formal Link Between Response Time Analysis and Network Calculus (Artifact).

Pierre Roux, Sophie Quinton, Marc Boyer

Dagstuhl Artifacts Ser., 2022

A Formal Link Between Response Time Analysis and Network Calculus.

Pierre Roux, Sophie Quinton, Marc Boyer

Proceedings of the 34th Euromicro Conference on Real-Time Systems, 2022

2021

A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus (Artifact).

Marc Boyer, Pierre Roux, Hugo Daigmorte, David Puechmaille

Dagstuhl Artifacts Ser., 2021

Verifying Min-Plus Computations with Coq.

Lucien Rakotomalala, Pierre Roux, Marc Boyer

Proceedings of the NASA Formal Methods - 13th International Symposium, 2021

A novel scheme for congestion notification in IoT low power networks.

Moussa Aboubakar, Pierre Roux, Mounir Kellil, Abdelmadjid Bouabdallah

Proceedings of the 17th IFIP/IEEE International Symposium on Integrated Network Management, 2021

Verifying the Mathematical Library of an UAV Autopilot with Frama-C.

Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus.

Marc Boyer, Pierre Roux, Hugo Daigmorte, David Puechmaille

Proceedings of the 33rd Euromicro Conference on Real-Time Systems, 2021

2020

Performance evaluation for co-channel coexistence between ITS-G5 and LTE-V2X.

Pierre Roux, Valérian Mannoni

Proceedings of the 92nd IEEE Vehicular Technology Conference, 2020

Using Machine Learning to Estimate the Optimal Transmission Range for RPL Networks.

Moussa Aboubakar, Mounir Kellil, Abdelmadjid Bouabdallah, Pierre Roux

Proceedings of the NOMS 2020, 2020

An Efficient and Adaptive Configuration of IEEE 802.15.4 MAC for Communication Delay Optimisation.

Moussa Aboubakar, Pierre Roux, Mounir Kellil, Abdelmadjid Bouabdallah

Proceedings of the 11th International Conference on Network of the Future, 2020

2019

Toward Intelligent Reconfiguration of RPL Networks using Supervised Learning.

Moussa Aboubakar, Mounir Kellil, Abdelmadjid Bouabdallah, Pierre Roux

Proceedings of the 2019 Wireless Days, 2019

System Level Analysis for ITS-G5 and LTE-V2X Performance Comparison.

Pierre Roux, Stefania Sesia, Valérian Mannoni, Eric Perraud

Proceedings of the 16th IEEE International Conference on Mobile Ad Hoc and Sensor Systems, 2019

Primitive Floats in Coq.

Guillaume Bertholon, Érik Martin-Dorel, Pierre Roux

Proceedings of the 10th International Conference on Interactive Theorem Proving, 2019

2018

Validating numerical semidefinite programming solvers for polynomial invariants.

Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan

Formal Methods Syst. Des., 2018

A Non-linear Arithmetic Procedure for Control-Command Software Verification.

Pierre Roux, Mohamed Iguernlala, Sylvain Conchon

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018

Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code.

Guillaume Davy, Christophe Garion, Pierre-Loïc Garoche, Pierre Roux, Xavier Thirioux

Proceedings of the 2018 Forum on Specification & Design Languages, 2018

2017

A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations.

Érik Martin-Dorel, Pierre Roux

Proceedings of the 6th ACM SIGPLAN Conference on Certified Programs and Proofs, 2017

2016

Formal Proofs of Rounding Error Bounds - With Application to an Automatic Positive Definiteness Check.

Pierre Roux

J. Autom. Reason., 2016

Formal Analysis of Robustness at Model and Code Level.

Timothy E. Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Embedding network calculus and event stream theory in a common model.

Marc Boyer, Pierre Roux

Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation, 2016

2015

Practical policy iterations - A practical use of policy iterations for static analysis: the quadratic case.

Pierre Roux, Pierre-Loïc Garoche

Formal Methods Syst. Des., 2015

Closed loop analysis of control command software.

Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche

Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control, 2015

The Creation of Synthetic Digital Ground-Truth Images of Historic Cosmic Ray Data Recordings.

Vincent Mattana, Günther Drevin, Pierre Roux

Proceedings of the Graphic Recognition. Current Trends and Challenges, 2015

2014

Innocuous Double Rounding of Basic Arithmetic Operations.

Pierre Roux

J. Formaliz. Reason., 2014

Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison.

Pierre Roux, Pierre-Loïc Garoche

Proceedings of the FM 2014: Formal Methods, 2014

2013

Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses.

Adrien Champion, Rémi Delmas, Michael Dierkes, Pierre-Loïc Garoche, Romain Jobredeaux, Pierre Roux

Proceedings of the Formal Methods for Industrial Critical Systems, 2013

Reliability for Emergency Applications in Internet of Things.

Nourhene Maalel, Enrico Natalizio, Abdelmadjid Bouabdallah, Pierre Roux, Mounir Kellil

Proceedings of the IEEE International Conference on Distributed Computing in Sensor Systems, 2013

Integrating Policy Iterations in Abstract Interpreters.

Pierre Roux, Pierre-Loïc Garoche

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Fast cell selection with efficient active set management in OFDMA networks with femtocells.

Zdenek Becvar, Pierre Roux, Pavel Mach

EURASIP J. Wirel. Commun. Netw., 2012

Fast Restoration of Connectivity for Wireless Sensor Networks.

Nourhene Maalel, Mounir Kellil, Pierre Roux, Abdelmadjid Bouabdallah

Proceedings of the Internet of Things, Smart Spaces, and Next Generation Networking, 2012

A generic ellipsoid abstract domain for linear time invariant systems.

Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron

Proceedings of the Hybrid Systems: Computation and Control (part of CPS Week 2012), 2012

2011

Pervasive multiparty delivery framework for ubiquitous multimedia services.

Nuno Carapeto, Filipe Cabral Pinto, Daniel Figueira, Nuno Filipe Coutinho, Susana Sargento, Pierre Roux

Proceedings of the 16th IEEE Symposium on Computers and Communications, 2011

Fast cell selection for femtocell based access networks.

Pierre Roux, Mohamed Kamoun

Proceedings of the 2011 Future Network & Mobile Summit, Warsaw, Poland, June 15-17, 2011, 2011

2010

SMT-AI: an Abstract Interpreter as Oracle for k-induction.

Pierre Roux, Remi Delmas, Pierre-Loïc Garoche

Proceedings of the Tools for Automatic Program AnalysiS, 2010

Model Checking with Edge-valued Decision Diagrams.

Pierre Roux, Radu Siminiceanu

Proceedings of the Second NASA Formal Methods Symposium, 2010

2008

Architectures for IP-based network-assisted mobility management across heterogeneous networks.

Philippe Chiron, Eric Njedjou, Pierrick Seite, Karine Gosse, Eric Melin, Pierre Roux

IEEE Wirel. Commun., 2008

2006

Equipment management issues in B3G, end-to-end reconfigurable systems.

Vera Stavroulaki, Soodesh Buljore, Pierre Roux, Eric Melin

IEEE Wirel. Commun., 2006

1992

Active Objects on Parallel Machines: a Case Study.

Riccardo Capobianchi, Rachid Guerraoui, Agnes Lanusse, Pierre Roux

Proceedings of the TOOLS 1992: 7th International Conference on Technology of Object-Oriented Languages and Systems, 1992

Coping with the Process Proliferation Problem in Concurrent Object-Based Language Implementations.

Riccardo Capobianchi, Rachid Guerraoui, Agnes Lanusse, Pierre Roux

Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

Nesting Actions through Asynchronous Message Passing: the ACS Protocol.

Rachid Guerraoui, Riccardo Capobianchi, Agnes Lanusse, Pierre Roux

Proceedings of the ECOOP '92, European Conference on Object-Oriented Programming, Utrecht, The Netherlands, June 29, 1992