| 2025 | ITP | Formalizing Concentration Inequalities in Rocq: Infrastructure and Automation. | Reynald Affeldt, Alessandro Bruni, Cyril Cohen, Pierre Roux, Takafumi Saikawa |
| 2023 | RTSS | CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks. | Filip Markovic, Pierre Roux, Sergey Bozhko, Alessandro V. Papadopoulos, Bjrn B. Brandenburg |
| 2022 | ECRTS | A Formal Link Between Response Time Analysis and Network Calculus. | Pierre Roux, Sophie Quinton, Marc Boyer |
| 2021 | ECRTS | 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 |
| 2021 | FMICS | Verifying the Mathematical Library of an UAV Autopilot with Frama-C. | Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux |
| 2021 | IM | A novel scheme for congestion notification in IoT low power networks. | Moussa Aboubakar, Pierre Roux, Mounir Kellil, Abdelmadjid Bouabdallah |
| 2020 | NOMS | Using Machine Learning to Estimate the Optimal Transmission Range for RPL Networks. | Moussa Aboubakar, Mounir Kellil, Abdelmadjid Bouabdallah, Pierre Roux |
| 2020 | VTC | Performance evaluation for co-channel coexistence between ITS-G5 and LTE-V2X. | Pierre Roux, Valrian Mannoni |
| 2019 | ITP | Primitive Floats in Coq. | Guillaume Bertholon, rik Martin-Dorel, Pierre Roux |
| 2019 | MASS | System Level Analysis for ITS-G5 and LTE-V2X Performance Comparison. | Pierre Roux, Stefania Sesia, Valrian Mannoni, Eric Perraud |
| 2018 | FDL | Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. | Guillaume Davy, Christophe Garion, Pierre-Loc Garoche, Pierre Roux, Xavier Thirioux |
| 2018 | TACAS | A Non-linear Arithmetic Procedure for Control-Command Software Verification. | Pierre Roux, Mohamed Iguernlala, Sylvain Conchon |
| 2017 | CPP | A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations. | rik Martin-Dorel, Pierre Roux |
| 2016 | ETFA | Embedding network calculus and event stream theory in a common model. | Marc Boyer, Pierre Roux |
| 2016 | SAS | Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants. | Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan |
| 2014 | FM | Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison. | Pierre Roux, Pierre-Loc Garoche |
| 2013 | ATVA | Integrating Policy Iterations in Abstract Interpreters. | Pierre Roux, Pierre-Loc Garoche |
| 2013 | DCOSS | Reliability for Emergency Applications in Internet of Things. | Nourhene Maalel, Enrico Natalizio, Abdelmadjid Bouabdallah, Pierre Roux, Mounir Kellil |
| 2013 | FMICS | Formal Methods for the Analysis of Critical Control Systems Models: Combining Non-linear and Linear Analyses. | Adrien Champion, Rmi Delmas, Michael Dierkes, Pierre-Loc Garoche, Romain Jobredeaux, Pierre Roux |
| 2011 | ISCC | Pervasive multiparty delivery framework for ubiquitous multimedia services. | Nuno Carapeto, Filipe Pinto, Daniel Figueira, Nuno Filipe Coutinho, Susana Sargento, Pierre Roux |
| 1992 | ECOOP | Nesting Actions through Asynchronous Message Passing: the ACS Protocol. | Rachid Guerraoui, Riccardo Capobianchi, Agnes Lanusse, Pierre Roux |