Marie-Laure POTET   


Professor at Ensimag
VERIMAG
batiment IMAG
700, avenue centrale, D.U.
38401 Saint Martin d'Hères


Phone: + (33) 4 57 42 22 38

Office: 281

To reach us
                                                        
                                                                                                                                                                                                                          

Mail: Marie-Laure.Potet@imag.fr


Responsable de l'équipe PACSS / Vérimag (Preuve et Analyse de Code pour la Sûreté et la Sécurité)
en collaboration avec David Monniaux


Liens sur les activités Sécurité :


Link on activities dedicated to Code analysis for security


Lien sur l'équipe SCCyPhy
du labex Persyval (Security and Cryptology for CyberPhysical systems)



Position


Habilitation à Diriger des Recherches soutenue le 5 décembre 2002

Title : Spécifications et développements formels : Etude des aspects compositionnels dans la méthode B

Teaching activities

Responsabilities :

Research activities

Publications

Link on activities dedicated to Code analysis for security


Certification and formal modelling material :

B Teaching contents

A paper about B teaching: Twelve years of B Teaching in an engineering school

Some projects and results :