Knowledge Tree

researcher / Christian Percebois

Christian Percebois

at_id:

orcid_id:

Disciplines:

Applied mathematics

Computer sciences

Edit Merge See Links

Thesis:

Définition et évaluation d'un modèle d'exécution répartie pour les systèmes logiques non-déterministes

Directed Thesis:

A bottom-up process management environment dedicated to process actors

Détection, explications et restructuration de défauts de conception : les patrons abîmés

Construction incrémentale de spécifications de systèmes critiques intégrant des procédures de vérification

Une approche formelle de l'interopérabilité pour une famille de langages dédiés

Etude et mise en oeuvre d'un modèle de coordination basé sur la réécriture

Etude et conception d'un système logique orienté-objet parallèle fortement typé

Définition et évaluation d'une machine abstraite dédiée à la compilation d'un modèle d'exécution répartie pour le langage Prolog