Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (30)
  • Rennes 1 (27)
  • Paris 6 (22)
  • Grenoble Alpes (21)
  • Toulouse 3 (18)
  • Université de Lorraine (16)
  • Nancy 1 (14)
  • Paris 11 (14)
  • Paris, CNAM (13)
  • Bordeaux (12)
  • Toulouse, INPT (11)
  • Bordeaux 1 (9)
  • Paris Est (9)
  • Cachan, Ecole normale supérieure (8)
  • Nice (8)
  • Toulouse, ISAE (8)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (8)
  • Evry, Institut national des télécommunications (7)
  • Lille 1 (7)
  • Grenoble (6)
  • Nantes (6)
  • Besançon (5)
  • Evry-Val d'Essonne (5)
  • Grenoble 1 (5)
  • Vandoeuvre-les-Nancy, INPL (5)
  • Paris 7 (4)
  • Toulouse, INSA (4)
  • Université de Sherbrooke (4)
  • Versailles-St Quentin en Yvelines (4)
  • Aix-Marseille 1 (3)
  • Clermont-Ferrand 2 (3)
  • Grenoble INPG (3)
  • Lorient (3)
  • Sorbonne Paris Cité (3)
  • Télécom Bretagne (3)
  • Université de Sherbrooke (Québec, Canada) (3)
  • Aix-Marseille (2)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (2)
  • Compiègne (2)
  • Ecole centrale de Lille (2)
  • Lyon, École normale supérieure (sciences) (2)
  • Montpellier (2)
  • Mulhouse (2)
  • Orléans (2)
  • Paris 1 (2)
  • Paris 9 (2)
  • Paris, ENST (2)
  • Poitiers (2)
  • Universidade de São Paulo (Brésil) (2)
  • Valenciennes (2)
  • Aix-Marseille 2 (1)
  • Aix-Marseille 3 (1)
  • Bourgogne Franche-Comté (1)
  • Caen (1)
  • Cergy-Pontoise (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aéronautique (1)
  • Chennai Mathematical Institute (1)
  • Clermont Auvergne (1)
  • Côte d'Azur (1)
  • Dijon (1)
  • Ecole nationale d'ingénieur de Sfax (1)
  • Georgia institute of technology (1)
  • L'Université des Sciences et de la Technologie Houari Boumediene (1)
  • Lille 3 (1)
  • Limoges (1)
  • Lyon, Ecole normale supérieure (1)
  • Lyon, INSA (1)
  • Nancy 2 (1)
  • Oldenburg, Carl v. Ossietzky Universität (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 12 (1)
  • Paris Sciences et Lettres (1)
  • Paris, ENMP (1)
  • Paris, ENSAM (1)
  • Paris, Ecole normale supérieure (1)
  • Paris, Télécom ParisTech (1)
  • Reims (1)
  • Saint-Etienne, EMSE (1)
  • Strasbourg 1 (1)
  • Supcom (Tunis) (1)
  • Toulouse, ENSAE (1)
  • Tours (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Universidade nova de Lisboa (1)
  • Universitatea politehnica (Bucarest) (1)
  • Université Jiaotong (Xi'an, Chine) (1)
  • Università degli studi (Milan, Italie) (1)
  • Università degli studi di Bologna (1)
  • Università di Firenze (1)
  • Universität des Saarlandes (1)
  • Université Laval (Québec, Canada) (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université Mohammed-V Agdal, Rabat, Maroc (1)
  • Université Savoie Mont Blanc (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Tunis. Faculté des sciences de Tunis (1)
  • Université des sciences, des techniques et des technologies de Bamako (Mali) (1)
  • Université normale de la Chine de l'Est (Shanghai) (1)
  • Univerzitet u Novom Sadu (1)
  • École Supérieure d’Ingénieurs de Beyrouth (ESIB) – Université Saint-Joseph (USJ) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (261)
  • Sciences appliquées (13)
  • Mathématiques et Informatique (5)
  • Programmation et systèmes (4)
  • Sciences et techniques (4)
  • Sûreté de logiciel et calcul de haute performance (4)
  • Automatique (3)
  • Informatique et applications (3)
  • Informatique et applications (3)
  • Sureté de logiciel et calcul de haute performance (3)
  • Automatique et informatique appliquée (2)
  • Informatique et mathématiques (2)
  • Informatique et réseaux (2)
  • Informatique et télécommunications (2)
  • Informatique fondamentale et parallélisme (2)
  • Informatique. Systèmes et communications (2)
  • Mathématiques (2)
  • Stic (2)
  • Sureté de Logiciel et Calcul à Haute Performance (2)
  • Sûreté de Logiciel et Calcul à Haute Performance (2)
  • Technologies de l'information et des systèmes (2)
  • ATS - Automatique et Traitement de Signal (1)
  • Architecture (1)
  • Automatique et informatique (1)
  • Automatique, Génie informatique, Traitement du signal et des Images (1)
  • Automatique, génie informatique, traitement du signal et des images (1)
  • Automatique, génie informatique, traitement du signal et images (1)
  • Automatique, productique (1)
  • Domaine STIC (1)
  • Electronique et communications (1)
  • Génie Industriel (1)
  • Génie industriel (1)
  • Génie informatique (1)
  • Génie informatique et automatique (1)
  • Image, information, hypermedia (1)
  • Informatique et Télécommunications (1)
  • Informatique fondamentale (1)
  • Informatique industrielle et automatique (1)
  • Informatique industrielle et productique (1)
  • Informatique temps réel, robotique et automatique (1)
  • Informatique. Modélisation et vérification (1)
  • Informatique. Systèmes et communication (1)
  • Mathématiques Appliquées (1)
  • Mathématiques et applications (1)
  • Mathématiques et informatique. Automatique (1)
  • Mathématiques. Informatique (1)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (1)
  • Mécanique, génie mécanique, génie civil (1)
  • Mécanique. Génie mécanique. Génie civil (1)
  • Nano electronique et nano technologies (1)
  • Philosophie (1)
  • Philosophie des sciences informatiques (1)
  • Production automatisée (1)
  • Productique, automatique et informatique industrielle (1)
  • Robotique et informatique (1)
  • Réseaux, Télécommunications, Systèmes et Architecture (1)
  • Réseaux, télécom, système et architecture (1)
  • Réseaux, télécoms, systèmes et architecture (1)
  • STIC - Cergy (1)
  • Sciences Physiques et de l'Ingénieur. Sûreté de fonctionnement (1)
  • Sciences biologiques et fondamentales appliquées. Psychologie (1)
  • Sciences de l'information et de la communication. Informatique (1)
  • Sciences et techniques. Physique (1)
  • Sciences et technologie industrielles (1)
  • Sciences et technologies de l'information et de la communication (1)
  • Sciences pour l'ingénieur (1)
  • Sureté de logiciel et calcul à haute performance (1)
  • Sureté du logiciel et calcul à haute performance (1)
  • Systèmes Informatiques (1)
  • Systèmes embarqués (1)
  • Systèmes industriels (1)
  • Systèmes informatiques (1)
  • Électronique, électrotechnique et automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (25)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (24)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (20)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (14)
  • École doctorale Informatique, télécommunications et électronique (Paris) (10)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (10)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (9)
  • Mathématiques et Informatique (7)
  • École doctorale Sciences pour l'Ingénieur (Lille) (6)
  • Ecole doctorale Informatique de Paris-Sud (5)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (5)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (4)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (4)
  • École doctorale Systèmes (Toulouse) (4)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (4)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (3)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (3)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (3)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (3)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (2)
  • I2S - Information, Structures, Systèmes (2)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (2)
  • MATHSTIC (2)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (2)
  • Sciences et Technologies de l'Information et de la Communication (2)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (2)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (2)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (2)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (2)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (2)
  • École doctorale en Informatique et Mathématiques de Lyon (2)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (2)
  • ED SI - Sciences et Ingénierie (1)
  • ED SIS 488 (1)
  • EDMITT - Ecole Doctorale Mathématiques, Informatique et Télécommunications de Toulouse (1)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (1)
  • Ecole doctorale de management Panthéon-Sorbonne (1)
  • IAEM Lorraine (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • MATISSE (1)
  • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (1)
  • Sciences Mathématiques de Paris Centre (1)
  • Sciences et Technologies de l'Information, Mathématiques (Nantes) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Ville, Transports et Territoires (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale des sciences pour l'ingénieur et aéronautique - SPI&A (Poitiers) (1)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (1)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (1)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (218)
  • anglais (124)
  • null (6)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Aït-Ameur Yamine (7)
  • Cavalli Ana (7)
  • Laleau Régine (6)
  • Bensalem Saddek (5)
  • Frappier Marc (5)
  • Kordon Fabrice (5)
  • Marché Claude (5)
  • Merz Stephan (5)
  • Accart Hardin Thérèse (4)
  • Barkaoui Kamel (4)
  • Bodeveix Jean-Paul (4)
  • Donzeau-Gouge Viguié Véronique (4)
  • Dubois Catherine (4)
  • Filali Mamoun (4)
  • Jard Claude (4)
  • Julliand Jacques (4)
  • Le Gall Pascale (4)
  • Le Guernic Paul (4)
  • Méry Dominique (4)
  • Oquendo Flavio (4)
  • Paulin-Mohring Christine (4)
  • Rusinowitch Michaël (4)
  • Seguin Christel (4)
  • Walukiewicz Igor (4)
  • Blazy Sandrine (3)
  • Boniol Frédéric (3)
  • Bérard Béatrice (3)
  • Cortier Véronique (3)
  • Delaune Stéphanie (3)
  • Haddad Serge (3)
  • Lakhnech Yassine (3)
  • Ledru Yves (3)
  • Mateescu Radu (3)
  • Mosbah Mohamed (3)
  • Sahraoui Abd-El-Kader (3)
  • Souquières Jeanine (3)
  • Strecker Martin (3)
  • Talpin Jean-Pierre (3)
  • Wiels Virginie (3)
  • Wolff Burkhart (3)
  • Ausbourg Bruno d' (2)
  • Bahsoun Jean-Paul (2)
  • Berthomieu Bernard (2)
  • Bhargavan Karthikeyan (2)
  • Bieber Pierre (2)
  • Bouajjani Ahmed (2)
  • Caspi Paul (2)
  • Collart-Dutilleul Simon (2)
  • Comon-Lundh Hubert (2)
  • Courtiat Jean-Pierre (2)
  • Dal Zilio Silvano (2)
  • Delmas Rémi (2)
  • Encrenaz Emmanuelle (2)
  • Fabre Jean-Charles (2)
  • Filliâtre Jean-Christophe (2)
  • Fradet Pascal (2)
  • Frydman Claudia (2)
  • Fréville Arnaud (2)
  • Gaaloul Walid (2)
  • Galmiche Didier (2)
  • Gaudel Marie-Claude (2)
  • Girard Patrick (2)
  • Jéron Thierry (2)
  • Kirchner Claude (2)
  • Kremer Steve (2)
  • Lanet Jean-Louis (2)
  • Lang Frédéric (2)
  • Le Métayer Daniel (2)
  • Legay Axel (2)
  • Leroy Xavier (2)
  • Lescanne Pierre (2)
  • Levy Nicole (2)
  • Lévy Nicole (2)
  • Maag Stéphane (2)
  • Maler Oded (2)
  • Mammar Amel (2)
  • Markey Nicolas (2)
  • Matthes Ralph (2)
  • Muscholl Anca (2)
  • Palanque Philippe (2)
  • Pantel Marc (2)
  • Pierre Laurence (2)
  • Puppis Gabriele (2)
  • Roux Olivier F. (2)
  • Simon Laurent (2)
  • Sutre Grégoire (2)
  • Tison Sophie (2)
  • Traoré Mamadou Kaba (2)
  • Vidal-Naquet Guy (2)
  • Viêt Triêm Tông Valérie (2)
  • Abdalla Michel (1)
  • Abdessalem Talel (1)
  • Aboutajdine Driss (1)
  • Alata Eric (1)
  • Albert Vincent (1)
  • Alla Hassane Lotfi (1)
  • Ameur-Boulifa Rabéa (1)
  • Anantharaman Siva (1)
  • Andreu David (1)
  • André-Obrecht Régine (1)
  • Arnold André (1)
  • Arnould Agnès (1)
  • Attali Isabelle (1)
  • Aubry Jean-François (1)
  • Aussaguès Christophe (1)
  • BEZIVIN J. (1)
  • BOX MARIE FRANCOISE (1)
  • Badouel Éric (1)
  • Baelde David (1)
  • Ballarini Paolo (1)
  • Bardin Sébastien (1)
  • Barger Pavol (1)
  • Barthe Gilles (1)
  • Ben Ahmed Samir (1)
  • Bensana Éric (1)
  • Benzaken Véronique (1)
  • Bernard Guy (1)
  • Berruet Pascal (1)
  • Bert Didier (1)
  • Berthelot Gérard (1)
  • Berthomé Pascal (1)
  • Bertot Yves (1)
  • Bertrand Yves (1)
  • Besson Frédéric (1)
  • Best Eike (1)
  • Blanchet Bruno (1)
  • Boldo Sylvie (1)
  • Bolignano Dominique (1)
  • Bon Philippe (1)
  • Boreale Michele (1)
  • Borrione Dominique (1)
  • Bosc Jean-Marc (1)
  • Boucher Xavier (1)
  • Bouhoula Adel (1)
  • Boulanger Frédéric (1)
  • Boulanger Jean-Louis (1)
  • Bouquet, Fabrice (1)
  • Bournez Olivier (1)
  • Bousquet Lydie du (1)
  • Bouyer-Decitre Patricia (1)
  • Bouyer-decitre Patricia (1)
  • Bouzeghoub Mokrane (1)
  • Bozga Dorel Marius (1)
  • Brunel Julien (1)
  • CHAZARAIN J. (1)
  • Calvary Gaëlle (1)
  • Cansell Dominique (1)
  • Castanet Richard (1)
  • Castel Charles (1)
  • Chapurlat Vincent (1)
  • Charpiat Guillaume (1)
  • Charron-Bost Bernadette (1)
  • Chelouah Rachid (1)
  • Chemouil David (1)
  • Chevrier Vincent (1)
  • Chihani Zakaria (1)
  • Choppy Christine (1)
  • Choquet-Geniet Annie (1)
  • Cirstea Horatiu (1)
  • Claramunt Christophe (1)
  • Comet Jean-Paul (1)
  • Contejean Evelyne (1)
  • Corbineau Pierre (1)
  • Coste François (1)
  • Cousot P. (1)
  • Couvreur Jean-Michel (1)
  • Cristea Valentin (1)
  • Crolard Tristan (1)
  • Crégut Pierre (1)
  • Crégut Xavier (1)
  • Cuppens Frédéric (1)
  • Dague Philippe (1)
  • Dang Thao (1)
  • Danger Jean-Luc (1)
  • Danos Vincent (1)
  • Dauchet Max (1)
  • Daumas Marc (1)
  • Defude Bruno (1)
  • Delahaye Benoit (1)
  • Delahaye David (1)
  • Delfieu David (1)
  • Demongeot Jacques (1)
  • Devienne Philippe (1)
  • Déharbe David (1)
  • Dhaussy Philippe (1)
  • Di Cosmo Roberto (1)
  • Diallo Ouaténi (1)
  • Dony Christophe (1)
  • Dufourd Jean-François (1)
  • Dulmet Maryvonne (1)
  • Dupuy-Chessa Sophie (1)
  • Durieux Jean-Louis (1)
  • Dutuit Yves (1)
  • El-Koursi El-Miloudi (1)
  • Ermine Jean-Louis (1)
  • Estraillier Pascal (1)
  • FACON PHILIPPE (1)
  • Falcone Yliès Carlo (1)
  • Fernandez Jean-Claude (1)
  • Feron Eric (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (307)
  • Sciences de l'ingénieur (48)
  • Mathématiques (15)
  • Informatique, information, généralités (11)
  • Sciences de la nature et mathématiques (7)
  • Technologie (Sciences appliquées) (7)
  • Physique (3)
  • Philosophie, psychologie (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Psychologie (1)
  • Sciences de la vie, biologie, biochimie (1)
  • Fabrication industrielle (1)
  • Architecture (1)

Domaines :

Fullscreen

377 thèses pour "Méthodes formelles"

Informatique

Soutenue le 26-11-2018
thèse soutenue
Informatique

Soutenue le 31-10-2018
thèse soutenue
Automatique, génie informatique, traitement du signal et des images

Soutenue le 16-03-2015
 thèse en cours de préparation
Philosophie des sciences informatiques

Soutenue en 2010
thèse soutenue
Mathématiques Appliquées

Soutenue le 07-05-2018
thèse soutenue

...démonstration automatique et preuve de circuitsélectroniques. Forum Méthodes Formelles: Preuve de modèle, Preuve...

Accéder en ligne
Réseaux, télécom, système et architecture

Soutenue le 19-12-2017
thèse soutenue

...approches existantes.Mots cles : methodes formelles, surete de fonctionnement, synthese d architectures...

Accéder en ligne
Informatique

Soutenue le 23-11-2009
thèse soutenue

Résultats 1 à 10