Integration of Rational Functions: Rational Computation of the Logarithmic Part. - Daniel Lazard; Renaud Rioboo (J. Symb. Comput., 1990)

Real Algebraic Closure of an Ordered Field: Implementation in Axiom. - Renaud Rioboo (ISSAC, 1992)

Polynomial Gcd Computations over Towers of Algebraic Extensions. - Marc Moreno Maza; Renaud Rioboo (AAECC, 1995)

On the way to certify Computer Algebra Systems. - Sylvain Boulmé; Thérèse Hardin; Daniel Hirschkoff; Valérie Ménissier-Morain; Renaud Rioboo (Calculemus, 1999)

Towards faster real algebraic numbers. - Renaud Rioboo (J. Symb. Comput., 2003)

Les objets des mathématiques. - Thérèse Hardin; Renaud Rioboo (Obj. Logiciel Base données Réseaux, 2004)

Invariants for the FoCaL language. - Renaud Rioboo (Ann. Math. Artif. Intell., 2009)

Unifying Event-based and Rule-based Styles to Develop Concurrent and Context-aware Reactive Applications - Toward a Convenient Support for Concurrent and Reactive Programming. - Truong Giang Le; Olivier Hermant; Matthieu Manceny; Renaud Pawlak; Renaud Rioboo (ICSOFT, 2012)

Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment. - Damien Doligez; Mathieu Jaume; Renaud Rioboo (PLAS, 2012)

Using Event-Based Style for Developing M2M Applications. - Truong Giang Le; Olivier Hermant; Matthieu Manceny; Renaud Pawlak; Renaud Rioboo (GPC, 2013)

Programming Robots with Events. - Truong Giang Le; Dmitriy Fedosov; Olivier Hermant; Matthieu Manceny; Renaud Pawlak; Renaud Rioboo (IESS, 2013)

Generating FoCaLiZe Specifications from UML Models. - Messaoud Abbas; Choukri-Bey Ben-Yelles; Renaud Rioboo (ICAASE, 2014)

Modeling UML Template Classes with FoCaLiZe. - Messaoud Abbas; Choukri-Bey Ben-Yelles; Renaud Rioboo (IFM, 2014)

Verified Functional Iterators Using the FoCaLiZe Environment. - Catherine Dubois; Renaud Rioboo (SEFM, 2014)

Modelling UML state machines with FoCaLiZe. - Messaoud Abbas; Choukri-Bey Ben-Yelles; Renaud Rioboo (Int. J. Inf. Commun. Technol., 2018)

Formalizing UML/OCL structural features with FoCaLiZe. - Messaoud Abbas; Choukri-Bey Ben-Yelles; Renaud Rioboo (Soft Comput., 2020)

Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe. - Messaoud Abbas; Renaud Rioboo; Choukri-Bey Ben-Yelles; Colin F. Snook (J. Syst. Archit., 2021)