×

zbMATH — the first resource for mathematics

Roux, Pierre

Compute Distance To:
Author ID: roux.pierre Recent zbMATH articles by "Roux, Pierre"
Published as: Roux, P.; Roux, Pierre
Documents Indexed: 14 Publications since 2000

Publications by Year

Citations contained in zbMATH Open

9 Publications have been cited 17 times in 13 Documents Cited by Year
A generic ellipsoid abstract domain for linear time invariant systems. Zbl 1362.93065
Roux, Pierre; Jobredeaux, Romain; Garoche, Pierre-Loïc; Féron, Éric
6
2012
Validating numerical semidefinite programming solvers for polynomial invariants. Zbl 1394.68085
Roux, Pierre; Voronin, Yuen-Lam; Sankaranarayanan, Sriram
2
2016
Formal proofs of rounding error bounds. With application to an automatic positive definiteness check. Zbl 1409.68263
Roux, Pierre
2
2016
Integrating policy iterations in abstract interpreters. Zbl 1410.68078
Roux, Pierre; Garoche, Pierre-Loïc
2
2013
Global-in-time solutions and qualitative properties for the NNLIF neuron model with synaptic delay. Zbl 1423.35148
Cáceres, María J.; Roux, Pierre; Salort, Delphine; Schneider, Ricarda
1
2019
Formal analysis of robustness at model and code level. Zbl 1364.93249
Wang, Timothy E.; Garoche, Pierre-Loïc; Roux, Pierre; Jobredeaux, Romain; Féron, Éric
1
2016
Closed loop analysis of control command software. Zbl 1364.93504
Roux, Pierre; Jobredeaux, Romain; Garoche, Pierre-Loïc
1
2015
Innocuous double rounding of basic arithmetic operations. Zbl 1451.65061
Roux, Pierre
1
2014
Chemical non-equilibrium modelling of columnar solidification. Zbl 1113.80324
Roux, P.; Goyeau, B.; Gobin, D.; Fichot, F.; Quintard, M.
1
2006
Global-in-time solutions and qualitative properties for the NNLIF neuron model with synaptic delay. Zbl 1423.35148
Cáceres, María J.; Roux, Pierre; Salort, Delphine; Schneider, Ricarda
1
2019
Validating numerical semidefinite programming solvers for polynomial invariants. Zbl 1394.68085
Roux, Pierre; Voronin, Yuen-Lam; Sankaranarayanan, Sriram
2
2016
Formal proofs of rounding error bounds. With application to an automatic positive definiteness check. Zbl 1409.68263
Roux, Pierre
2
2016
Formal analysis of robustness at model and code level. Zbl 1364.93249
Wang, Timothy E.; Garoche, Pierre-Loïc; Roux, Pierre; Jobredeaux, Romain; Féron, Éric
1
2016
Closed loop analysis of control command software. Zbl 1364.93504
Roux, Pierre; Jobredeaux, Romain; Garoche, Pierre-Loïc
1
2015
Innocuous double rounding of basic arithmetic operations. Zbl 1451.65061
Roux, Pierre
1
2014
Integrating policy iterations in abstract interpreters. Zbl 1410.68078
Roux, Pierre; Garoche, Pierre-Loïc
2
2013
A generic ellipsoid abstract domain for linear time invariant systems. Zbl 1362.93065
Roux, Pierre; Jobredeaux, Romain; Garoche, Pierre-Loïc; Féron, Éric
6
2012
Chemical non-equilibrium modelling of columnar solidification. Zbl 1113.80324
Roux, P.; Goyeau, B.; Gobin, D.; Fichot, F.; Quintard, M.
1
2006

Citations by Year