Renaud Rioboo

19 papers B 4C 2Journal 7Unranked 5
YearRankTypeTitle / Venue / Authors
2021 J jnl
Formal modeling and verification of UML Activity Diagrams (UAD) with FoCaLiZe.
J. Syst. Archit.
Messaoud Abbas, Renaud Rioboo, Choukri-Bey Ben-Yelles, Colin F. Snook
2020 J jnl
Formalizing UML/OCL structural features with FoCaLiZe.
Soft Comput.
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
2018 J jnl
Modelling UML state machines with FoCaLiZe.
Int. J. Inf. Commun. Technol.
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
2014 — conf
Generating FoCaLiZe Specifications from UML Models.
ICAASE
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
2014 B conf
Modeling UML Template Classes with FoCaLiZe.
IFM
Messaoud Abbas, Choukri-Bey Ben-Yelles, Renaud Rioboo
2014 B conf
Verified Functional Iterators Using the FoCaLiZe Environment.
SEFM
Catherine Dubois, Renaud Rioboo
2013 — conf
Programming Robots with Events.
IESS
Truong Giang Le, Dmitriy Fedosov, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo
2013 C conf
Using Event-Based Style for Developing M2M Applications.
GPC
Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo
2012 — conf
Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment: a case study within the FoCaLiZe environment.
PLAS
Damien Doligez, Mathieu Jaume, Renaud Rioboo
2012 C conf
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
Truong Giang Le, Olivier Hermant, Matthieu Manceny, Renaud Pawlak, Renaud Rioboo
2010 — ed.
Intelligent Computer Mathematics, 10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
AISC/MKM/Calculemus
Serge Autexier, Jacques Calmet, David Delahaye, Patrick D. F. Ion, Laurence Rideau, Renaud Rioboo, Alan P. Sexton
2009 J jnl
Invariants for the FoCaL language.
Ann. Math. Artif. Intell.
Renaud Rioboo
2004 J jnl
Les objets des mathématiques.
Obj. Logiciel Base données Réseaux
Thérèse Hardin, Renaud Rioboo
2003 J jnl
Towards faster real algebraic numbers.
J. Symb. Comput.
Renaud Rioboo
2002 B conf
Towards faster real algebraic numbers.
ISSAC
Renaud Rioboo
1999 — conf
On the way to certify Computer Algebra Systems.
Calculemus
Sylvain Boulmé, Thérèse Hardin, Daniel Hirschkoff, Valérie Ménissier-Morain, Renaud Rioboo
1995 — conf
Polynomial Gcd Computations over Towers of Algebraic Extensions.
AAECC
Marc Moreno Maza, Renaud Rioboo
1992 B conf
Real Algebraic Closure of an Ordered Field: Implementation in
ISSAC
Renaud Rioboo
1990 J jnl
Integration of Rational Functions: Rational Computation of the Logarithmic Part.
J. Symb. Comput.
Daniel Lazard, Renaud Rioboo