Pierre Roux

According to our database, Pierre Roux authored at least 26 papers between 2010 and 2023.

Collaborative distances:

• Dijkstra number of four.
• 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 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

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

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

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

Integrating Policy Iterations in Abstract Interpreters.

Pierre Roux, Pierre-Loïc Garoche

Proceedings of the Automated Technology for Verification and Analysis, 2013

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

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