Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Nancy 1 (3)
  • Paris Saclay (3)
  • Besançon (1)
  • Cachan, Ecole normale supérieure (1)
  • Nantes, Ecole des Mines (1)
  • Paris 11 (1)
  • Paris 7 (1)
  • Paris, Ecole normale supérieure (1)
  • Toulouse 3 (1)
  • Toulouse, INPT (1)
  • Toulouse, ISAE (1)
  • Università degli studi (Milan, Italie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (11)
  • Domaine STIC (1)
  • Informatique et applications (1)
  • Sciences et techniques (1)
  • Sureté de logiciel et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (2)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • Sciences et Technologies de l'Information et Mathématiques (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (7)
  • anglais (5)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Kosmatov Nikolay (2)
  • Le gall Pascale (2)
  • Rusinowitch Michaël (2)
  • Cabot Jordi (1)
  • Cirstea Horatiu (1)
  • Cousot Radhia (1)
  • Gaudel Marie-Claude (1)
  • Ghilardi Silvio (1)
  • Giorgetti Alain (1)
  • Julliand Jacques (1)
  • Kosmatov Nikolaï (1)
  • Leroy Xavier (1)
  • Matthes Ralph (1)
  • Miné Antoine (1)
  • Petit Antoine (1)
  • Prevosto Virgile (1)
  • Ranise Silvio (1)
  • Strecker Martin (1)
  • Thévenod-Fosse Pascale (1)
  • Wiels Virginie (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (14)
  • Sciences de la nature et mathématiques (1)
  • Mathématiques (1)
  • Technologie (Sciences appliquées) (1)

Domaines :

Fullscreen
Informatique

Soutenue le 12-12-2012
thèse soutenue
Informatique et applications

Soutenue le 09-10-2014
thèse soutenue

...-upmethodology — http://www.arakhne.org/tex-upmethodology/Résumé :La vérification de logiciels repose le plus souvent...

Accéder en ligne
Sureté de logiciel et calcul de haute performance

Soutenue le 03-09-2013
thèse soutenue

Résultats 1 à 10