Concepedia

Renaud Rioboo

RR

Statistics

Publications

6

Citations

131

H-Index

6

Active since

1990

Affiliations

Sorbonne Université(Current)

LIP6

Renaud Rioboo is an author at Sorbonne Université specializing in engineering, formal methods, and formal verification.

Top concepts

EngineeringFormal MethodsComputer ScienceFormal VerificationDesignVerificationData ModelingSoftware DesignSystem SoftwareProgram Analysis

Publications per year

1990–2020

6

Publications

6

Integration of rational functions: Rational computation of the logarithmic part

Daniel Lazard, Renaud Rioboo · Journal of Symbolic Computation · 1990 · 35 citations

Definite Integral, Rational Computation, Rational Approximation

Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe

Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles et al. · Journal of Systems Architecture · 2020 · 35 citations

Uml Activity Diagrams, Engineering, Formal Modeling +15

Real algebraic closure of an ordered field

Renaud Rioboo · 1992 · 22 citations

Order Theory, Real Algebraic Closure, Axiom Share +4

Towards faster real algebraic numbers

Renaud Rioboo · 2002 · 15 citations

Mathematical Programming, Real Data Type, Real Algebraic Numbers +11

On the way to certify Computer Algebra Systems

Sylvain Boulmé, Thérèse Hardin, D. Hirschkoff et al. · Electronic Notes in Theoretical Computer Science · 1999 · 14 citations · Full text

Foc Project, Engineering, Computer Algebra Systems +16

1–5 of 6