Maraninchi, Florence (19..-.... ; informaticienne)

Maraninchi, Florence (19..-.... ; informaticienne)

Contrôle Paprika

data.idref

Identifiant pérenne de la notice : 060569026

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

Notice de type Personne

Point d'accès autorisé

Maraninchi, Florence (19..-.... ; informaticienne)

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 : Féminin

Notes

Note publique d'information :

Directeur de thèse en informatique à l'Université Joseph Fourier de Grenoble et à Genoble INPG, en poste au laboratoire VERIMAG

Identifiants externes

Identifiant HAL : florence-maraninchi

Identifiant ORCID : 0000-0003-0783-9178

Identifiant VIAF : http://viaf.org/viaf/206975004

Identifiant SCOPUS : 57208414472

Identifiant ISNI : 0000000358423607

Source

Adéquation algorithme architecture automatisée par solveur SMT / Émilien Kofman ; sous la direction de Robert de Simone et François Verdier. Thèse de doctorat : Informatique : Côte d'Azur : 2017

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

Argos : un langage graphique pour la conception, la description et la validation des systèmes réactifs / Florence Maraninchi ; sous la direction de Jacques Voiron, 1990.- Thèse de doctorat : Informatique : Grenoble 1 : 1990 ; 4

Modélisations et analyses de réseaux de capteurs [Thèse 2007] / Ludovic Samper

Un support de langage pour les modes de fonctionnement des systèmes temps-réel : extension de LUSTRE par des automates de modes [thèse 2001] / Yann Rémond

mplementing a real-time avionic appllication on a many-core processor / Moustapha Lô ; sous la direction de Florence Maraninchi et codirigée par Pascal Raymond. Thèse de doctorat : Informatique : Grenoble Alpes : 2019

Information trouvée : Professeur des universités à Grenoble INP

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