Fran├žais Anglais
Accueil Annuaire Plan du site
Home > About LRI > Personnel > POIZAT Pascal
About LRI
Mr POIZAT Pascal

Warning: this member left the laboratory on 31/12/2012
 
POIZAT Professeur 2nde classe
unknown
Verification of Algorithms, Languages and Systems

Tel :
Fax :
Office : 37/PCRI-S

Personal web page : http://lip6.fr/Pascal.Poizat/
Email : Pascal.Poizat@lri.fr

Research activities
   - Formal Model-Based Testing

Publications





Principle investigator
   - pimi

Highlights
   - Model-Based Adaptation of Behavioral Mismatching Components
   - Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques


Collaborations
   - University of Malaga

Ph.D. dissertations & Faculty habilitations
Faculty habilitation   - Formal Model-Based Approaches for the Development of Composite Systems

Contracts & Grants
   - pimi