Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Grenoble Alpes (ComUE) (69)
  • Université Paris-Saclay (ComUE) (68)
  • Grenoble (53)
  • Cachan, Ecole normale supérieure (40)
  • Université de Lorraine (37)
  • Rennes 1 (36)
  • Toulouse 3 (29)
  • Paris 6 (28)
  • Nancy 1 (25)
  • Paris Est (20)
  • Toulouse, ISAE (20)
  • Sorbonne Paris Cité (19)
  • Paris, CNAM (17)
  • Bordeaux (16)
  • Lorient (15)
  • Lyon (15)
  • Orléans (15)
  • Paris 11 (15)
  • Université Côte d'Azur (ComUE) (15)
  • Besançon (14)
  • Ecole centrale de Lille (12)
  • Paris Sciences et Lettres (ComUE) (12)
  • Toulouse, INPT (12)
  • Montpellier (11)
  • Paris 7 (11)
  • Reims (10)
  • Grenoble 1 (9)
  • Nantes (9)
  • Nice (9)
  • Bordeaux 1 (8)
  • Sorbonne université (8)
  • Toulouse, INSA (8)
  • Aix-Marseille (7)
  • Institut polytechnique de Paris (7)
  • Université Grenoble Alpes (7)
  • université Paris-Saclay (7)
  • Grenoble INPG (6)
  • Lyon 1 (6)
  • Pau (6)
  • CentraleSupélec (5)
  • Ecole centrale de Nantes (5)
  • Evry, Institut national des télécommunications (5)
  • Evry-Val d'Essonne (5)
  • Brest (4)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (4)
  • Lille 1 (4)
  • Lyon, INSA (4)
  • Mulhouse (4)
  • Rennes, INSA (4)
  • Toulouse 1 (4)
  • Toulouse, ENSAE (4)
  • Université de Sherbrooke (Québec, Canada) (4)
  • Belfort-Montbéliard (3)
  • Bourgogne Franche-Comté (3)
  • Clermont-Ferrand 2 (3)
  • Compiègne (3)
  • Dijon (3)
  • La Réunion (3)
  • Littoral (3)
  • Normandie (3)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (3)
  • Université libre de Bruxelles (1970-....) (3)
  • Vandoeuvre-les-Nancy, INPL (3)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (3)
  • École nationale d'ingénieurs de Tunis (Tunisie) (3)
  • Artois (2)
  • Clermont Auvergne (2)
  • East China normal university (Shanghai) (2)
  • Limoges (2)
  • Palaiseau, Ecole polytechnique (2)
  • Paris 13 (2)
  • Paris, ENSAM (2)
  • Paris, ENST (2)
  • Rennes, École normale supérieure (2)
  • Universidade de São Paulo (Brésil) (2)
  • Universitatea politehnica (Bucarest) (2)
  • University of Western Sydney (2)
  • Universität des Saarlandes (2)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (2)
  • Université de Tunis El Manar (2)
  • Université de Yaoundé I (2)
  • Université du Luxembourg (2)
  • Versailles-St Quentin en Yvelines (2)
  • Amiens (1)
  • Angers (1)
  • Antilles (1)
  • Bordeaux 2 (1)
  • Brest, École nationale supérieure de techniques avancées Bretagne (1)
  • Brno University of Technology (MAIS) (1)
  • Cergy-Pontoise (1)
  • Chennai Mathematical Institute (1)
  • Ecole Centrale de Lille (1)
  • Ecole Nationale d'Ingénieurs de Sousse (Tunisie) (1)
  • Ecole nationale des Mines d'Albi-Carmaux (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)
  • Metz (1)
  • Montpellier 2 (1)
  • Montpellier, ENSA (1)
  • Montpellier, SupAgro (1)
  • National Taiwan University (Taipei) (1)
  • Paris 1 (1)
  • Paris 9 (1)
  • Paris, Ecole normale supérieure (1)
  • Poitiers (1)
  • Saint-Etienne, EMSE (1)
  • Sankt-Peterburgskij gosudarstvennyj universitet (1)
  • Technische Universität (Munich, Allemagne) (1)
  • Technische Universität Braunschweig (1)
  • Technische universiteit (Delft, Pays-Bas) (1)
  • Tsinghua University (Pékin) (1)
  • Télécom Bretagne (1)
  • UNIVERSITE DE TUNIS EL MANAR (1)
  • Universidad de Sevilla (Espagne) (1)
  • Universidad técnica Federico Santa María (Valparaiso, Chili) (1)
  • Universiteit van Amsterdam (1)
  • Università degli studi (Gênes, Italie) (1)
  • Università degli studi (Milan, Italie) (1)
  • Università degli studi (Trente, Italie) (1)
  • Università degli studi della Calabria (1)
  • Université Abdelhamid Mehri - Constantine 2 (Constantine, Algérie) (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é Quisqueya (Port-au-Prince) (1)
  • Université de Mons (1)
  • Université de Montréal (1)
  • Université de Paris (2019-....) (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sfax. Faculté des sciences (1)
  • Université de Sherbrooke (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 et de la Technologie d'Oran. Mohamed Boudiaf (Algérie) (1)
  • Université des sciences, des techniques et des technologies de Bamako (Mali) (1)
  • Université du Minho (1)
  • Université européenne de Bretagne (1)
  • Université polytechnique de l'Ouest Africain (Dakar, Sénégal) (1)
  • Uniwersytet Warszawski. Wydział Matematyki, Informatyki i Mechanik (1)
  • Valenciennes (1)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (553)
  • Automatique (12)
  • Mathématiques et Informatique (11)
  • Stic (9)
  • Informatique et Télécommunications (7)
  • ATS - Automatique et Traitement de Signal (6)
  • Sciences et technologie industrielles (6)
  • Électronique, électrotechnique, automatique (6)
  • Informatique (STIC) (5)
  • Réseaux, télécom, système et architecture (5)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (4)
  • Informatique et applications (4)
  • Informatique, données, IA (4)
  • Mathématiques appliquées (4)
  • Réseaux, télécoms, systèmes et architecture (4)
  • Sciences et technologies industrielles (4)
  • Sureté de logiciel et calcul de haute performance (4)
  • Électronique Électrotechnique Automatique (4)
  • Automatique et informatique (3)
  • Automatique, génie informatique, traitement du signal et des images (3)
  • Automatique, génie informatique, traitement du signal et images (3)
  • Biodiversité écologie environnement (3)
  • Electronique (3)
  • Informatique et mathématiques (3)
  • Informatique et réseaux (3)
  • Mathématiques (3)
  • Modèles, méthodes et algorithmes en biologie, santé et environnement (3)
  • Programmation et systèmes (3)
  • Réseaux, information et communications (3)
  • Systèmes automatiques et micro-électroniques (3)
  • Systèmes embarqués (3)
  • Sûreté de Logiciel et Calcul à Haute Performance (3)
  • Automatique et informatique appliquée (2)
  • Automatique et informatique industrielle (2)
  • Automatique et productique (2)
  • Automatique, Génie informatique, Traitement du Signal et des Images (2)
  • Automatique, Traitement du Signal, 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)
  • Automatique, traitement du signal et images (2)
  • Bioinformatique (2)
  • Biostatistiques (2)
  • Ecologie marine (2)
  • Génie des systèmes industriels (2)
  • Informatique et télécommunication (2)
  • Informatique. Informatique fondamentale (2)
  • Intelligence artificielle (2)
  • Mathématiques Appliquées (2)
  • Mathématiques et informatique (2)
  • Mathématiques. Logique et fondements de l'informatique (2)
  • Nano electronique et nano technologies (2)
  • Nanoélectronique et nanotechnologie (2)
  • Robotique (2)
  • Réseaux, Télécommunications, Systèmes et Architecture (2)
  • Sciences - STS (2)
  • Sciences appliquées (2)
  • Sciences et techniques (2)
  • Sureté de Logiciel et Calcul à Haute Performance (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, Génie Informatique et Traitement du Signal (1)
  • Automatique, Génie Informatique, Traitement du Signal et des Images (1)
  • Automatique, Traitement du Signal et des Images, Génie informatique (1)
  • Automatique, Traitement du signal et des images, Génie informatique (1)
  • Automatique, signal, productique, robotique (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 Santé (1)
  • Biologie Végétale (1)
  • Biologie de l’invasion (1)
  • Biologie des populations (1)
  • Biologie et génétique des populations (1)
  • Biologie intégrative des plantes (1)
  • Biostatistique (1)
  • Ecologie, évolution (1)
  • Ecologie, évolution, ressources génétiques, paléontologie (1)
  • Genie industriel (1)
  • Génie Industriel et Informatique (1)
  • Génie des procédés (1)
  • Génie informatique (1)
  • Génie électrique (1)
  • Génie énergétique (1)
  • Génomique (1)
  • Info - Informatique (1)
  • Informatique appliquée (1)
  • Informatique et Robotique (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 Systèmes embarqués (1)
  • Informatique et Télécommunication (1)
  • Informatique et applications (1)
  • Informatique et mathématique (1)
  • Informatique et télécommunications (1)
  • Informatique fondamentale et parallélisme (1)
  • Informatique, données et IA (1)
  • Informatique. Modélisation et vérification (1)
  • Informatique. Systèmes et logiciels (1)
  • Informatique. Théorie des jeux (1)
  • InformatiqueInformatique (1)
  • Ingenierie informatique (1)
  • Instrumentation et informatique de l'image (1)
  • Linguistique anglaise (1)
  • Mathématiques aux interfaces (1)
  • Mathématiques et Applications (1)
  • Mathématiques et leurs interactions (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • Mathématiques-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)
  • Recherche clinique. Innovation technologique. Santé publique (1)
  • Robotique et Informatique (1)
  • Robotique et informatique (1)
  • Réseaux, télécommunications, système et architecture (1)
  • SYAM - Systèmes Automatiques et Micro-Électroniques (1)
  • Santé publique - biostatistiques (1)
  • Sciences (1)
  • Sciences de l'environnement (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 du végétal (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)
  • Signal, Image, Vision (1)
  • Sociétés, Politique, Santé publique. Santé Publique. Biostatistique (1)
  • Stic - ed em2psi (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)
  • Écologie (1)
  • Électronique, électrotechnique et automatique (1)
  • Électronique, électrotechnique, automatiqueÉlectronique, électrotechnique, automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (104)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (56)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (48)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (41)
  • École doctorale Informatique, télécommunications et électronique de Paris (36)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (27)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (26)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (22)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (19)
  • École doctorale Sciences pour l'Ingénieur (Lille) (19)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (19)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (18)
  • É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 électronique, électrotechnique, automatique, traitement du signal (Grenoble) (14)
  • École doctorale en Informatique et Mathématiques de Lyon (12)
  • IAEM Lorraine (11)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (11)
  • École doctorale Systèmes (Toulouse) (11)
  • École doctorale Interfaces : matériaux, systèmes, usages (Palaiseau, Essonne ; 2015-....) (10)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (10)
  • MATHSTIC (9)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (9)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (7)
  • Ecole doctorale Informatique de Paris-Sud (7)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (7)
  • École doctorale de l'Institut polytechnique de Paris (7)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (6)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (6)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (6)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (6)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (6)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (5)
  • Ecole doctorale de Dauphine (Paris) (4)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (4)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (4)
  • École doctorale chimie et science du vivant (Grenoble) (4)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (3)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (3)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (3)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (3)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (3)
  • Ecole doctorale Sciences du Numérique et de lu2019Ingénieur (2)
  • Ecole doctorale Sciences du Végétal (1992-2015 ; Orsay, Essonne) (2)
  • Ecole doctorale Sciences et technologies (Orléans) (2)
  • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (2)
  • Systèmes Intégrés en Biologie, Agronomie, Géosciences, Hydrosciences, Environnement (Montpellier ; École Doctorale ; 2009-2015) (2)
  • École doctorale Santé, Sciences Biologiques et Chimie du Vivant (Centre-Val de Loire) (2)
  • École doctorale Sciences fondamentales et appliquées (Nice) (2)
  • École doctorale Sciences mathématiques de Paris centre (Paris2000-....) (2)
  • École doctorale de mathématiques Hadamard (Orsay, Essonne ; 2015-....) (2)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (2)
  • École doctorale mathématiques, information et ingénierie des systèmes (Caen) (2)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (2)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (2)
  • Biodiversité, Agriculture, Alimentation, Environnement, Terre, Eau (Montpellier ; École Doctorale ; 2015-...) (1)
  • ED SIS 488 (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, technologies, santé (Reims, Marne) (1)
  • Ecole doctorale des Génomes aux organismes (Versailles ; 2000-2015) (1)
  • Ecole doctorale Économie, Management, Mathématiques , Physique et Sciences Informatiques (EM2PSI) (1)
  • Laboratoire de mathématiques et d'informatique (Bordeaux) (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • RP2E - Ecole Doctorale Sciences et Ingénierie des Ressources, Procédés, Produits, Environnement (1)
  • Sciences Chimiques et Biologiques pour la Santé (Montpellier ; Ecole Doctorale ; 2015-....) (1)
  • Sciences et ingénierie (1)
  • Toulouse School of Economics (1)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (1)
  • École Doctorale Interdisciplinaire Sciences-Santé. (Villeurbanne) (1)
  • École doctorale Arts, Lettres, Langues (Rennes) (1)
  • École doctorale Aéronautique-Astronautique (Toulouse) (1)
  • École doctorale Cancérologie : biologie-médecine-santé (Villejuif, Val-de-Marne ; 2015-....) (1)
  • École doctorale Complexité du vivant (Paris) (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, informatique et télécommunications (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 SIMPPé - Sciences et ingénierie des molécules, des produits, des procédés, et de l'énergie (Lorraine) (1)
  • École doctorale Santé Publique (Le Kremlin-Bicêtre, Val-de-Marne ; 2015-...) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences de l'environnement d'Île-de-France (Paris ; 1991-....) (1)
  • École doctorale Sciences de la matière (Rennes) (1)
  • École doctorale Sciences de la mer et du littoral (Plouzané) (1)
  • École doctorale Sciences de la vie et de la santé (Bordeaux) (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 mathématiques de Paris centre (Paris) (1)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (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 Systèmes (1)
  • École doctorale Ville, Transports et Territoires (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale des sciences pour l'ingénieur et aéronautique - SPI&A (Poitiers) (1)
  • École doctorale physique, sciences de l’Ingénieur, matériaux, énergie (Saint-Etienne du Rouvray, Seine Maritime) (1)
  • École doctorale sciences et ingénierie des systèmes, de l'environnement et des organisations (Chambéry) (1)
  • École doctorale terre, univers, environnement (Grenoble) (1)
  • École doctorale Écologie Géosciences Agronomie Alimentation (Rennes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (431)
  • anglais (416)
  • null (4)
  • russe (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (13)
  • Merz Stephan (10)
  • Kordon Fabrice (8)
  • Oquendo Flavio (8)
  • Barkaoui Kamel (7)
  • Faure Jean-Marc (7)
  • Haddad Serge (7)
  • Julliand Jacques (7)
  • Le Gall Pascale (7)
  • Maler Oded (7)
  • Toguyeni Abdoul Karim Armand (7)
  • Aït-Ameur Yamine (6)
  • Borrione Dominique (6)
  • Bozga Dorel Marius (6)
  • Filali Mamoun (6)
  • Fribourg Laurent (6)
  • Niel Eric (6)
  • Sifakis Joseph (6)
  • Bodeveix Jean-Paul (5)
  • Delaune Stéphanie (5)
  • Gastin Paul (5)
  • Groz Roland (5)
  • Jard Claude (5)
  • Jensen Thomas (5)
  • Mammar Amel (5)
  • Mateescu Radu (5)
  • Monniaux David (5)
  • Morin-Allory Katell (5)
  • Riera Bernard (5)
  • Rutten Eric (5)
  • Touili Tayssir (5)
  • Ausbourg Bruno d' (4)
  • Bon Philippe (4)
  • Boniol Frédéric (4)
  • Cavalli Ana (4)
  • Collart-Dutilleul Simon (4)
  • Couvreur Jean-Michel (4)
  • Dang Thao (4)
  • Dubois Catherine (4)
  • Gasquet Olivier (4)
  • Girard Antoine (4)
  • Girault Alain (4)
  • Godart Claude (4)
  • Iosif Radu (4)
  • Lakhnech Yassine (4)
  • Legay Axel (4)
  • Lesage Jean-Jacques (4)
  • Loulergue Frédéric (4)
  • Markey Nicolas (4)
  • Mourlin Fabrice (4)
  • Muscholl Anca (4)
  • Méhaut Jean-François (4)
  • Philippot Alexandre (4)
  • Pétin Jean-François (4)
  • Rusinowitch Michaël (4)
  • Salaün Gwen (4)
  • Segoufin Luc (4)
  • Zaïdi Fatiha (4)
  • Alla Hassane Lotfi (3)
  • Barais Olivier (3)
  • Baudry Benoit (3)
  • Bernot Gilles (3)
  • Berthomieu Bernard (3)
  • Blackburn Patrick (3)
  • Blazy Sandrine (3)
  • Bouajjani Ahmed (3)
  • Boulanger Frédéric (3)
  • Bouyer-Decitre Patricia (3)
  • Bérard Béatrice (3)
  • Comet Jean-Paul (3)
  • Conchon Sylvain (3)
  • Cortier Véronique (3)
  • Cousot Radhia (3)
  • Delahaye David (3)
  • Demri Stéphane P. (3)
  • Encrenaz Emmanuelle (3)
  • Frehse Goran (3)
  • Gaaloul Walid (3)
  • Galmiche Didier (3)
  • Garavel Hubert (3)
  • Gava Frédéric (3)
  • Ghazel Mohamed (3)
  • Goubault-Larrecq Jean (3)
  • Graf Susanne (3)
  • Haar Stefan (3)
  • Héam Pierre-Cyrille (3)
  • Jézéquel Jean-Marc (3)
  • Kouchnarenko Olga (3)
  • Laleau Régine (3)
  • Lanet Jean-Louis (3)
  • Lang Frédéric (3)
  • Levrat Eric (3)
  • Marion Jean-Yves (3)
  • Miné Antoine (3)
  • Mosbah Mohamed (3)
  • Mountassir Hassan (3)
  • Moy Matthieu (3)
  • Méry Dominique (3)
  • Nakagawa Elisa Yumi (3)
  • Parissis Ioannis (3)
  • Pierre Laurence (3)
  • Pinchinat Sophie (3)
  • Pommereau Franck (3)
  • Potet Marie-Laure (3)
  • Pétrot Frédéric (3)
  • Quinson Martin (3)
  • Rauzy Antoine (3)
  • Riveill Michel (3)
  • Roux Olivier (3)
  • Rueher Michel (3)
  • Shariat Ghodous Parisa (3)
  • Vernadat François B. (3)
  • Walukiewicz Igor (3)
  • Wiels Virginie (3)
  • Augé-Blum Isabelle (2)
  • Badr Youakim (2)
  • Baelde David (2)
  • Bardin Sébastien (2)
  • Becher Verónica (2)
  • Benzaken Véronique (2)
  • Berruet Pascal (2)
  • Bertrand Nathalie (2)
  • Bieber Pierre (2)
  • Blum Michaël (2)
  • Bossard Nadine (2)
  • Brinzei Nicolae (2)
  • Brunel Julien (2)
  • Calvary Gaëlle (2)
  • Carre menetrier Veronique (2)
  • Cassé Hugues (2)
  • Chailloux Emmanuel (2)
  • Chapurlat Vincent (2)
  • Collavizza Hélène (2)
  • Cordier Marie-Odile (2)
  • Coulette Bernard (2)
  • Dague Philippe (2)
  • Dal Zilio Silvano (2)
  • Demongeot Jacques (2)
  • Després Laurence (2)
  • Dima Catalin (2)
  • Donsez Didier (2)
  • Dony Christophe (2)
  • Dowek Gilles (2)
  • Doyen Laurent (2)
  • Durand Arnaud (2)
  • Estraillier Pascal (2)
  • Fages François (2)
  • Falcone Yliès Carlo (2)
  • Fernandez Jean-Claude (2)
  • Fesquet Laurent (2)
  • Filliâtre Jean-Christophe (2)
  • Finkel Alain (2)
  • Flauzac Olivier (2)
  • Fraboul Christian (2)
  • Fradet Pascal (2)
  • Frappier Marc (2)
  • Garoche Pierre-Loïc (2)
  • Gechter Franck Joseph Aimé (2)
  • Genest Blaise (2)
  • Genet Thomas (2)
  • Girard Patrick (2)
  • Gruer Juan Pablo (2)
  • Gérard Sébastien (2)
  • Gössler Gregor (2)
  • Hacid Mohand Saïd (2)
  • Hadj Kacem Ahmed (2)
  • Hains Gaétan (2)
  • Halbwachs Nicolas (2)
  • Hammad Ahmed (2)
  • Henrio Ludovic (2)
  • Issarny Valérie (2)
  • Jong Hidde de (2)
  • Jéron Thierry (2)
  • Kaiser Claude (2)
  • Khlif Manel (2)
  • Kirchner Claude (2)
  • Klai Kais (2)
  • Klaudel Hanna (2)
  • Kremer Steve (2)
  • Lafourcade Pascal (2)
  • Laroussinie François (2)
  • Legeard Bruno (2)
  • Lime Didier (2)
  • Manceny Matthieu (2)
  • Maraninchi Florence (2)
  • Masson Pierre-Alain (2)
  • Mifdaoui Ahlem (2)
  • Miller Dale (2)
  • Monfroy Éric (2)
  • Monsuez Bruno (2)
  • Moreau Pierre-Etienne (2)
  • Morel Gérard (2)
  • Navet Nicolas (2)
  • Nolot Florent (2)
  • Ober Iulian Sorin (2)
  • Pagetti Claire (2)
  • Palma Noël de (2)
  • Pantel Marc (2)
  • Pellier Damien (2)
  • Percebois Christian (2)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (626)
  • Sciences de l'ingénieur (131)
  • Informatique, information, généralités (39)
  • Mathématiques (31)
  • Sciences de la vie, biologie, biochimie (31)
  • Technologie (Sciences appliquées) (12)
  • Physique (11)
  • Médecine et santé (8)
  • Gestion et organisation de l'entreprise (7)
  • Bibliothéconomie et sciences de l'information (3)
  • Sciences de la nature et mathématiques (3)
  • Commerce, communications, transports (2)
  • Sciences de la terre (2)
  • Agronomie, agriculture et médecine vétérinaire (2)
  • Philosophie, psychologie (1)
  • Epistémologie, causalité, genre humain (1)
  • Economie (1)
  • Problèmes et services sociaux (1)
  • Linguistique générale (1)
  • Astronomie, cartographie, géodésie (1)
  • Plantes. Botanique (1)
  • Fabrication industrielle (1)
  • Bâtiments (1)

Domaines :

Fullscreen

851 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
Informatique

Soutenue le 30-09-2019
thèse soutenue

....Lakhotia. Static verification of worm and virus behaviorin binary executables using model checking. In IEEE Systems...

Accéder en ligne
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
Informatique

Soutenue le 05-07-2018
thèse soutenue

Malware (virus) detection using model checking

par Ugochukwu Onwudebelu sous la direction de Tayssir Touili - Paris 13

Ingenierie informatique

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

Résultats 1 à 10