Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (4)
  • Nancy 1 (3)
  • Paris, CNAM (2)
  • Besançon (1)
  • Cachan, Ecole normale supérieure (1)
  • Ecole centrale de Nantes (1)
  • Grenoble (1)
  • Grenoble Alpes (1)
  • Paris Est (1)
  • Paris Sciences et Lettres (1)
  • Rennes 1 (1)
  • Université de Lorraine (1)
  • École Supérieure d’Ingénieurs de Beyrouth (ESIB) – Université Saint-Joseph (USJ) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (15)
  • Sciences appliquées (3)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (4)
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (2)
  • MATISSE (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (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
  • anglais (12)
  • français (6)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Blazy Sandrine (2)
  • Bourdon Jérémie (1)
  • Cohen Albert Henri (1)
  • Crolard Tristan (1)
  • Ditmarsch Hans van (1)
  • Dubois Catherine (1)
  • Filliâtre Jean-Christophe (1)
  • Finance Jean-Pierre (1)
  • Gava Frédéric (1)
  • Giorgetti Alain (1)
  • Hansen Helle Hvid (1)
  • Jensen Thomas (1)
  • Joloboff Vania (1)
  • Kouchnarenko Olga (1)
  • Liberti Leo (1)
  • Mezher Dani (1)
  • Miller Dale (1)
  • Monin Jean-François (1)
  • Monniaux David (1)
  • Quéré Alain (1)
  • Rusinowitch Michaël (1)
  • Senellart Pierre (1)
  • Soutif Eric (1)
  • Yakobowski Boris (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (13)
  • Sciences de l'ingénieur (3)
  • Informatique, information, généralités (2)

Domaines :

Fullscreen

18 thèses pour "Program proof"

Sciences appliquées

Soutenue en 1993
thèse soutenue
Informatique

Soutenue le 10-07-2013
thèse soutenue

...enumerative combinatorics.Keywords: Imperative programs, program proof, C language, ACSL, Frama-C, Coq...

Accéder en ligne
Informatique

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

....2.1 Semantics preservation and program proof . . . . . . . . . . . . . . . . . 1467.2.2 IR as an analysis...

Accéder en ligne

Résultats 1 à 10