Knowledge Tree

researcher / Jean-Bernard Stefani

Jean-Bernard Stefani

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Graphes de localités : une approche formelle à l'encapsulation et implémentation

Siaam : Simple Isolation for an Actor-based Abstract Machine

Algèbres de Kleene, réécriture modulo AC et circuits en coq

Réversibilité dans le pi calcul d'ordre supérieur

Quelques défis posés par l'utilisation de protocoles de Gossip dans l'Internet

Vers une architecture pair-à-pair pour l'informatique dans le nuage

Apports des architectures à composants pour le déploiement d'applications à la juste taille

Bisimulations dans les calculs avec passivation

Performance, disponibilité et coût de services internet adaptatifs

Contributions au déploiement dans les architectures réflexives basé sur les composants

Architecture logicielle et outils pour systèmes d'exploitation reconfigurables

Conception et implantation d’un environnement de développement de logiciels à base de composants, applications aux systèmes multiprocesseurs sur puce