|
 
|
Liste des publications
2014
- [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,
- [DR14] C. Dubois, R. Rioboo. "Verified functional iterators using the FoCaLiZe environment", Software Engineering and Formal Methods, September 2014, pp.317--331, Series LNCS,
-
[CRT14]
P. Courtieu, L. Rieg, S. Tixeuil, X. Urbain.
"Impossibility of Gathering, a Certification",
Date de dépot: 2014/05/22,
Nb pages 10,
(Tech. Rep.: CEDRIC-14-3016)
Conférence Internationale avec comité de lecture
Rapport Scientifique
2010
-
[Urb10]
X. Urbain.
"Preuve automatique : techniques, outils et certification",
Soutenue le: 29 November 2010,
pp. 77,
Mémoire de HDR
2007
-
[CCF07]
E. Contejean, P. Courtieu, J. Forest, O. Pons, X. Urbain.
"Certification of automated termination proofs",
Date de dépot: 2007/01/01,
(Tech. Rep.: CEDRIC-07-1185)
