Pierre Roux

Publication Activity (10 Years)

Years Active: 1992-2023
Publications (10 Years): 29

Top Topics

Arithmetic Operations

Top Venues

J. Autom. Reason.

Dagstuhl Artifacts Ser.

Publications

Filip Markovic, Pierre Roux, Sergey Bozhko, Alessandro V. Papadopoulos, Björn B. Brandenburg
CTA: A Correlation-Tolerant Analysis of the Deadline-Failure Probability of Dependent Tasks. RTSS (2023)
Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux
A Verified UAV Flight Plan Generator. FormaliSE (2023)
Érik Martin-Dorel, Guillaume Melquiond, Pierre Roux
Enabling Floating-Point Arithmetic in the Coq Proof Assistant. J. Autom. Reason. 67 (4) (2023)
Pierre Roux, Sophie Quinton, Marc Boyer
A Formal Link Between Response Time Analysis and Network Calculus. ECRTS (2022)
Quentin Peyron, Quentin Boehler, Patrick Rougeot, Pierre Roux, Bradley J. Nelson, Nicolas Andreff, Kanty Rabenorosoa, Pierre Renaud
Magnetic concentric tube robots: Introduction and analysis. Int. J. Robotics Res. 41 (4) (2022)
Pierre Roux, Sophie Quinton, Marc Boyer
A Formal Link Between Response Time Analysis and Network Calculus (Artifact). Dagstuhl Artifacts Ser. 8 (1) (2022)
Moussa Aboubakar, Mounir Kellil, Pierre Roux
A review of IoT network management: Current status and perspectives. J. King Saud Univ. Comput. Inf. Sci. 34 (7) (2022)
Lucien Rakotomalala, Pierre Roux, Marc Boyer
Verifying Min-Plus Computations with Coq. NFM (2021)
Baptiste Pollien, Christophe Garion, Gautier Hattenberger, Pierre Roux, Xavier Thirioux
Verifying the Mathematical Library of an UAV Autopilot with Frama-C. FMICS (2021)
Marc Boyer, Pierre Roux, Hugo Daigmorte, David Puechmaille
A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus. ECRTS (2021)
Moussa Aboubakar, Pierre Roux, Mounir Kellil, Abdelmadjid Bouabdallah
A novel scheme for congestion notification in IoT low power networks. IM (2021)
Marc Boyer, Pierre Roux, Hugo Daigmorte, David Puechmaille
A Residual Service Curve of Rate-Latency Server Used by Sporadic Flows Computable in Quadratic Time for Network Calculus (Artifact). Dagstuhl Artifacts Ser. 7 (1) (2021)
Moussa Aboubakar, Mounir Kellil, Abdelmadjid Bouabdallah, Pierre Roux
Using Machine Learning to Estimate the Optimal Transmission Range for RPL Networks. NOMS (2020)
Pierre Roux, Valérian Mannoni
Performance evaluation for co-channel coexistence between ITS-G5 and LTE-V2X. VTC Fall (2020)
Moussa Aboubakar, Pierre Roux, Mounir Kellil, Abdelmadjid Bouabdallah
An Efficient and Adaptive Configuration of IEEE 802.15.4 MAC for Communication Delay Optimisation. NOF (2020)
Guillaume Bertholon, Érik Martin-Dorel, Pierre Roux
Primitive Floats in Coq. ITP (2019)
Moussa Aboubakar, Mounir Kellil, Abdelmadjid Bouabdallah, Pierre Roux
Toward Intelligent Reconfiguration of RPL Networks using Supervised Learning. Wireless Days (2019)
Pierre Roux, Stefania Sesia, Valérian Mannoni, Eric Perraud
System Level Analysis for ITS-G5 and LTE-V2X Performance Comparison. MASS (2019)
Guillaume Davy, Christophe Garion, Pierre-Loïc Garoche, Pierre Roux, Xavier Thirioux
Preserving Functional Correctness of Cyber-Physical System Controllers: From Model to Code. FDL (2018)
Pierre Roux, Mohamed Iguernlala, Sylvain Conchon
A Non-linear Arithmetic Procedure for Control-Command Software Verification. TACAS (2) (2018)
Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan
Validating numerical semidefinite programming solvers for polynomial invariants. Formal Methods Syst. Des. 53 (2) (2018)
Érik Martin-Dorel, Pierre Roux
A reflexive tactic for polynomial positivity using numerical solvers and floating-point computations. CPP (2017)
Timothy E. Wang, Pierre-Loïc Garoche, Pierre Roux, Romain Jobredeaux, Eric Feron
Formal Analysis of Robustness at Model and Code Level. HSCC (2016)
Pierre Roux
Formal Proofs of Rounding Error Bounds - With Application to an Automatic Positive Definiteness Check. J. Autom. Reason. 57 (2) (2016)
Marc Boyer, Pierre Roux
Embedding network calculus and event stream theory in a common model. ETFA (2016)
Pierre Roux, Yuen-Lam Voronin, Sriram Sankaranarayanan
Validating Numerical Semidefinite Programming Solvers for Polynomial Invariants. SAS (2016)
Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche
Closed loop analysis of control command software. HSCC (2015)
Vincent Mattana, Günther Drevin, Pierre Roux
The Creation of Synthetic Digital Ground-Truth Images of Historic Cosmic Ray Data Recordings. GREC (2015)
Pierre Roux, Pierre-Loïc Garoche
Practical policy iterations - A practical use of policy iterations for static analysis: the quadratic case. Formal Methods Syst. Des. 46 (2) (2015)
Pierre Roux, Pierre-Loïc Garoche
Computing Quadratic Invariants with Min- and Max-Policy Iterations: A Practical Comparison. FM (2014)
Pierre Roux
Innocuous Double Rounding of Basic Arithmetic Operations. J. Formaliz. Reason. 7 (1) (2014)
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. FMICS (2013)
Pierre Roux, Pierre-Loïc Garoche
Integrating Policy Iterations in Abstract Interpreters. ATVA (2013)
Nourhene Maalel, Enrico Natalizio, Abdelmadjid Bouabdallah, Pierre Roux, Mounir Kellil
Reliability for Emergency Applications in Internet of Things. DCOSS (2013)
Zdenek Becvar, Pierre Roux, Pavel Mach
Fast cell selection with efficient active set management in OFDMA networks with femtocells. EURASIP J. Wirel. Commun. Netw. 2012 (2012)
Pierre Roux, Romain Jobredeaux, Pierre-Loïc Garoche, Eric Feron
A generic ellipsoid abstract domain for linear time invariant systems. HSCC (2012)
Nourhene Maalel, Mounir Kellil, Pierre Roux, Abdelmadjid Bouabdallah
Fast Restoration of Connectivity for Wireless Sensor Networks. NEW2AN (2012)
Pierre Roux, Mohamed Kamoun
Fast cell selection for femtocell based access networks. Future Network & Mobile Summit (2011)
Nuno Carapeto, Filipe Cabral Pinto, Daniel Figueira, Nuno Filipe Coutinho, Susana Sargento, Pierre Roux
Pervasive multiparty delivery framework for ubiquitous multimedia services. ISCC (2011)
Pierre Roux, Radu Siminiceanu
Model Checking with Edge-valued Decision Diagrams. NASA Formal Methods (2010)
Pierre Roux, Remi Delmas, Pierre-Loïc Garoche
SMT-AI: an Abstract Interpreter as Oracle for k-induction. Electron. Notes Theor. Comput. Sci. 267 (2) (2010)
Philippe Chiron, Eric Njedjou, Pierrick Seite, Karine Gosse, Eric Melin, Pierre Roux
Architectures for IP-based network-assisted mobility management across heterogeneous networks. IEEE Wirel. Commun. 15 (2) (2008)
Vera Stavroulaki, Soodesh Buljore, Pierre Roux, Eric Melin
Equipment management issues in B3G, end-to-end reconfigurable systems. IEEE Wirel. Commun. 13 (3) (2006)
Riccardo Capobianchi, Rachid Guerraoui, Agnes Lanusse, Pierre Roux
Active Objects on Parallel Machines: a Case Study. TOOLS (7) (1992)
Rachid Guerraoui, Riccardo Capobianchi, Agnes Lanusse, Pierre Roux
Nesting Actions through Asynchronous Message Passing: the ACS Protocol. ECOOP (1992)
Riccardo Capobianchi, Rachid Guerraoui, Agnes Lanusse, Pierre Roux
Coping with the Process Proliferation Problem in Concurrent Object-Based Language Implementations. PARLE (1992)