Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (14)
  • Grenoble (6)
  • Paris, CNAM (5)
  • Rennes 1 (5)
  • Grenoble Alpes (4)
  • Sorbonne Paris Cité (3)
  • Angers (2)
  • Bordeaux (2)
  • Bordeaux 3 (2)
  • Limoges (2)
  • Lyon (2)
  • Paris 11 (2)
  • Toulouse, INPT (2)
  • Besançon (1)
  • La Sapienza, Università di Roma (1)
  • Lorient (1)
  • Montpellier (1)
  • Orléans (1)
  • Paris 5 (1)
  • Paris Est (1)
  • Paris Sciences et Lettres (1)
  • Pau (1)
  • Prove & Run (1)
  • Rennes 2 (1)
  • Technische Universität (Darmstadt, Allemagne) (1)
  • University of Nairobi (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • École Supérieure d’Ingénieurs de Beyrouth (ESIB) – Université Saint-Joseph (USJ) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (28)
  • Immunologie (2)
  • Anglais (1)
  • Anthropologie (1)
  • Automatique (1)
  • Automatique et productique (1)
  • Biologie cellulaire et moléculaire végétale (1)
  • Biologie interdisciplinaire (1)
  • Geographie (1)
  • Géographie humaine (1)
  • Ingénierie biomoléculaire (1)
  • Linguistique (1)
  • Mathématiques appliquées (1)
  • Mathématiques fondamentales (1)
  • Matériaux, Mécanique, Génie civil, Electrochimie (1)
  • Micro/nano electronic (1)
  • Mécanique numérique et Matériaux (1)
  • Nanoélectronique et nanotechnologie (1)
  • Physique (1)
  • Science politique (1)
  • Sciences de l'Univers (1)
  • Sciences de la terre et de l'univers, et de l'environnement (1)
  • Sciences de la vie (1)
  • Sciences du langage, linguistique. Français langue étrangère (1)
  • Sciences et technologie industrielles (1)
  • Sciences économiques (1)
  • Stic (1)
  • Sureté de Logiciel et Calcul à Haute Performance (1)
  • Sédimentologie (1)
  • Sûreté de Logiciel et Calcul à Haute Performance (1)
  • Traitement du signal et télécommunications (1)
  • Études anglophones (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (7)
  • École doctorale Informatique, télécommunications et électronique (Paris) (5)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (4)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (3)
  • Ecole doctorale Informatique de Paris-Sud (2)
  • MATISSE (2)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (2)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale Montaigne-Humanités (Pessac, Gironde) (2)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (2)
  • Droit, Economie-Gestion, Environnement, Sociétés, Territoires (1)
  • Ecole doctorale de Sciences du Langage (Paris) (1)
  • Sciences Chimiques Balard (1)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (1)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (Paris ; 2015-....) (1)
  • École doctorale Arts, Lettres, Langues (Rennes) (1)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine) (1)
  • École doctorale Biochimie, biothérapies, biologie moléculaire, infectiologie (2009-2013 ; Paris) (1)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (1)
  • École doctorale Interdisciplinaire européenne frontières du vivant (Paris) (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (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 Physique en Île-de-France (Paris) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences Biologiques et Santé (Limoges) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences fondamentales et appliquées (Nice) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (1)
  • École doctorale Végétal-Environnement-Nutrition-Agro-Alimentaire-Mer (Angers) (1)
  • École doctorale chimie et science du vivant (Grenoble) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (1)
  • École doctorale terre, univers, environnement (Grenoble) (1)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (1)
  • École doctorale Études anglophones, germanophones, et européennes (2009-.... ; Paris) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (38)
  • français (22)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Filliâtre Jean-Christophe (3)
  • Conchon Sylvain (2)
  • Delahaye David (2)
  • Dubois Catherine (2)
  • Jensen Thomas (2)
  • Alazard Thomas (1)
  • Andrieu Vincent (1)
  • Arab Chadia (1)
  • Aït-Ameur Yamine (1)
  • Barkaoui Kamel (1)
  • Berkani Karim (1)
  • Berruet Pascal (1)
  • Blanqui Fréderic (1)
  • Bonnans Frédéric (1)
  • Bouchard Pierre-Olivier (1)
  • Boyer Edmond (1)
  • Burel Guillaume (1)
  • Burq Nicolas (1)
  • Calas Bernard (1)
  • Castéran Pierre (1)
  • Chaussende Didier (1)
  • Clermidy Fabien (1)
  • Corre Eric (1)
  • Crolard Tristan (1)
  • Delais-Roussarie Elisabeth (1)
  • Denizot Yves (1)
  • Enjalbal Christine (1)
  • Ettorre Mauro (1)
  • Finazzi Giovanni (1)
  • Giorgetti Alain (1)
  • Gonon François (1)
  • Gontrand Christian (1)
  • Guillemot Christine (1)
  • Haddad Serge (1)
  • Hosmalin Anne (1)
  • Hurault Aurélie (1)
  • Hyvernat Pierre (1)
  • Jaegermann Wolfram (1)
  • Jagannathan Anuradha (1)
  • Joloboff Vania (1)
  • Julliand Jacques (1)
  • Keller Chantal (1)
  • Kosmatov Nikolaï (1)
  • Kouvouama Abel (1)
  • Lanet Jean-Louis (1)
  • Laurent Catherine (1)
  • Le Gall Pascale (1)
  • Le Meur Olivier (1)
  • Lefebvre Bertrand (1)
  • Logan David (1)
  • Loulergue Frédéric (1)
  • Macherel David (1)
  • Marche Claude (1)
  • Marché Claude (1)
  • Martinon Pierre (1)
  • Maudet Nicolas (1)
  • Mauny Michel (1)
  • Maupeu Hervé (1)
  • Mezghiche Mohamed (1)
  • Mezher Dani (1)
  • Mokdad Nadia Lynda (1)
  • Monaco Salvatore (1)
  • Monin Jean-François (1)
  • Montmitonnet Pierre (1)
  • Mouis Mireille (1)
  • Mousseau Vincent (1)
  • Méhaut Jean-François (1)
  • Nour Karim (1)
  • Oquendo Flavio (1)
  • Owuor Samuel Ouma (1)
  • Pihet Christian (1)
  • Pittet Bernard (1)
  • Pouydebat Emmanuelle (1)
  • Prieur Christophe (1)
  • Quéinnec Philippe (1)
  • Raffalli Christophe (1)
  • Saillard Claire (1)
  • Sandou Guillaume (1)
  • Santana Miguel (1)
  • Sauleau Ronan (1)
  • Schuwer Martine (1)
  • Siles Vincent (1)
  • Smith Andy (1)
  • Sobolev Alexandr Vladimirovič (1)
  • Starck Jean-Luc (1)
  • Talpin Jean-Pierre (1)
  • Termier Alexandre (1)
  • Toguyeni Abdoul Karim Armand (1)
  • Viaut Alain (1)
  • Zaïdi Fatiha (1)
  • Zemmari Akka (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (29)
  • Sciences de l'ingénieur (8)
  • Education et enseignement (3)
  • Linguistique générale (3)
  • Sciences de la terre (3)
  • Sciences de la vie, biologie, biochimie (3)
  • Langue anglaise. Anglo-saxon (2)
  • Mathématiques (2)
  • Chimie, minéralogie, cristallographie (2)
  • Médecine et santé (2)
  • Géographie et voyages (2)
  • Informatique, information, généralités (1)
  • Sciences sociales, sociologie, anthropologie (1)
  • Science politique (1)
  • Autres langues (1)
  • Physique (1)
  • Animaux. Zoologie (1)
  • Agronomie, agriculture et médecine vétérinaire (1)
  • Urbanisme (1)

Domaines :

Fullscreen

60 thèses pour Why3

...its graphical user interface [48], which is invoked via the why3ide command. Fig. 1.1presents an...

Accéder en ligne
Informatique

Soutenue le 19-07-2018
thèse soutenue

...].21The mechanized version of this proof is available in [Léc18].8.5. REMARKS ABOUT THE WHY3 FORMALIZATION...

Accéder en ligne

...outil Why3. Bien entendu, Why3 pr sente de nombreusesfonctionnalit s l gard du code fant me que nous n...

Accéder en ligne

Certification de la génération et de la transformation d’obligations de preuve

par Quentin Garchery sous la direction de Claude Marche et de Chantal Keller. - Paris Saclay

Informatique

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

...The veri cation of programs in Why3 is based on the generation ofveri cation conditions, and the...

Accéder en ligne

...Figure 6.6 – Informations sur le développent Why3On récapitule dans le tableau gure 6.6 le nombre d...

Accéder en ligne
Informatique

Soutenue le 12-12-2011
thèse soutenue

...le plaisir de participer à cette entreprise. Why3 [10] est basé sur plusieurs pointscentraux :mise en...

Accéder en ligne
Informatique

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

Utiliser des prouveurs externes dans un assistant à la preuve.

par Yacine El Haddad sous la direction de Fréderic Blanqui et de Guillaume Burel. - Paris Saclay

Informatique

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

Résultats 1 à 10