Renaud Rioboo

Publication Activity (10 Years)

Years Active: 1990-2021
Publications (10 Years): 3

Top Topics

Structural Features

Uml Activity Diagrams

Top Venues

Publications

Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin F. Snook
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe. J. Syst. Archit. 114 (2021)
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Formalizing UML/OCL structural features with FoCaLiZe. Soft Comput. 24 (6) (2020)
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Modelling UML state machines with FoCaLiZe. Int. J. Inf. Commun. Technol. 13 (1) (2018)
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Modeling UML Template Classes with FoCaLiZe. IFM (2014)
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
Generating FoCaLiZe Specifications from UML Models. ICAASE (2014)
Catherine Dubois, Renaud Rioboo
Verified Functional Iterators Using the FoCaLiZe Environment. SEFM (2014)
Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo
Using Event-Based Style for Developing M2M Applications. GPC (2013)
Truong Giang Le, Dmitriy Fedosov, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo
Programming Robots with Events. IESS (2013)
Damien Doligez, Mathieu Jaume, Renaud Rioboo
Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment. PLAS (2012)
Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo
Unifying Event-based and Rule-based Styles to Develop Concurrent and Context-aware Reactive Applications - Toward a Convenient Support for Concurrent and Reactive Programming. ICSOFT (2012)
Renaud Rioboo
Invariants for the FoCaL language. Ann. Math. Artif. Intell. 56 (3-4) (2009)
Thérèse Hardin, Renaud Rioboo
Les objets des mathématiques. Obj. Logiciel Base données Réseaux 10 (4) (2004)
Renaud Rioboo
Towards faster real algebraic numbers. J. Symb. Comput. 36 (3-4) (2003)
Renaud Rioboo
Towards faster real algebraic numbers. ISSAC (2002)
Sylvain Boulmé, Thérèse Hardin, Daniel Hirschkoff, Valérie Ménissier-Morain, Renaud Rioboo
On the way to certify Computer Algebra Systems. Calculemus (1999)
Marc Moreno Maza, Renaud Rioboo
Polynomial Gcd Computations over Towers of Algebraic Extensions. AAECC (1995)
Renaud Rioboo
. ISSAC (1992)
Daniel Lazard, Renaud Rioboo
Integration of Rational Functions: Rational Computation of the Logarithmic Part. J. Symb. Comput. 9 (2) (1990)