Veronique Benzaken's site: PhD Students

PhD Students

S. Dumbrava, 2012, co-encadrement avec E. Contejean Sujet : "Toward data intensive systems certification".
W. Khemiri, 2009, co-encadrement avec I. Manolescu, Sujet: "EDIFLOW : Interactive scientific workflows".
A. Arion , 2004 - 2007, co-encadrement avec I. Manolescu, Sujet: "XML access modules: towards physical independence in XML databases"
K. NGuyen, 2004, co-encadrement avec G. Castagna, Sujet: "Combinateurs et algebres de filtres"
C. Miachon, 2003-2006 Sujet: Langage de requetes pour XML a base de patterns: conception, optimisation et implantation"
F. Wattez à partir d'Octobre 1997 co-encadrement avec S. Cluet (Projet Verso-INRIA). Sujet: ``Optimisation de requetes OQL''. These effectuee sous convention CIFRE (Societe O2 Technology).
Sebastien Praud (1997 co-encadrement avec S. Cerrito) Sujet: Contraintes temporelles, demonstration automatique et analyse statique.
Xavier Schaefer (1994-1997) Bases de donnees orientees objet, analyse statique et contraintes d'integrite. [ps] These soutenue en Octobre 1997.
P. Y. Policella (1992-1994) co-encadrement en collaboration avec A. Doucet. These soutenue le 11 Juin 1996, Universite de Paris Sud. Sujet: ``Coherence dans les bases de donnees orientees objet''.

Master Students

M. Kende, 2010, co-encadrement avec G. Castagna et J. Falcou Sujet : "Programmation fonctionnelle, parallelisme et GPU"
A. Arion , 2004, co-encadrement avec I. Manolescu, Sujet: "Un optimiseur generique de requete pour XML"
K. NGuyen, 2004, co-encadrement avec G. Castagna et A. Frisch, Sujet: "Combinateurs et algebres de filtres"
C. Miachon, 2003 Sujet: "CQL: un langage de requetes dans CDuce"
M. Burelle, 2002 co-encadrement avec G. Castagna, Sujet: "Non Interference dans CDuce"
A. Frisch, 2001, co-encadrement avec G. Castagna, Sujet: "Types recursifs, combinaisons booleennes et fonctions surchargees: application au typage d'XML"
S. Attali (91-92) Sujet: ``Controle d'integrite et methodes de verification''
P. Y. Policella (91-92) Sujet: ``Etude et definition de contraintes d'integrite dans un environnement oriente-objet''.
S. Monties (92-93) Sujet: ``Algorithmes de verification de contraintes d'integrite fondes sur des methodes de simplification: application aux quantificateurs existentiels''.
X. Schaefer (92-93) Sujet: ``Interpretation abstraite de langages persistants : une application a la satisfaction de contraintes d'integrite''.
M. Sarkis (93-94) Sujet: ``Contraintes d'integritee dans les bases de donnees orientees objet: approche procedurale versus declarative.''
R. Souah (93-94) Sujet: ``Migration d'objets en presence de contraintes d'integrite''.
L. Tonnelier (94-95) Sujet: ``Contraintes d'integrite et OQL: vers une integration de contraintes d'integrite dans le systeme O2''.
N. Hugon (95-96) en collaboration avec E. Pelz. Sujet: ``Vers une semantique pour les regles actives via le Petri-box calculus''.
S. Praud (96-97) en collaboration avec S. Cerrito. Sujet: ``Contraintes d'integrites temporelles et analyse statique de programmes''.
R. Zhang (96-97) Sujet: ``Analyse statique du langage DEL : une application a la gestion de l'integrite pour le systeme Validity''.
H. Benajam (97-98) en collaboration avec B. Marre. Sujet: ``Integrite et test de logiciel''.
M. Pasquier (98-99) en collaboration avec G. Castagna Sujet: ``Gestion statique d'assertions dans les langages objets''.
T. Diallo (98-99) en collaboration avec G. Castagna Sujet: ``Specification formelle d'un systeme de commerce electronique sur le web base sur les agents''.