Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (19)
  • Grenoble Alpes (17)
  • Grenoble (11)
  • Paris 11 (11)
  • Paris Est (6)
  • Paris, CNAM (6)
  • Sorbonne Paris Cité (5)
  • Université de Lorraine (5)
  • Côte d'Azur (4)
  • Montpellier (4)
  • Paris 1 (4)
  • Paris 6 (4)
  • Clermont-Ferrand 2 (3)
  • Lorient (3)
  • Rennes 1 (3)
  • Aix-Marseille (2)
  • Angers (2)
  • Artois (2)
  • Cachan, Ecole normale supérieure (2)
  • Dijon (2)
  • Ecole centrale de Lille (2)
  • Grenoble 1 (2)
  • Lyon (2)
  • Orléans (2)
  • Paris 10 (2)
  • Paris 5 (2)
  • Strasbourg (2)
  • Toulouse, INPT (2)
  • Troyes (2)
  • Avignon (1)
  • Besançon (1)
  • Columbia university (New York) (1)
  • Evry, Institut national des télécommunications (1)
  • Flinders university of South Australia (1)
  • IMT Mines Alès (1)
  • Institut Polytechnique (Hanoï) (1)
  • Jouy-en Josas, HEC (1)
  • La Réunion (1)
  • Le Havre (1)
  • Lyon 1 (1)
  • Montpellier 1 (1)
  • Nancy 1 (1)
  • National University of Sciences and Technology (Pakistan) (1)
  • Paris 3 (1)
  • Paris Sciences et Lettres (1)
  • Paris, ENSAM (1)
  • Paris, Ecole normale supérieure (1)
  • Paris, Institut d'études politiques (1)
  • Pontifícia universidade católica do Paraná (1)
  • Rennes, École normale supérieure (1)
  • Toulon (1)
  • Toulouse 1 (1)
  • Toulouse 2 (1)
  • Toulouse 3 (1)
  • Toulouse, INSA (1)
  • Toulouse, ISAE (1)
  • Tshwane University of Technology (1)
  • Télécom Bretagne (1)
  • Universidade de São Paulo (Brésil) (1)
  • Universidade federal do Rio de Janeiro (1)
  • University of Cape Coast (1)
  • Universität des Saarlandes (1)
  • Université Laval (Québec, Canada) (1)
  • Université de Danang (Vietnam) (1)
  • Université de Yaoundé I (1)
  • Université normale de la Chine de l'Est (Shanghai) (1)
  • Versailles-St Quentin en Yvelines (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (91)
  • Sciences de gestion (13)
  • Stic (3)
  • Géographie (2)
  • Mathématiques et informatique (2)
  • Psychologie (2)
  • Sciences de Gestion (2)
  • Sureté de Logiciel et Calcul à Haute Performance (2)
  • Agrosystèmes, écosystèmes et environnement (1)
  • Aménagement de l'espace, Urbanisme (1)
  • Automatique (1)
  • Automatique - productique (1)
  • Automatique et informatique industrielle (1)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (1)
  • Automatique, Traitement du signal et des images, Génie informatique (1)
  • Biologie computationnelle (1)
  • Didactique des langues (1)
  • Didactique des langues, cultures et civilisations nationales et étrangères (1)
  • Droit international et européen (1)
  • Développement Durable (1)
  • Français langue étrangère (1)
  • Génie Industriel (1)
  • Génie des systèmes industriels (1)
  • Génie industriel (1)
  • Géographie. Environnement (1)
  • Géosciences, ressources naturelles et environnement (1)
  • Informatique. Informatique fondamentale (1)
  • Intelligence Artificielle / Aide à la décision (1)
  • Langues et littératures étrangères - Didactique des langues (1)
  • Matière condensée et Nanosciences (1)
  • Nanoélectronique et nanotechnologie (1)
  • Philosophie (1)
  • Psycholinguistique (1)
  • Science politique (1)
  • Sciences appliquées (1)
  • Sciences cognitives (1)
  • Sciences de données (1)
  • Sciences de gestion : Ressources Humaines (1)
  • Sciences de l'information et de la communication. Informatique (1)
  • Sciences et génie des activités à risques (1)
  • Sciences et technologie industrielles (1)
  • Sciences économiques (1)
  • Signal, Image, Automatique (1)
  • Signal, image, paroles, télécoms (1)
  • Sociologie, démographie (1)
  • Sureté de logiciel et calcul de haute performance (1)
  • Systèmes Mécaniques et Matériaux (1)
  • Études anglophones (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (22)
  • École doctorale Informatique, télécommunications et électronique (Paris) (10)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (10)
  • Ecole doctorale Informatique de Paris-Sud (8)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (5)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (4)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (4)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (4)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (4)
  • École doctorale Sciences de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (4)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (3)
  • École doctorale Sciences pour l'Ingénieur (Lille) (3)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (3)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (2)
  • Ecole doctorale Sciences pour l'ingénieur (Clermont-Ferrand) (2)
  • I2S - Information, Structures, Systèmes (2)
  • MATISSE (2)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (2)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (2)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (2)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (2)
  • École doctorale de Management Panthéon-Sorbonne (Paris) (2)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (2)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (1)
  • Ecole doctorale Droit, Economie-Gestion, Sociétés, Territoires (Nantes) (1)
  • Ecole doctorale Economies, Espaces, Sociétés, Civilisations : pensée critique, politique et pratiques sociales (Paris) (1)
  • IAEM Lorraine (1)
  • SCIENCES MATHEMATIQUES DE PARIS CENTRE (1)
  • VTT - Ville, Transports et Territoires (1)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (1)
  • École Doctorale Neurosciences et Cognition (NSCo) (1)
  • École doctorale 537 « Culture et patrimoine » (Avignon) (1)
  • École doctorale Abbé Grégoire (Paris) (1)
  • École doctorale Arts, Lettres, Langues, Philosophie, Communication (Toulouse) (1)
  • École doctorale Augustin Cournot (Strasbourg ; 1995-....) (1)
  • École doctorale Cerveau, cognition, comportement (Paris) (1)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (1)
  • École doctorale Economie Gestion de Montpellier (2015-.... ; Montpellier) (1)
  • École doctorale Géosciences, ressources naturelles et environnement (Paris) (1)
  • École doctorale Humanités (Strasbourg ; 2009-....) (1)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (1)
  • École doctorale Langage et langues (Paris) (1)
  • École doctorale Littératures, cultures et sciences sociales (Caen ; ....-2011) (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 Philosophie (Paris) (1)
  • École doctorale SIMPPé - Sciences et ingénierie des molécules, des produits, des procédés, et de l'énergie (Lorraine) (1)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (1)
  • École doctorale Sciences écologiques, vétérinaires, agronomiques et bioingénieries (Toulouse) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale Sociétés méditerranéennes et sciences humaines. ED 509 (Toulon) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale de Sciences Po (Paris) (1)
  • École doctorale de droit de la Sorbonne (Paris ; 2015-....) (1)
  • École doctorale des lettres, sciences humaines et sociales (Clermont-Ferrand) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (1)
  • École doctorale terre, univers, environnement (Grenoble) (1)
  • École doctorale Économie, organisations, société (Nanterre) (1)
  • Économie et Gestion de Montpellier (École Doctorale ; 2009-2014) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (105)
  • français (51)
  • null (1)
  • portugais (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Marché Claude (8)
  • Bensalem Saddek (3)
  • Filliâtre Jean-Christophe (3)
  • Jensen Thomas (3)
  • Merz Stephan (3)
  • Aït-Ameur Yamine (2)
  • Blazy Sandrine (2)
  • Calvary Gaëlle (2)
  • Dubois Catherine (2)
  • Dupuy-Chessa Sophie (2)
  • Euzenat Jérôme (2)
  • Frehse Goran (2)
  • Gava Frédéric (2)
  • Le gall Pascale (2)
  • Loulergue Frédéric (2)
  • Maler Oded (2)
  • Maudet Nicolas (2)
  • Mazure Bertrand (2)
  • Siadat Ali (2)
  • Agoulmine Nazim (1)
  • Ammi Chantal (1)
  • Andréassian Vazken (1)
  • Angot Thierry (1)
  • Anquetin Sandrine (1)
  • Assens Christophe (1)
  • Aubry Alexis (1)
  • Aussenac-Gilles Nathalie (1)
  • Baelde David (1)
  • Bagus Philipp (1)
  • Barkaoui Kamel (1)
  • Benbernou Salima (1)
  • Benzaken Véronique (1)
  • Bergez Jacques-Eric (1)
  • Berio Giuseppe (1)
  • Berruet Pascal (1)
  • Berrut Catherine (1)
  • Bertin Jean-Claude (1)
  • Bertolissi Clara (1)
  • Bédard Yvan (1)
  • Bidan Marc (1)
  • Bobot François (1)
  • Boissel Jean-Pierre (1)
  • Boldo Sylvie (1)
  • Boly Vincent (1)
  • Borrione Dominique (1)
  • Bounfour Ahmed (1)
  • Bourda Yolaine (1)
  • Bourey Jean-Pierre (1)
  • Boyer Fabienne (1)
  • Bozga Dorel Marius (1)
  • Buche Patrice (1)
  • Burgorgue-Larsen Laurence (1)
  • Cachera David (1)
  • Calabretto Sylvie (1)
  • Canciglieri Osiris (1)
  • Carle Michel (1)
  • Castelli Eric (1)
  • Chapuis Jean-Michel (1)
  • Chevallet Jean-Pierre (1)
  • Cohen Marianne (1)
  • Conchon Sylvain (1)
  • Condotta Jean-François (1)
  • Contejean Evelyne (1)
  • Coquery Emmanuel (1)
  • Cousot Radhia (1)
  • Crégut Pierre (1)
  • Cullmann Sabine (1)
  • Cullot Nadine (1)
  • Cuppens-Boulahia Nora (1)
  • Curien Pierre-Louis (1)
  • Curé Olivier (1)
  • Daachi Boubaker (1)
  • Dague Philippe (1)
  • Dang Thao (1)
  • Delahaye David (1)
  • Delmas Catherine (1)
  • Demazeau Yves (1)
  • Denneulin Yves (1)
  • Didry Claude (1)
  • Djouani Karim (1)
  • Doncieux Stéphane (1)
  • Echahed Rachid (1)
  • Echenim Bertrand Mnacho (1)
  • Estay Christophe (1)
  • Farges Olivier (1)
  • Fauconnier Hugues (1)
  • Favriaud Michel (1)
  • Fayol Michel (1)
  • François Manuel (1)
  • Fusco Giovanni (1)
  • Féniès Pierre (1)
  • Galanos Jean (1)
  • Ganascia Jean-Gabriel (1)
  • Gardarin Georges (1)
  • Genevès Pierre (1)
  • Gensel Jérôme (1)
  • Gertchev Nikolay (1)
  • Ghertman Michel (1)
  • Giorgetti Alain (1)
  • Girault Alain (1)
  • Glaser Sébastien (1)
  • Gourley Jonathan J. (1)
  • Grégoire Eric (1)
  • Guiochet Jérémie (1)
  • Hacid Mohand Saïd (1)
  • Haddad Serge (1)
  • Hamam Yskandar (1)
  • Hammadi Slim (1)
  • Henrio Ludovic (1)
  • Houdé Olivier (1)
  • Huron David (1)
  • Hémici Farouk (1)
  • Hülsmann Jörg Guido (1)
  • Ienco Dino (1)
  • Iung Benoît (1)
  • Jeannet Bertrand (1)
  • Jeansoulin Robert (1)
  • Joloboff Vania (1)
  • Julliand Jacques (1)
  • Kambouchner Denis (1)
  • Kanouté Pascale (1)
  • Keller Chantal (1)
  • Kloul Leïla (1)
  • Kosmatov Nikolay (1)
  • Kosmatov Nikolaï (1)
  • Kuupolé Domwini Dabiré (1)
  • Lafourcade Pascal (1)
  • Laneve Cosimo (1)
  • Larrue Corinne (1)
  • Layaida Nabil (1)
  • Le Gall Pascale (1)
  • Le Roy Frédéric (1)
  • Liberti Leo (1)
  • Llerena Patrick (1)
  • Lévy Nicole (1)
  • Marche Claude (1)
  • Martin Hervé (1)
  • Martin Philippe (1)
  • Mateescu Radu (1)
  • Meissonier Régis (1)
  • Mengin Françoise (1)
  • Meunier Fanny (1)
  • Miné Antoine (1)
  • Mokdad Nadia Lynda (1)
  • Mokhtari Mounir (1)
  • Monin Jean-François (1)
  • Moraïtis Pavlos (1)
  • Morel Laure (1)
  • Moriconi-Ebrard François (1)
  • Motet Gilles (1)
  • Mougenot Isabelle (1)
  • Mousseau Vincent (1)
  • Mugnier Marie-Laure (1)
  • Napoli Aldo (1)
  • Narcy-Combes Jean-Paul (1)
  • Nathan Andrew James (1)
  • Natkin Stéphane (1)
  • Nguyen Thanh Binh (1)
  • Nicolaïdis Michael (1)
  • Nicolle Christophe (1)
  • O'Connor Martin (1)
  • Oquendo Flavio (1)
  • Ouerdane Wassila (1)
  • Palma Noël de (1)
  • Panetto Hervé (1)
  • Pantel Marc (1)
  • Pastorelli Ivan (1)
  • Peltier Nicolas (1)
  • Perrin Charles (1)
  • Pham Thi Ngoc Yen (1)
  • Pichardie David (1)
  • Pinet François (1)
  • Polacsek Thomas (1)
  • Poncelet Pascal (1)
  • Rampacek Sylvain (1)
  • Ranwez Sylvie (1)
  • Rauzy Antoine (1)
  • Ray Cyril (1)
  • Remy Sébastien (1)
  • Reyes Carrillo Tatiana (1)
  • Rivette Mickaël (1)
  • Rocha Loures de Freitas Eduardo (1)
  • Roisin Cécile (1)
  • Rousset Marie-Christine (1)
  • Ruin Isabelle (1)
  • Révah-Lévy Anne (1)
  • Salomon Eric (1)
  • Saurin Alexis (1)
  • Saïs Lakhdar (1)
  • Senn Éric (1)
  • Serwe Wendelin Bernhard (1)
  • Sock Rudolph (1)
  • Soutif Eric (1)
  • Spyratos Nicolas (1)
  • Takeo Kofuji Sergio (1)
  • Talbot Jean-Marc (1)
  • Talpin Jean-Pierre (1)
  • Tchuenté Maurice (1)
  • Tettamanzi Andrea (1)
  • Thion Romuald (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (99)
  • Sciences de l'ingénieur (19)
  • Gestion et organisation de l'entreprise (15)
  • Informatique, information, généralités (5)
  • Psychologie (3)
  • Economie (3)
  • Langue anglaise. Anglo-saxon (3)
  • Mathématiques (3)
  • Sciences de la terre (2)
  • Sciences de la vie, biologie, biochimie (2)
  • Géographie et voyages (2)
  • Philosophie, psychologie (1)
  • Epistémologie, causalité, genre humain (1)
  • Sciences sociales, sociologie, anthropologie (1)
  • Science politique (1)
  • Droit (1)
  • Education et enseignement (1)
  • Langues et linguistique (1)
  • Langues romanes. Français (1)
  • Physique (1)
  • Agronomie, agriculture et médecine vétérinaire (1)
  • Bâtiments (1)
  • Littératures anglaise et anglo-saxonne (1)
  • Géographie et histoire (1)

Domaines :

Fullscreen

157 thèses pour Vérification déductive

Informatique

Soutenue le 12-12-2011
thèse soutenue
Informatique

Soutenue le 14-01-2013
thèse soutenue

...pioneer implementation of a tool for deductive verification was made inESC/modula 3 [23] introducing the...

Accéder en ligne

Modélisation et vérification déductive de smart contracts et blockchains.

par Zeinab Nehai sous la direction de Hugues Fauconnier et de François Bobot. - Sorbonne Paris Cité

Informatique

En préparation depuis le 29-01-2019
 thèse en cours de préparation

...hashing .Titre : Un système de types pragmatiquepour la vérification déductive des programmes...

Accéder en ligne

...Systemes AleatoiresStatic Analysis ofFunctional Programswith an Application tothe Frame Problem inDeductive...

Accéder en ligne

...cadredes me´thodes formelles et plus pre´cise´ment danscelui de la ve´rification de´ductive et du syste...

Accéder en ligne

...vérication pour les programmes . . . . . . . . . . . . . 101.2 Véri cation déductive de programmes...

Accéder en ligne
Informatique

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

Spécification et vérification de propriétés de haut niveau pour les programmes C

par Virgile Robles sous la direction de Pascale Le gall et de Nikolay Kosmatov. - Paris Saclay

Informatique

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

Résultats 1 à 10