Knowledge Tree

researcher / Jean-Pierre Banâtre

Jean-Pierre Banâtre

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Programmation "chimique" d'ordre supérieur

Specifications graphiques multi-vues : formalisation et verification de coherence

Construction robuste de systemes logiciels surs de fonctionnement

Etude et mise en oeuvre de propriétés de sécurité dans les systèmes informatiques

VERS UNE MISE EN oeUVRE EFFICACE DES ACTIONS ATOMIQUES PAR ANALYSE STATIQUE DES PROGRAMMES

Une approche a la programmation de systemes en gamma

Un modele pour le traitement des exceptions dans les programmes paralleles

Protocole d'appel de multiprocedure à distance dans le système GOTHIC : définition et mise en oeuvre

La transparence dans les systemes distribues : l'approche de gothic

Conception et realisation de la memoire virtuelle de gothic

Conception et realisation d'une machine multiprocesseur sure de fonctionnement

Compilation des langages fonctionnels par transformation de programmes

La designation et l'edition de liens dans les systemes d'exploitation repartis

Conception et mise en oeuvre d'un langage imperatif pour la programmation parallele