paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Identifiant pérenne de la notice : 087543958Copier cet identifiant (PPN)
Notice de type Personne

Point d'accès autorisé

Madelaine, Éric (19..-....)

Information

(par souci de protection des données à caractère personnel, le jour et le mois de naissance peuvent ne pas être affichés)
Langue d'expression : français
Pays : France
Date de naissance :    19XX
Genre : Masculin

Notes

Note publique d'information : 
Titulaire d'une Thèse de 3ème cycle en Mathématiques à l'Université de Paris 7, 1983

Note publique d'information : 
En poste au Laboratoire I3S à l'INRIA, Sophia Antipolis (en 2005)

Note publique d'information : 
Directeur de recherche à l'Université de Nice-Sophia Antipolis (en 2008)

Identifiants externes

Identifiant HAL : eric-madelaine
Identifiant VIAF : http://viaf.org/viaf/19409123
Identifiant ORCID : 0000-0002-5552-5993

Source

Formal specification and verification of distributed component systems / par Antonio Cansado ; sous la direction d'Éric Madelaine. - 2008 [Thèse, Nice]

Génération de modèles comportementaux des applications réparties / par Rabéa Ameur-Boulifa ; sous la dir. de Eric Madelaine. 2004 [Thèse Nice]

Internet, http://portail.unice.fr/jahia, 27-05-2005

Ordonnancement des migrations à chaud de machines virtuelles / Vincent Kherbache ; sous la direction d'Éric Madelaine. Thèse de doctorat : Informatique : Côte d'Azur : 2016

Information trouvée : Directeur de thèse

Système d'aide a la preuve de compilateurs / Eric Madelaine, 1983 [Thèse]

Un environnement pour le développement rigoureux de composants répartis : formalisation et outils logiciels / Oleksandra Kulankhina ; sous la direction d'Éric Madelaine. Thèse de doctorat : Informatique : Côte d'Azur : 2016

Information trouvée : Directeur de thèse, membre du jury

... Références liées : ...