|
 
|
Pierre-Nicolas Tollitte
|
Doctorant(e) Equipe SYS Parti depuis le 01/01/2014 Mail : tollitte  ensiie.fr
Tel : (33)169367373 Fax : (33)169367327 http://cedric.cnam.fr/~ Directeur de thèse : Catherine Dubois Co-Directeur(s) : David Delahaye |
Pierre-Nicolas's Tag-Cloud : |
Publications
2013
- [DDT13] D. Delahaye, C. Dubois, P. Tollitte. "RelExt : Synthèse de code à partir de spécifications inductives ", AFADL 2013, April 2013, pp.4 pages, Nancy, France,
-
[Tol13]
P. Tollitte.
"Extraction de code fonctionnel certifié à partir de spécifications inductives",
Soutenue le: 06 December 2013,
pp. 180,
Conférence Nationale avec comité de lecture
Mémoire de Thèse
2012
- [TDD12] P. Tollitte, D. Delahaye, C. Dubois. "Producing Certified Functional Code from Inductive Specifications", International Conference on Certified Programs and Proofs (CPP 2012), December 2012, Vol. 7679, pp.76-91, Series LNCS, Kyoto, Japan,
Conférence Internationale avec comité de lecture
2010
- [DDT10] D. Delahaye, C. Dubois, P. Tollitte. "Génération de code fonctionnel certifié à partir de spécifications inductives dans l'environnement Focalize", Journées Francophones des Langages Applicatifs (JFLA'10), January 2010, pp.55-81, Series Studia informatica universalis , La Ciotat ,
