Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (12)
  • Paris, CNAM (6)
  • Grenoble Alpes (4)
  • Toulouse 3 (4)
  • Grenoble (3)
  • Orléans (3)
  • Paris 11 (3)
  • Bordeaux 1 (2)
  • Nice (2)
  • Paris Est (2)
  • Rennes 1 (2)
  • Université de Lorraine (2)
  • Bordeaux (1)
  • Cachan, Ecole normale supérieure (1)
  • Lorient (1)
  • Montpellier (1)
  • Nancy 1 (1)
  • Rennes, École normale supérieure (1)
  • Sorbonne Paris Cité (1)
  • Toulouse, INPT (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Universitatea politehnica (Bucarest) (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • École Supérieure d’Ingénieurs de Beyrouth (ESIB) – Université Saint-Joseph (USJ) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (46)
  • Mathématiques et informatique (2)
  • Informatique et mathématiques (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Stic (1)
  • Sureté de Logiciel et Calcul à Haute Performance (1)
  • Sureté de logiciel et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (10)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (7)
  • École doctorale Informatique, télécommunications et électronique (Paris) (6)
  • Ecole doctorale Informatique de Paris-Sud (3)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (3)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (3)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (2)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (2)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • I2S - Information, Structures, Systèmes (1)
  • IAEM Lorraine (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • MATISSE (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 ; 2010-2015) (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 Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (26)
  • anglais (25)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Wolff Burkhart (5)
  • Dubois Catherine (4)
  • Loulergue Frédéric (3)
  • Merz Stephan (3)
  • Delahaye David (2)
  • Filliâtre Jean-Christophe (2)
  • Jensen Thomas (2)
  • Mosbah Mohamed (2)
  • Pichardie David (2)
  • Aït-Ameur Yamine (1)
  • Barkaoui Kamel (1)
  • Baude Françoise (1)
  • Ben Mahmoud Mohamed Slim (1)
  • Berkani Karim (1)
  • Berruet Pascal (1)
  • Bhargavan Karthikeyan (1)
  • Blanqui Fréderic (1)
  • Blazy Sandrine (1)
  • Bodeveix Jean-Paul (1)
  • Burel Guillaume (1)
  • Cachera David (1)
  • Caromel Denis (1)
  • Cassé Hugues (1)
  • Castanet Richard (1)
  • Chapurlat Vincent (1)
  • Charron-Bost Bernadette (1)
  • Corbineau Pierre (1)
  • Cortier Véronique (1)
  • Cristea Valentin (1)
  • Crolard Tristan (1)
  • Delaune Stéphanie (1)
  • Demange Delphine (1)
  • Déharbe David (1)
  • Djouani Karim (1)
  • Dony Christophe (1)
  • Dowek Gilles (1)
  • Dumas Jean-Guillaume (1)
  • Duval Dominique (1)
  • Echahed Rachid (1)
  • Filali Mamoun (1)
  • Fontaine Pascal (1)
  • Fradet Pascal (1)
  • Frappier Marc (1)
  • Garavel Hubert (1)
  • Gaudel Marie-Claude (1)
  • Girault Alain (1)
  • Haddad Serge (1)
  • Hadj Kacem Ahmed (1)
  • Henrio Ludovic (1)
  • Huet Fabrice (1)
  • Joloboff Vania (1)
  • Kirchner Florent (1)
  • Lakhnech Yassine (1)
  • Laleau Régine (1)
  • Larrieu Nicolas (1)
  • Le Gall Pascale (1)
  • Ly Olivier (1)
  • Mahboubi Assia (1)
  • Marché Claude (1)
  • Matthes Ralph (1)
  • Mezher Dani (1)
  • Miller Dale (1)
  • Monin Jean-François (1)
  • Oquendo Flavio (1)
  • Pantel Marc (1)
  • Peltier Nicolas (1)
  • Rochange Christine (1)
  • Soutif Eric (1)
  • Strecker Martin (1)
  • Tahar Bhiri Mohamed (1)
  • Toguyeni Abdoul Karim Armand (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (48)
  • Informatique, information, généralités (4)
  • Mathématiques (3)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen

53 thèses pour "Isabelle/HOL"

...Isabelle/HOLlanguage as just Isabelle/Isar_HOL (or Isar_HOL).Isabelle/HOL o ers support for a particular...

Accéder en ligne

...our test gen-eration framework which relies on a monadic test theory implemented inIsabelle/hol!. Our...

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

Soutenue en 2013
thèse soutenue
Informatique

Soutenue le 13-02-2009
thèse soutenue

...in Isabelle/HOL.An associated prototype tool generates verification conditions that can be solved by...

Accéder en ligne
Informatique

Soutenue le 12-12-2012
thèse soutenue

...the`se est de fournir un cadre formel pour Circus sur labase d’Isabelle/HOL. Ce chapitre pre´sente le...

Accéder en ligne

...Isabelle/HOL : La spe´cification du the´ore`me et de sa preuve surIsabelle/HOL se trouvent dans l...

Accéder en ligne
Informatique

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

Résultats 1 à 10