Renaud Rioboo

According to our database, Renaud Rioboo authored at least 17 papers between 1990 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2021

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

2020

Formalizing UML/OCL structural features with FoCaLiZe.

Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo

Soft Comput., 2020

2018

Modelling UML state machines with FoCaLiZe.

Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo

Int. J. Inf. Commun. Technol., 2018

2014

Verified Functional Iterators Using the FoCaLiZe Environment.

Catherine Dubois, Renaud Rioboo

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

Modeling UML Template Classes with FoCaLiZe.

Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Generating FoCaLiZe Specifications from UML Models.

Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo

Proceedings of the 1st International Conference on Advanced Aspects of Software Engineering, 2014

2013

Programming Robots with Events.

Truong Giang Le, Dmitriy Fedosov, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo

Proceedings of the Embedded Systems: Design, Analysis and Verification, 2013

Using Event-Based Style for Developing M2M Applications.

Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo

Proceedings of the Grid and Pervasive Computing - 8th International Conference, 2013

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

Proceedings of the 2012 Workshop on Programming Languages and Analysis for Security, 2012

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

Proceedings of the ICSOFT 2012 - Proceedings of the 7th International Conference on Software Paradigm Trends, Rome, Italy, 24, 2012

2009

Invariants for the FoCaL language.

Renaud Rioboo

Ann. Math. Artif. Intell., 2009

2004

Les objets des mathématiques.

Thérèse Hardin, Renaud Rioboo

Obj. Logiciel Base données Réseaux, 2004

2003

Towards faster real algebraic numbers.

Renaud Rioboo

J. Symb. Comput., 2003

1999

On the way to certify Computer Algebra Systems.

Sylvain Boulmé, Thérèse Hardin, Daniel Hirschkoff, Valérie Ménissier-Morain, Renaud Rioboo

Proceedings of the Systems for Integrated Computation and Deduction, 1999

1995

Polynomial Gcd Computations over Towers of Algebraic Extensions.

Marc Moreno Maza, Renaud Rioboo

Proceedings of the Applied Algebra, 1995

1992

Real Algebraic Closure of an Ordered Field: Implementation in <i>Axiom</i>.

Renaud Rioboo

Proceedings of the 1992 International Symposium on Symbolic and Algebraic Computation, 1992

1990

Integration of Rational Functions: Rational Computation of the Logarithmic Part.

Daniel Lazard, Renaud Rioboo

J. Symb. Comput., 1990