Recherche

Rechercher

Accueil CEDRIC > Laboratoire > Membre > View >

Renaud Rioboo

Equipe SYS
Parti depuis le 01/09/2016
Mail : renaud.rioboo

ensiie.fr
Tel : 169367365
Fax : 169367305
http://www.ensiie.fr/~renaud.rioboo

Renaud's Tag-Cloud :

Publications

2014

Conférence Internationale avec comité de lecture

[ABR14a] M. Abbas, C. Ben Yelles, R. Rioboo. "Generating FoCaLiZe Specifications from UML Models", International Conference on Advanced Aspects of Software Engineering, ICAASE, November 2014, Vol. 1294, pp.157--164, Series CEUR-WS,
[ABR14] M. Abbas, C. Ben Yelles, R. Rioboo. "Modeling UML Template Classes with FoCaLiZe", Integrated Formal Methods, September 2014, pp.87--102, Series LNCS,
[DR14] C. Dubois, R. Rioboo. "Verified functional iterators using the FoCaLiZe environment", Software Engineering and Formal Methods, September 2014, pp.317--331, Series LNCS,

2013

Conférence Internationale avec comité de lecture

[L O13] T. Le., F. Dmitriy , H. Olivier, M. Matthieu, R. Pawlak, R. Rioboo. "Programming Robots with Events", The 4th International Embedded Systems Symposium, June 2013, Vol. 403, pp.14-25, Series IFIP Advances in Information and Communication Technology, Paderborn, Germany,
[LOM13] T. Le., H. Olivier, M. Matthieu, R. Pawlak, R. Rioboo. "Using event-based style for developing M2M applications", The 8th International Conference on Grid and Pervasive Computing, May 2013, Vol. 7861, pp.348-357, Series Lecture Notes in Computer Science, Seoul, kr,

2012

Conférence Internationale avec comité de lecture

[LOM12] T. Le., H. Olivier, M. Matthieu, R. Pawlak, R. Rioboo. "Unifying Event-based and Rule-based Styles for Concurrent and Reactive Applications", The 7th International Conference on Software Paradigm Trends, July 2012, pp.347-350, Rome, Italy,
[DJR12a] D. Doligez, M. Jaume, R. Rioboo. "Development of secured systems by mixing programs, specifications and proofs in an object-oriented programming environment", ACM SIGPLAN Seventh Workshop on Programming Languages and Analysis for Security (PLAS 2012) , June 2012, pp.A paraitre,

Conférence Nationale avec comité de lecture

[JR12] M. Jaume, R. Rioboo. "DÃ©veloppement de systÃ¨mes sÃ©curisÃ©s avec l'atelier Focalize,", 23Ã¨mes JournÃ©es Francophones des Langages Applicatifs (JFLA 2012), February 2012, pp.104--118, Carnac, France,

2010

Directions d'ouvrages scientifiques

[DRA10] D. Delahaye, R. Rioboo, S. Autexier, J. Calmet, P. Ion, L. Rideau, A. Sexton. "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", July 2010, Springer,

2009

Revue Internationale avec comité de lecture

[Rio09] R. Rioboo. "Invariants for the FoCaL language", Annal of Mathematics and Artificial Intelligence, vol. 56(3), pp. 273-296, 2009

Conférence Internationale avec comité de lecture

[NR09] I. Noyer, R. Rioboo. "Reusing Proofs in a Mathematical Library", Calculemus 2009, January 2009,

2008

Conférences invitées

[Rio08] R. Rioboo. "Concevoir et organiser une librairie de mathÃ©matiques effectives", JournÃ©es Francophones des Langages Applicatifs JFLA'08, January 2008, pp.tutoriel,

2007

Conférences invitées

[RIO07] R. Rioboo. "Certifying Modular Computation with FoCaL", Fifth Asian Workshop on Foundations of Software, Xiamen, January 2007,