Knowledge Tree

researcher / Pierre Azéma

Pierre Azéma

at_id:

orcid_id:

Disciplines:

Applied sciences

Computer sciences

Edit Merge See Links

Directed Thesis:

Validation de systèmes répartis : symétries d'architecture et de données

Méthodes d'exécution et machines virtuelles parallèles pour l'implantation distribuée du langage de programmation parallèle LCS

Transformation et composition de graphes de refus : analyse de la testabilité

Réseaux Prédicat/Transition étiquetés pour la modélisation et la vérification de systèmes informatiques répartis

Vérification formelle d'applications réparties : caractérisation logique d'une équivalence de comportement

Reseaux de predicats et logique temporelle pour la verification des systemes repartis