Français Anglais
Accueil Annuaire Plan du site
Accueil > Présentation > Personnel > POIZAT Pascal
Présentation
M. POIZAT Pascal

ATTENTION : ce membre a quitté le laboratoire le 31/12/2012
 
POIZAT Professeur 2nde classe
unknown
Vérification d'Algorithmes, Langages et Systèmes

Tel :
Fax :
Bureau : 37/PCRI-S

Page personnelle : http://lip6.fr/Pascal.Poizat/
Courrier électronique : Pascal.Poizat@lri.fr

Activités de recherche
   - Test formel basé sur les modèles

Publications





Responsabilités de contrats
   - PIMI

Résultats majeurs
   - Model-Based Adaptation of Behavioral Mismatching Components
   - Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques


Collaborations
   - Universidad de Malaga

Thèses et habilitations
Habilitation à diriger des recherches   - Formal Model-Based Approaches for the Development of Composite Systems

Participations à des contrats
   - PIMI