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

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

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 087543958

URI de l'entité : http://www.idref.fr/087543958/id

Notice de type Personne

Point d'accès autorisé

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

Sur le web

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

Identifiant SCOPUS : 8961540500

Identifiant ARK BNF : http://catalogue.bnf.fr/ark:/12148/cb13061149p

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 : ...