Isabelle Attali
Isabelle Attali a rédigé la thèse suivante :
Compilation de programmes Typol par attributs sémantiques
par Isabelle Attali sous la direction de Gilles Kahn et de Paul Franchi-Zannettacci . - Nice
Informatique
Soutenue en 1989
Isabelle Attali a dirigé les 8 thèses suivantes :
Formal specification and verification of distributed component systems
par Tomás Barros sous la direction de Isabelle Attali et de Éric Madelaine . - Nice
Informatique
Soutenue en 2005
Information flow security for asynchronous, distributed, and mobile applications
par Felipe Luna del Aguila sous la direction de Isabelle Attali - Nice
Informatique
Soutenue en 2005
Une architecture de sécurité hiérarchique, adaptable et dynamique pour la Grille
par Arnaud Contes sous la direction de Denis Caromel et de Isabelle Attali . - Nice
Informatique
Soutenue en 2005
Contribution à la programmation générative : application dans le générateur SmartTools, technologies XML, programmation par aspects et composants
par Carine Courbis sous la direction de Didier Parigot et de Isabelle Attali . - Nice
Informatique
Soutenue en 2002
Java et ses aspects concurrents : sémantique formelle, visualisation et propriétés
par Marjorie Laurence Russo sous la direction de Isabelle Attali et de Denis Caromel . - Nice
Informatique
Soutenue en 2001
Analyse statique de programmes Java [et] application à la parallélisation
par Romain Guider sous la direction de Isabelle Attali et de Denis Caromel . - Nice
Sciences. Informatique
Soutenue en 2000
Conception et implantation d'un langage pour les transformations de programmes
par CHRISTOPHE ROUDET sous la direction de Isabelle Attali - Nice
Sciences et techniques
Soutenue en 1999
Etude du modele de programmation parallele eiffel// : semantique formelle, preuves et visualisation
par SIDI OULD EHMETY sous la direction de Isabelle Attali - Nice
Sciences appliquées
Soutenue en 1997
