Véronique Benzaken's Home page: PhD Students

Administration TER - Stages de Master M1 d'Informatique

• 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"
• F. Wattez a 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''.

• 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''.

Véronique Benzaken's Home page: PhD Students

Administration TER - Stages de Master M1 d'Informatique