Emmanuelle Encrenaz-Tiphene

Maître de conférences HDR (Associate Professor) à Paris VI

Laboratoire d'informatique de Paris VI
Université Pierre et Marie Curie (Paris VI)
Maison de la pédagogie, bureau A114
F-75252 Paris Cedex 05

tel : (33) 1-44-27-20-38
fax : (33) 1-44-27-72-80

 

Research Interests : Formal Verification of Hardware designs, Design methods easing the verification, Data Decision Diagram for Symbolic Model Checking, Component Abstraction, Verification of Timed Models.

Related Publications

On going projects : VALMEM, FME3, SIMOP

Between sept. 2005 and aug. 2007, I had a full-time researcher position at LSV.

Teaching (subsequent pages are in French)

Official Esterel Technologies Academic Partner Academic partner of Esterel Technologies, the provider of model-based solutions for DO-178B and IEC 61508 safety-critical systems.