Recherche
Présentation
Le laboratoire
Organigramme
Recrutement
Contact
Accès
Recherche
Equipes
- Administration
- ILJ
- Isid
- Laetitia
- MSDMA
- OC
- SYS
- Vertigo
Actualités et Evénements
Membres
Publications
Doctorants
Formation
Electronique
Informatique
Mathématiques
Master
ENSIIE
Ecole Doctorale
Intranet
Connexion
Accueil CEDRIC
>
Laboratoire
>
Membre
>
Tollitte
>
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 :
proof generation
,
coq
,
executable specification
,
extraction
,
functional code generation
,
inductive relation
,
inductive type
Publications
2013
Conférence Nationale avec comité de lecture
[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,
Mémoire de Thèse
[Tol13]
P. Tollitte
. "
Extraction de code fonctionnel certifié à partir de spécifications inductives
",
Soutenue le
: 06 December 2013,
pp.
180,
2012
Conférence Internationale avec comité de lecture
[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,
2010
Conférence Nationale avec comité de lecture
[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 ,
Electronique
Informatique
Mathématiques
Master
CNA
M
Réseau Cnam
Accès
Contact
Informations Légales