Détection des interblocages dans les réseaux sur puces / Sami Taktak ; sous la direction
d'Emmanuelle Encrenaz, 2009
Quantification de la sécurité des applications en présence d'attaques physiques et
détection de chemins d'attaques / Jean-Baptiste Bréjon ; sous la direction de Karine
Heydemann et co-dirigé par Emmanuelle Encrenaz. Thèse de doctorat : Informatique :
Sorbonne université : 2020
Information trouvée : Co-directrice d'une thèse en Informatique soutenue à Sorbonne université, Paris, en
2020
Une méthode de vérification de propriétés de programmes VHDL basée sur des modèles
formels de réseaux de Pétri / Emmanuelle Encrenaz ; sous la direction de Michel Minoux,
1995
Information trouvée : Thèse de doctorat en Informatique soutenue en 1995 à L'Université Pierre et Larie
Curie - Paris 6
https://www.researchgate.net, consulté : 2021-12-06
Information trouvée : Maître de conférence (HDR) au Laboratoire d'Informatique de Paris 6 (LIP6) (en 2021)