Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Rennes 1 (27)
  • Université Paris-Saclay (ComUE) (26)
  • Paris 6 (22)
  • Toulouse 3 (18)
  • Université Grenoble Alpes (ComUE) (18)
  • Université de Lorraine (18)
  • Nancy 1 (14)
  • Paris 11 (14)
  • Bordeaux (13)
  • Paris, CNAM (13)
  • Toulouse, INPT (12)
  • Paris Est (10)
  • Bordeaux 1 (9)
  • Cachan, Ecole normale supérieure (8)
  • Nice (8)
  • Toulouse, ENSAE (8)
  • Toulouse, ISAE (8)
  • Evry, Institut national des télécommunications (7)
  • Lille 1 (7)
  • université Paris-Saclay (7)
  • Grenoble (6)
  • Nantes (6)
  • Besançon (5)
  • Evry-Val d'Essonne (5)
  • Grenoble 1 (5)
  • Vandoeuvre-les-Nancy, INPL (5)
  • Institut polytechnique de Paris (4)
  • Paris 7 (4)
  • Sorbonne Paris Cité (4)
  • Toulouse, INSA (4)
  • Université Côte d'Azur (ComUE) (4)
  • Université de Sherbrooke (4)
  • Versailles-St Quentin en Yvelines (4)
  • Aix-Marseille 1 (3)
  • Clermont-Ferrand 2 (3)
  • Ecole centrale de Lille (3)
  • Grenoble INPG (3)
  • Lorient (3)
  • Sorbonne université (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)
  • Lyon, École normale supérieure (sciences) (2)
  • Montpellier (2)
  • Mulhouse (2)
  • Orléans (2)
  • Paris 1 (2)
  • Paris 9 (2)
  • Paris Sciences et Lettres (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)
  • CentraleSupélec (1)
  • Cergy-Pontoise (1)
  • Chambéry (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aéronautique (1)
  • Chennai Mathematical Institute (1)
  • Clermont Auvergne (1)
  • Dijon (1)
  • Ecole nationale d'ingénieur de Sfax (1)
  • Georgia institute of technology (1)
  • Grenoble Alpes (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, ENMP (1)
  • Paris, ENSAM (1)
  • Paris, Ecole normale supérieure (1)
  • Paris, Télécom ParisTech (1)
  • Pau (1)
  • Reims (1)
  • Rennes, INSA (1)
  • Rennes, École normale supérieure (1)
  • Rouen (1)
  • Saint-Etienne, EMSE (1)
  • Strasbourg 1 (1)
  • Supcom (Tunis) (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)
  • University of Antwerp (1)
  • Università degli studi (Bologne, Italie) (1)
  • Università degli studi (Milan, Italie) (1)
  • Università di Firenze (1)
  • Universität des Saarlandes (1)
  • Université Abdelhamid Mehri - Constantine 2 (Constantine, Algérie) (1)
  • Université Grenoble Alpes (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é 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)
  • École nationale d'ingénieurs de Tunis (Tunisie) (1)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (271)
  • Sciences appliquées (13)
  • InformatiqueInformatique (6)
  • Sciences et techniques (5)
  • Mathématiques et Informatique (4)
  • Programmation et systèmes (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)
  • Automatique, génie informatique, traitement du signal et des images (2)
  • Informatique et mathématiques (2)
  • Informatique et réseaux (2)
  • Informatique et télécommunications (2)
  • Informatique fondamentale et parallélisme (2)
  • Informatique, données, IA (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 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 (STIC) (1)
  • Informatique et Télécommunication (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, données et IA (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 (1)
  • Robotique et informatique (1)
  • Réseaux, Télécommunications, Systèmes et Architecture (1)
  • Réseaux, information et communications (1)
  • Réseaux, télécom, système et architecture (1)
  • Réseaux, télécoms, systèmes et architecture (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)
  • Stic - ed em2psi (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-....) (30)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (22)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (22)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (15)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (15)
  • École doctorale Informatique, télécommunications et électronique de Paris (11)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (11)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (8)
  • École doctorale Sciences pour l'Ingénieur (Lille) (7)
  • Ecole doctorale Informatique de Paris-Sud (5)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (5)
  • École doctorale Sciences mathématiques de Paris centre (Paris) (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 Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 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)
  • Ecole Doctorale de l'Institut Polytechnique de Paris (2)
  • I2S - Information, Structures, Systèmes (2)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (2)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (2)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (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 de l'Institut polytechnique de Paris (2)
  • École doctorale de mathématiques et informatique (2)
  • École doctorale en Informatique et Mathématiques de Lyon (2)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (2)
  • 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 Économie, Management, Mathématiques , Physique et Sciences Informatiques (EM2PSI) (1)
  • IAEM Lorraine (1)
  • Informatique, Automatique, Electronique-Electrotechnique, Mathématiques (1)
  • Informatique, télécommunications et électronique de Paris (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • MATHSTIC (1)
  • MATISSE (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (1)
  • Sciences et Technologies de l'Information, Mathématiques (Nantes) (1)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (1)
  • École doctorale Interfaces : matériaux, systèmes, usages (Palaiseau, Essonne ; 2015-....) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (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 Sciences mathématiques de Paris centre (Paris2000-....) (1)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (1)
  • École doctorale Ville, Transports et Territoires (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale de Management Panthéon-Sorbonne (Paris) (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)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (233)
  • anglais (134)
  • null (8)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Aït-Ameur Yamine (7)
  • Cavalli Ana (7)
  • Laleau Régine (7)
  • Marché Claude (6)
  • Merz Stephan (6)
  • Frappier Marc (5)
  • Kordon Fabrice (5)
  • Accart Hardin Thérèse (4)
  • Barkaoui Kamel (4)
  • Bensalem Saddek (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)
  • Mammar Amel (4)
  • Méry Dominique (4)
  • Oquendo Flavio (4)
  • Paulin-Mohring Christine (4)
  • Rusinowitch Michaël (4)
  • Seguin Christel (4)
  • Walukiewicz Igor (4)
  • Bhargavan Karthikeyan (3)
  • Blazy Sandrine (3)
  • Boniol Frédéric (3)
  • Bérard Béatrice (3)
  • Cortier Véronique (3)
  • Delaune Stéphanie (3)
  • Filliâtre Jean-Christophe (3)
  • Haddad Serge (3)
  • Jéron Thierry (3)
  • Lakhnech Yassine (3)
  • Ledru Yves (3)
  • Maag Stéphane (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)
  • Bertot Yves (2)
  • Bieber Pierre (2)
  • Bouajjani Ahmed (2)
  • Bouyer-Decitre Patricia (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)
  • Fradet Pascal (2)
  • Frydman Claudia (2)
  • Fréville Arnaud (2)
  • Gaaloul Walid (2)
  • Galmiche Didier (2)
  • Gaudel Marie-Claude (2)
  • Girard Patrick (2)
  • Kirchner Claude (2)
  • Kremer Steve (2)
  • Lanet Jean-Louis (2)
  • Lang Frédéric (2)
  • Le Métayer Daniel (2)
  • Legay Axel (2)
  • Leroux Jérôme (2)
  • Leroy Xavier (2)
  • Lescanne Pierre (2)
  • Levy Nicole (2)
  • Lévy Nicole (2)
  • Maler Oded (2)
  • Markey Nicolas (2)
  • Matthes Ralph (2)
  • Muscholl Anca (2)
  • Mé Ludovic (2)
  • Palanque Philippe (2)
  • Pantel Marc (2)
  • Pierre Laurence (2)
  • Puppis Gabriele (2)
  • Roux Olivier F. (2)
  • Simon Laurent (2)
  • Sutre Grégoire (2)
  • Tata Samir (2)
  • Tison Sophie (2)
  • Toguyeni Abdoul Karim Armand (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)
  • Auradou Harold (1)
  • Aussaguès Christophe (1)
  • Avoine Gildas (1)
  • BEZIVIN J. (1)
  • BOX MARIE FRANCOISE (1)
  • Badonnel Rémi (1)
  • Badouel Éric (1)
  • Baelde David (1)
  • Ballarini Paolo (1)
  • Bardin Sébastien (1)
  • Barger Pavol (1)
  • Barthe Gilles (1)
  • Belala Faiza (1)
  • Ben Ahmed Samir (1)
  • Bensana Éric (1)
  • Benzaken Véronique (1)
  • Bernard Guy (1)
  • Bernot Gilles (1)
  • Berruet Pascal (1)
  • Bert Didier (1)
  • Berthelot Gérard (1)
  • Berthomé Pascal (1)
  • Bertrand Yves (1)
  • Besson Frédéric (1)
  • Best Eike (1)
  • Bhiri Sami (1)
  • Bienvenu Meghyn (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)
  • 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)
  • Chailloux Emmanuel (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)
  • Cohen Cyril (1)
  • Comet Jean-Paul (1)
  • Conchon Sylvain (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)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (326)
  • Sciences de l'ingénieur (51)
  • Mathématiques (15)
  • Informatique, information, généralités (12)
  • Sciences de la nature et mathématiques (8)
  • Technologie (Sciences appliquées) (8)
  • 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

401 thèses pour "Méthodes formelles"

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

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

Accéder en ligne

...'investir dans les méthodes formelles, qui sortent de leur domaine. D'autre part, les spécialistes des méthodes...

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
Informatique

Soutenue le 06-09-2013
thèse soutenue

Résultats 1 à 10