Knowledge Tree

researcher / Isabelle Attali

Isabelle Attali

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Thesis:

Compilation de programmes Typol par attributs sémantiques

Directed Thesis:

Information flow security for asynchronous, distributed, and mobile applications

Formal specification and verification of distributed component systems

Une architecture de sécurité hiérarchique, adaptable et dynamique pour la Grille

Contribution à la programmation générative : application dans le générateur SmartTools, technologies XML, programmation par aspects et composants

Java et ses aspects concurrents : sémantique formelle, visualisation et propriétés

Conception et implantation d'un langage pour les transformations de programmes

Etude du modele de programmation parallele eiffel// : semantique formelle, preuves et visualisation