Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (3)
  • Grenoble Alpes (3)
  • Toulouse, INPT (3)
  • Paris Saclay (2)
  • Bordeaux 1 (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • Lyon (1)
  • Orléans (1)
  • Paris 6 (1)
  • Paris, CNAM (1)
  • Rennes 1 (1)
  • Université de Lorraine (1)
  • Université libanaise (1)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (11)
  • Sureté de Logiciel et Calcul à Haute Performance (2)
  • Automatique (1)
  • Electronique (1)
  • Electronique, micro et nanoélectronique, optique et laser (1)
  • Informatique et applications (1)
  • Nanoélectronique et nanotechnologie (1)
  • Sciences et technologie industrielles (1)
  • Traitement du signal et télécommunications (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (4)
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (2)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (2)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (1)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (1)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (13)
  • anglais (5)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Aït-Ameur Yamine (2)
  • Pantel Marc (2)
  • Abouchi Nacer (1)
  • Beigné Édith (1)
  • Bensalem Saddek (1)
  • Blazy Sandrine (1)
  • Borrione Dominique (1)
  • Dallet Dominique (1)
  • Dubois Catherine (1)
  • Dupuy-Chessa Sophie (1)
  • Eisenbeis Christine (1)
  • Girard Antoine (1)
  • Grolleau Emmanuel (1)
  • Lang Frédéric (1)
  • Le Gal Bertrand (1)
  • Lemaître Michel (1)
  • Loulergue Frédéric (1)
  • Maraninchi Florence (1)
  • Morin-Allory Katell (1)
  • Méry Dominique (1)
  • Ouhammou Yassine (1)
  • Pierre Laurence (1)
  • Pêcheux François (1)
  • Rieu Dominique (1)
  • Salaün Gwen (1)
  • Sallé Patrick (1)
  • Sentieys Olivier (1)
  • Soutif Eric (1)
  • Zaouk Doumit (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (15)
  • Sciences de l'ingénieur (5)
  • Physique (1)

Domaines :

Fullscreen
Sureté de Logiciel et Calcul à Haute Performance

Soutenue le 06-07-2017
thèse soutenue

...substitution, refinementUne approche formelle pour la substitution correcte par construction de systèmes...

Accéder en ligne
Electronique, micro et nanoélectronique, optique et laser

Soutenue le 05-12-2017
thèse soutenue

..., et garantir l’obtention d’un circuit « correcte par construction ». L’accent est porté sur la...

Accéder en ligne
Automatique

En préparation depuis le 01-10-2018
 thèse en cours de préparation

...´veloppe´ dans legroupe VDS de TIMA Lab.Dans le cadre dela synthe`se correcte par construction, il y a peu d...

Accéder en ligne

...).Ainsi, cette méthode de conception autorise l’implantation correcte par construction de systèmes véri...

Accéder en ligne

Résultats 1 à 10