Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (61)
  • Grenoble (53)
  • Paris Saclay (35)
  • Paris 6 (28)
  • Rennes 1 (28)
  • Cachan, Ecole normale supérieure (22)
  • Toulouse 3 (21)
  • Paris Est (19)
  • Université de Lorraine (19)
  • Paris, CNAM (16)
  • Toulouse, ISAE (15)
  • Besançon (13)
  • Bordeaux (13)
  • Sorbonne Paris Cité (13)
  • Lorient (12)
  • Orléans (12)
  • Paris 11 (11)
  • Paris 7 (11)
  • Ecole centrale de Lille (10)
  • Toulouse, INPT (9)
  • Grenoble 1 (8)
  • Lyon (8)
  • Bordeaux 1 (7)
  • Côte d'Azur (7)
  • Montpellier (7)
  • Nice (7)
  • Grenoble INPG (6)
  • Nancy 1 (6)
  • Nantes (6)
  • Reims (6)
  • Toulouse, INSA (6)
  • Evry-Val d'Essonne (5)
  • Pau (5)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (5)
  • Aix-Marseille (4)
  • Bourgogne Franche-Comté (4)
  • Evry, Institut national des télécommunications (4)
  • Lille 1 (4)
  • Lyon 1 (4)
  • Lyon, INSA (4)
  • Mulhouse (4)
  • Paris Sciences et Lettres (4)
  • Université de Sherbrooke (Québec, Canada) (4)
  • Belfort-Montbéliard (3)
  • Clermont-Ferrand 2 (3)
  • Compiègne (3)
  • Dijon (3)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (3)
  • La Réunion (3)
  • Toulouse 1 (3)
  • Vandoeuvre-les-Nancy, INPL (3)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (3)
  • Artois (2)
  • Brest (2)
  • CentraleSupélec (2)
  • Ecole centrale de Nantes (2)
  • Limoges (2)
  • Littoral (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris, ENST (2)
  • Rennes, INSA (2)
  • Universidade de São Paulo (Brésil) (2)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (2)
  • Université de Yaoundé I (2)
  • Université libre de Bruxelles (1970-....) (2)
  • Versailles-St Quentin en Yvelines (2)
  • École nationale d'ingénieurs de Tunis (Tunisie) (2)
  • Amiens (1)
  • Angers (1)
  • Antilles (1)
  • Bordeaux 2 (1)
  • Brno University of Technology (MAIS) (1)
  • Cergy-Pontoise (1)
  • Chennai Mathematical Institute (1)
  • Clermont Auvergne (1)
  • E.N.S. DE L'EST DE LA CHINE (1)
  • Ecole Centrale de Lille (1)
  • Evry, Institut National des Télécommunications (1)
  • Faculté des Sciences de Monastir (Tunisie) (1)
  • Georgia institute of technology (1)
  • Instituto de Ciências Matemáticas (São Carlos, Brésil) (1)
  • Le Havre (1)
  • Malardalen University (1)
  • Masarykova univerzita (Brno, République tchèque) (1)
  • Montpellier 2 (1)
  • National Taiwan University (Taipei) (1)
  • Normandie (1)
  • Paris 1 (1)
  • Paris 9 (1)
  • Paris, ENSAM (1)
  • Paris, Ecole normale supérieure (1)
  • Poitiers (1)
  • Rennes, École normale supérieure (1)
  • Sankt-Peterburgskij gosudarstvennyj universitet (1)
  • Technische universiteit (Delft, Pays-Bas) (1)
  • Télécom Bretagne (1)
  • Universidad de Sevilla (Espagne) (1)
  • Universidad técnica Federico Santa María (Valparaiso, Chili) (1)
  • Universitatea politehnica (Bucarest) (1)
  • Universiteit van Amsterdam (1)
  • University of Western Sydney (1)
  • Università degli studi (Milan, Italie) (1)
  • Università degli studi (Trente, Italie) (1)
  • Universität des Saarlandes (1)
  • Université Badji Mokhtar-Annaba (1)
  • Université Libanaise (Liban) (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université Mohammed-V Agdal, Rabat, Maroc (1)
  • Université de Mons (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (1)
  • Université de Sfax. Faculté des sciences (1)
  • Université de Sherbrooke (1)
  • Université de Tunis El Manar (1)
  • Université de Tunis El-Manar. Faculté des Sciences de Tunis (Tunisie) (1)
  • Université de Tunis. Faculté des sciences de Tunis (1)
  • Université des sciences, des techniques et des technologies de Bamako (Mali) (1)
  • Université du Luxembourg (1)
  • Université du Minho (1)
  • Université européenne de Bretagne (1)
  • Université polytechnique de l'Ouest Africain (Dakar, Sénégal) (1)
  • Valenciennes (1)
  • École nationale supérieure agronomique (Montpellier) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (400)
  • Stic (9)
  • Mathématiques et Informatique (8)
  • Automatique (7)
  • Sciences et technologie industrielles (6)
  • Électronique, électrotechnique, automatique (5)
  • ATS - Automatique et Traitement de Signal (4)
  • Informatique et applications (4)
  • Réseaux, télécom, système et architecture (4)
  • Sureté de logiciel et calcul de haute performance (4)
  • Automatique et informatique (3)
  • Automatique, génie informatique, traitement du signal et images (3)
  • Informatique et mathématiques (3)
  • Mathématiques appliquées (3)
  • Programmation et systèmes (3)
  • Réseaux, télécoms, systèmes et architecture (3)
  • Systèmes automatiques et micro-électroniques (3)
  • Sûreté de Logiciel et Calcul à Haute Performance (3)
  • Automatique et informatique appliquée (2)
  • Automatique et informatique industrielle (2)
  • Automatique, Génie informatique, Traitement du Signal et des Images (2)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (2)
  • Automatique, Traitement du signal et des images, Génie Informatique (2)
  • Automatique, génie informatique, traitement du signal et image (2)
  • Biodiversité écologie environnement (2)
  • Bioinformatique (2)
  • Informatique (STIC) (2)
  • Informatique et réseaux (2)
  • Mathématiques (2)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (2)
  • Nano electronique et nano technologies (2)
  • Nanoélectronique et nanotechnologie (2)
  • Réseaux, Télécommunications, Systèmes et Architecture (2)
  • Sciences appliquées (2)
  • Sciences et techniques (2)
  • Sciences et technologies industrielles (2)
  • Sureté de Logiciel et Calcul à Haute Performance (2)
  • Systèmes embarqués (2)
  • Systèmes informatiques (2)
  • Sûreté de logiciel et calcul de haute performance (2)
  • Électronique (2)
  • Sciences de l'ingénieur (1)
  • Algorithmique (1)
  • Aspects moléculaires et cellulaires de la biologie (1)
  • Automatique - productique (1)
  • Automatique et productique (1)
  • Automatique, Génie Informatique et Traitement du Signal (1)
  • Automatique, Génie Informatique, Traitement du Signal et des Images (1)
  • Automatique, Traitement du Signal, Génie Informatique (1)
  • Automatique, Traitement du signal et des images, Génie informatique (1)
  • Automatique, génie informatique, traitement du signal et des images (1)
  • Automatique, traitement du signal et génie informatique (1)
  • Automatique-Productique (1)
  • Automatique. Automatique, génie informatique (1)
  • Automatique. Productique (1)
  • Automatisme signal télécommunication (1)
  • Biologie des populations (1)
  • Biostatistiques (1)
  • Ecologie marine (1)
  • Ecologie, évolution (1)
  • Ecologie, évolution, ressources génétiques, paléontologie (1)
  • Electronique (1)
  • Génie des systèmes industriels (1)
  • Génie informatique (1)
  • Génie électrique (1)
  • Génomique (1)
  • Informatique appliquée (1)
  • Informatique et Sciences et Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Informatique et Systèmes embarqués (1)
  • Informatique et Télécommunications (1)
  • Informatique et applications (1)
  • Informatique et télécommunication (1)
  • Informatique et télécommunications (1)
  • Informatique fondamentale et parallélisme (1)
  • Informatique. Informatique fondamentale (1)
  • Informatique. Systèmes et logiciels (1)
  • Informatique. Théorie des jeux (1)
  • Ingenierie informatique (1)
  • Instrumentation et informatique de l'image (1)
  • Intelligence artificielle (1)
  • Linguistique anglaise (1)
  • Mathématiques Appliquées (1)
  • Mathématiques et Applications (1)
  • Mathématiques et informatique (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • Mathématiques-Informatique (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Micro et nanoélectronique (1)
  • Micro-électronique (1)
  • Microbiologie (1)
  • Mécanique des fluides (1)
  • Météorologie, océanographie, physique de l'environnement (1)
  • Pharmacotechnie et biopharmacie (1)
  • Philosophie (1)
  • Physiologie et biologie des organismes - populations - interactions (1)
  • Physiologie et biologie des organismes et des populations. Interactions (1)
  • Physiologie et biologie des organismes-populations-interactions (1)
  • Productique, automatique et informatique industrielle (1)
  • Robotique (1)
  • Robotique et informatique (1)
  • Réseaux, télécommunications, système et architecture (1)
  • STIC - Cergy (1)
  • SYAM - Systèmes Automatiques et Micro-Électroniques (1)
  • Sciences - STS (1)
  • Sciences de l'information et de la communication. Informatique (1)
  • Sciences de la Terre et de l'Univers et de l'Environnement (1)
  • Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences et génie des activités à risques (1)
  • Sciences et procédés biologiques industriels (1)
  • Sciences et techniques. Physique (1)
  • Sciences et technologies de l'information et de la communication (1)
  • Sciences économiques (1)
  • Signal, Image, Automatique (1)
  • Sociétés, Politique, Santé publique. Santé Publique. Biostatistique (1)
  • Sureté du logiciel et calcul à haute performance (1)
  • Systèmes informatiques et systèmes ambarqués (1)
  • Systèmes informatiques et systèmes embarqués (1)
  • Sûreté de Logiciel et Calcul de Haute Performance (1)
  • Sûreté de logiciel et calcul de haute-performance (1)
  • Sûreté logicielle et calcul de haute performance (1)
  • Technologie de l’Information et des Systèmes, Informatique : Unité de recherche Heudyasic (UMR-7253) (1)
  • Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Traitement du signal (1)
  • Virologie microbiologie immunologie (1)
  • Électronique Électrotechnique Automatique (1)
  • Électronique, électrotechnique et automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (92)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (29)
  • École doctorale Informatique, télécommunications et électronique (Paris) (27)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (27)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (20)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (16)
  • École doctorale Sciences pour l'Ingénieur (Lille) (16)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (14)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (14)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (13)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (13)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (11)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (11)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (11)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (10)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (10)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (9)
  • École doctorale en Informatique et Mathématiques de Lyon (8)
  • École doctorale Systèmes (Toulouse) (6)
  • Ecole doctorale Informatique de Paris-Sud (5)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (5)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (5)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (5)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (5)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (4)
  • I2S - Information, Structures, Systèmes (4)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (4)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (4)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (4)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (3)
  • IAEM Lorraine (3)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (3)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (3)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (3)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (3)
  • École doctorale chimie et science du vivant (Grenoble) (3)
  • MATISSE (2)
  • Mathématiques, Sciences et technologies de l'information, Informatique (2)
  • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (2)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (2)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (2)
  • École doctorale de Mathématiques et Informatique (Talence ; Gironde) (2)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (2)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (2)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (2)
  • Complexité du vivant (1)
  • ED SI - Sciences et Ingénierie (1)
  • EGAAL (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (1)
  • Ecole doctorale Sciences et technologies (Orléans) (1)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (1)
  • Ecole doctorale de Dauphine (Paris) (1)
  • Ecole doctorale des Génomes aux organismes (Versailles ; 2000-2015) (1)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • MATHSTIC (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • Mathématiques et Informatique (1)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (1)
  • SCIENCES MATHEMATIQUES DE PARIS CENTRE (1)
  • SNI - Sciences du Numérique et de l'Ingénieur (1)
  • Sciences et ingénierie (1)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (1)
  • Terre, Univers, Environnement (1)
  • Toulouse School of Economics (1)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (1)
  • École doctorale Arts, Lettres, Langues (Rennes) (1)
  • École doctorale Cancérologie, Biologie, Médecine, Santé (Villejuif, Val-de-Marne ; 2015-....) (1)
  • École doctorale E2S Environnements, Santé, STIC (Dijon ; ....-2012) (1)
  • École doctorale Innovation thérapeutique : du fondamental à l'appliqué (Châtenay-Malabry, Hauts-de-Seine ; 2015-....) (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Milieu insulaire tropical à risques : protection, valorisation , santé et développement (Pointe-à-Pitre) (1)
  • École doctorale Philosophie (Paris) (1)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (1)
  • École doctorale Sciences de la matière (Rennes) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences et Ingénierie, Matériaux, Modélisation et Environnement (Champs-sur-Marne, Seine-et-Marne) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (1)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (1)
  • École doctorale Sciences, technologie et santé (Amiens) (1)
  • École doctorale Sociétés, politique, santé publique (Bordeaux) (1)
  • École doctorale Ville, Transports et Territoires (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (1)
  • École doctorale des sciences de l'environnement d'Île-de-France (Paris) (1)
  • École doctorale des sciences pour l'ingénieur et aéronautique - SPI&A (Poitiers) (1)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (327)
  • anglais (273)
  • null (3)
  • russe (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (13)
  • Kordon Fabrice (8)
  • Barkaoui Kamel (7)
  • Haddad Serge (7)
  • Maler Oded (7)
  • Oquendo Flavio (7)
  • Aït-Ameur Yamine (6)
  • Borrione Dominique (6)
  • Bozga Dorel Marius (6)
  • Filali Mamoun (6)
  • Julliand Jacques (6)
  • Sifakis Joseph (6)
  • Toguyeni Abdoul Karim Armand (6)
  • Bodeveix Jean-Paul (5)
  • Gastin Paul (5)
  • Groz Roland (5)
  • Merz Stephan (5)
  • Morin-Allory Katell (5)
  • Niel Eric (5)
  • Rutten Eric (5)
  • Ausbourg Bruno d' (4)
  • Boniol Frédéric (4)
  • Dang Thao (4)
  • Dubois Catherine (4)
  • Girault Alain (4)
  • Jensen Thomas (4)
  • Lakhnech Yassine (4)
  • Legay Axel (4)
  • Lesage Jean-Jacques (4)
  • Mateescu Radu (4)
  • Mourlin Fabrice (4)
  • Muscholl Anca (4)
  • Riera Bernard (4)
  • Touili Tayssir (4)
  • Alla Hassane Lotfi (3)
  • Baudry Benoit (3)
  • Berthomieu Bernard (3)
  • Blazy Sandrine (3)
  • Bon Philippe (3)
  • Bérard Béatrice (3)
  • Cavalli Ana (3)
  • Collart-Dutilleul Simon (3)
  • Comet Jean-Paul (3)
  • Conchon Sylvain (3)
  • Couvreur Jean-Michel (3)
  • Encrenaz Emmanuelle (3)
  • Garavel Hubert (3)
  • Ghazel Mohamed (3)
  • Héam Pierre-Cyrille (3)
  • Iosif Radu (3)
  • Jard Claude (3)
  • Kouchnarenko Olga (3)
  • Lanet Jean-Louis (3)
  • Lang Frédéric (3)
  • Le Gall Pascale (3)
  • Loulergue Frédéric (3)
  • Monniaux David (3)
  • Mosbah Mohamed (3)
  • Mountassir Hassan (3)
  • Moy Matthieu (3)
  • Méhaut Jean-François (3)
  • Nakagawa Elisa Yumi (3)
  • Philippot Alexandre (3)
  • Pierre Laurence (3)
  • Pommereau Franck (3)
  • Pétin Jean-François (3)
  • Pétrot Frédéric (3)
  • Rueher Michel (3)
  • Salaün Gwen (3)
  • Shariat Ghodous Parisa (3)
  • Sutre Grégoire (3)
  • Vernadat François B. (3)
  • Walukiewicz Igor (3)
  • Augé-Blum Isabelle (2)
  • Badr Youakim (2)
  • Bernot Gilles (2)
  • Berruet Pascal (2)
  • Bertrand Nathalie (2)
  • Bieber Pierre (2)
  • Bouajjani Ahmed (2)
  • Boulanger Frédéric (2)
  • Bouyer-Decitre Patricia (2)
  • Brunel Julien (2)
  • Calvary Gaëlle (2)
  • Cassé Hugues (2)
  • Chapurlat Vincent (2)
  • Collavizza Hélène (2)
  • Cordier Marie-Odile (2)
  • Coulette Bernard (2)
  • Cousot Radhia (2)
  • Dague Philippe (2)
  • Dal Zilio Silvano (2)
  • Delahaye David (2)
  • Delaune Stéphanie (2)
  • Demongeot Jacques (2)
  • Demri Stéphane P. (2)
  • Dima Catalin (2)
  • Donsez Didier (2)
  • Estraillier Pascal (2)
  • Fages François (2)
  • Faure Jean-Marc (2)
  • Fesquet Laurent (2)
  • Fraboul Christian (2)
  • Fradet Pascal (2)
  • Frappier Marc (2)
  • Frehse Goran (2)
  • Fribourg Laurent (2)
  • Galmiche Didier (2)
  • Gasquet Olivier (2)
  • Gava Frédéric (2)
  • Gechter Franck Joseph Aimé (2)
  • Genet Thomas (2)
  • Girard Antoine (2)
  • Girard Patrick (2)
  • Graf Susanne (2)
  • Gruer Juan Pablo (2)
  • Gérard Sébastien (2)
  • Gössler Gregor (2)
  • Hadj Kacem Ahmed (2)
  • Hains Gaétan (2)
  • Hammad Ahmed (2)
  • Ingrand François (2)
  • Issarny Valérie (2)
  • Jong Hidde de (2)
  • Jézéquel Jean-Marc (2)
  • Kaiser Claude (2)
  • Klaudel Hanna (2)
  • Lafourcade Pascal (2)
  • Laleau Régine (2)
  • Laroussinie François (2)
  • Levrat Eric (2)
  • Lime Didier (2)
  • Manceny Matthieu (2)
  • Maraninchi Florence (2)
  • Marion Jean-Yves (2)
  • Mifdaoui Ahlem (2)
  • Monfroy Éric (2)
  • Monsuez Bruno (2)
  • Ober Iulian Sorin (2)
  • Pagetti Claire (2)
  • Palma Noël de (2)
  • Pantel Marc (2)
  • Parissis Ioannis (2)
  • Pichardie David (2)
  • Pinchinat Sophie (2)
  • Potet Marie-Laure (2)
  • Prieur Clémentine (2)
  • Quinson Martin (2)
  • Ramdani Nacim (2)
  • Rauzy Antoine (2)
  • Robbana Riadh (2)
  • Roux Olivier F. (2)
  • Roux Olivier Henri (2)
  • Rozoy Brigitte (2)
  • Santana Miguel (2)
  • Scharbarg Jean-Luc (2)
  • Schnoebelen Philippe (2)
  • Segoufin Luc (2)
  • Serre Olivier (2)
  • Simone Robert de (2)
  • Termier Alexandre (2)
  • Thieffry Denis (2)
  • Thirion Bernard (2)
  • Verfaillie Gérard (2)
  • Wolff Burkhart (2)
  • Zaïdi Fatiha (2)
  • Zielonka Wieslaw (2)
  • Aboutajdine Driss (1)
  • Alba Winckler Marco Antonio (1)
  • Amari Saïd (1)
  • Amghar Youssef (1)
  • Andreu David (1)
  • Aniorté Philippe (1)
  • Apvrille Ludovic (1)
  • Assayag Gérard (1)
  • Aubry Jean-François (1)
  • Aucher Guillaume (1)
  • Audemard Gilles (1)
  • Auguin Michel (1)
  • Aussenac-Gilles Nathalie (1)
  • Baelde David (1)
  • Bahsoun Jean-Paul (1)
  • Ballarini Paolo (1)
  • Balzarotti Davide (1)
  • Banks David (1)
  • Barbier Franck (1)
  • Bardin Sébastien (1)
  • Barhamgi Mahmoud (1)
  • Basson Henri (1)
  • Battou Abdella (1)
  • Bayart Mireille (1)
  • Beauquier Danièle (1)
  • Belardinelli Francesco (1)
  • Ben Hadj-Alouane Néjib (1)
  • Ben Mahmoud Mohamed Slim (1)
  • Benavides David (1)
  • Bendraou Reda (1)
  • Benkhaldoun Fayssal (1)
  • Berkani Karim (1)
  • Bertelle Cyrille (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (451)
  • Sciences de l'ingénieur (101)
  • Informatique, information, généralités (32)
  • Sciences de la vie, biologie, biochimie (21)
  • Mathématiques (20)
  • Physique (10)
  • Technologie (Sciences appliquées) (7)
  • Médecine et santé (3)
  • Gestion et organisation de l'entreprise (3)
  • Commerce, communications, transports (2)
  • Sciences de la nature et mathématiques (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Philosophie, psychologie (1)
  • Epistémologie, causalité, genre humain (1)
  • Economie (1)
  • Linguistique générale (1)
  • Astronomie, cartographie, géodésie (1)
  • Sciences de la terre (1)
  • Agronomie, agriculture et médecine vétérinaire (1)
  • Bâtiments (1)

Domaines :

Fullscreen

606 thèses pour "Model checking"

Mathématiques. Logique et fondements de l'informatique

Soutenue en 2015
thèse soutenue

.... . . . . . . . . . . . . . . . . . . . 492.4 Model Checking . . . . . . . . . . . . . . . . . . . . . . . . . . 502.4.1 Specification...

Accéder en ligne
Informatique

Soutenue en 2003
thèse soutenue
Sûreté de logiciel et calcul de haute performance

Soutenue le 20-12-2011
thèse soutenue

...beexpressed by means of fixpoint formulas.2.2.3 Model CheckingGlobal and LocalThe model checking problem can be...

Accéder en ligne
Informatique

Soutenue le 19-11-2014
thèse soutenue

...formelles . . . . . . . . . . . . . . . . . . . . . . . . 160.1.3 Model checking et logique temporelle...

Accéder en ligne

Malware (virus) detection using model checking

par Ugochukwu Onwudebelu sous la direction de Tayssir Touili - Sorbonne Paris Cité

Ingenierie informatique

En préparation depuis le 26-03-2018
 thèse en cours de préparation

Model checking de codes binaires exécutables

par Xin Ye sous la direction de Tayssir Touili et de Jifeng He. - Sorbonne Paris Cité

Informatique

En préparation depuis le 09-12-2014
 thèse en cours de préparation
Soutenance prévue le 30-09-2019

Model-checking pour l'agriculture de précision

par Rim Saddem (Yagoubi) sous la direction de Didier Crestani - Montpellier

SYAM - Systèmes Automatiques et Micro-Électroniques

Soutenue le 20-06-2019
 thèse en cours de préparation

...Symposium on Model Checking of Software(SPIN’13), volume 7976 of Lecture Notes in Computer Science, pages 81...

Accéder en ligne

Résultats 1 à 10