Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (11)
  • Rennes 1 (8)
  • Sorbonne Paris Cité (5)
  • Toulouse, INPT (5)
  • Ecole centrale de Nantes (3)
  • Paris Est (3)
  • Université Grenoble Alpes (ComUE) (3)
  • East China normal university (Shanghai) (2)
  • Montpellier (2)
  • Paris 6 (2)
  • Paris, CNAM (2)
  • Toulouse 3 (2)
  • Avignon (1)
  • Bordeaux (1)
  • Brest, École nationale supérieure de techniques avancées Bretagne (1)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Clermont-Ferrand 2 (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Grenoble 1 (1)
  • Grenoble INPG (1)
  • Lille 1 (1)
  • Limoges (1)
  • Lorient (1)
  • Lyon (1)
  • Montpellier 2 (1)
  • Nancy 1 (1)
  • Nantes, Ecole des Mines (1)
  • Orléans (1)
  • Paris 1 (1)
  • Paris 11 (1)
  • Reims (1)
  • Sorbonne université (1)
  • Toulouse, ENSAE (1)
  • Université Grenoble Alpes (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université de Lorraine (1)
  • Université de Mons (1)
  • Université de Paris (2019-....) (1)
  • Université de Sherbrooke (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • École nationale d'ingénieurs de Tunis (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (47)
  • Informatique et applications (4)
  • ATS - Automatique et Traitement de Signal (1)
  • Biologie (1)
  • Génie industriel, Informatique (1)
  • Génie mécanique (1)
  • Image, information, hypermedia (1)
  • Informatique et mathématique (1)
  • Informatique fondamentale et parallélisme (1)
  • Informatique, systèmes d'information (1)
  • Informatique. Modélisation et vérification (1)
  • Informatique. Systèmes et communication (1)
  • Mathématiques et Informatique (1)
  • Nano electronique et nano technologies (1)
  • Réseaux, Télécommunications, Systèmes et Architecture (1)
  • SYAM - Systèmes Automatiques et Micro-Électroniques (1)
  • Statistiques appliquées (1)
  • Sureté de Logiciel et Calcul à Haute Performance (1)
  • Sureté de logiciel et calcul de haute performance (1)
  • Systèmes automatiques et microélectroniques (1)
  • Sûreté de Logiciel et Calcul à Haute Performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (8)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (7)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (6)
  • MATHSTIC (4)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (4)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (3)
  • École doctorale Informatique, télécommunications et électronique de Paris (3)
  • École doctorale Galilée (Villetaneuse, Seine-Saint-Denis) (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 mathématiques, sciences et technologies de l'information, informatique (Grenoble) (2)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • Ecole doctorale Sciences du Numérique et de l’Ingénieur (Reims, Marne) (1)
  • Ecole doctorale Sciences et technologies (Orléans) (1)
  • Sciences et Technologies de l'Information et Mathématiques (1)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (1)
  • École doctorale Agriculture, alimentation, biologie, environnement, santé (Paris ; 2015-....) (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (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 (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences et Ingénierie des Systèmes, Mathématiques, Informatique (Limoges) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences mécaniques et énergétiques, matériaux et géosciences (Gif-sur-Yvette, Essonne ; 2015-....) (1)
  • École doctorale Sciences mécaniques, acoustique, électronique et robotique de Paris (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale Vie-Agro-Santé (Rennes) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale en Informatique et Mathématiques de Lyon (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (39)
  • français (30)
  • null (1)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Aït-Ameur Yamine (3)
  • Bensalem Saddek (3)
  • Touili Tayssir (3)
  • Barkaoui Kamel (2)
  • Bertrand Nathalie (2)
  • Borrione Dominique (2)
  • Bouyer-Decitre Patricia (2)
  • Haddad Serge (2)
  • Laleau Régine (2)
  • Lanet Jean-Louis (2)
  • Pantel Marc (2)
  • Petrucci Laure (2)
  • Pinchinat Sophie (2)
  • Achard Catherine (1)
  • Altman Eitan (1)
  • Altman Zwi (1)
  • André Etienne (1)
  • Barais Olivier (1)
  • Barthe Loïc (1)
  • Bel Liliane (1)
  • Bouajjani Ahmed (1)
  • Bourdon Jérémie (1)
  • Bozga Dorel Marius (1)
  • Brihaye Thomas (1)
  • Cabot Jordi (1)
  • Caucal Didier (1)
  • Chailloux Emmanuel (1)
  • Chamoin Ludovic (1)
  • Chapurlat Vincent (1)
  • Cheutet Vincent (1)
  • Collet Christophe (1)
  • Conchon Sylvain (1)
  • Coulette Bernard (1)
  • Coupat Raphaël (1)
  • Couvreur Jean-Michel (1)
  • Crestani Didier (1)
  • Dague Philippe (1)
  • Darbon Jérôme (1)
  • Delaune Stéphanie (1)
  • Dhaussy Philippe (1)
  • Ellouze Noureddine (1)
  • Fabre Éric (1)
  • Fleurquin Régis (1)
  • Fraboul Christian (1)
  • Frappier Marc (1)
  • Gellot François (1)
  • Genest Blaise (1)
  • Godary Karen (1)
  • Graf Susanne (1)
  • Greiner Alain (1)
  • Guillemin Fabrice (1)
  • Ha-Minh Cuong (1)
  • He Jifeng (1)
  • Iosif Radu (1)
  • Jiménez Tania (1)
  • Jéron Thierry (1)
  • Kremer Steve (1)
  • Le Borgne Michel (1)
  • Le Gall Pascale (1)
  • Le Gall Tristan (1)
  • Legay Axel (1)
  • Libourel Thérèse (1)
  • Lime Didier (1)
  • Mammar Amel (1)
  • Maraninchi Florence (1)
  • Merle Philippe (1)
  • Mezghiche Mohamed (1)
  • Monfroy Éric (1)
  • Morin-Allory Katell (1)
  • Naud Olivier (1)
  • Peyronnet Sylvain (1)
  • Pham Quoc Cuong (1)
  • Philippot Alexandre (1)
  • Pinet François (1)
  • Pommereau Franck (1)
  • Pu Geguang (1)
  • Riera Bernard (1)
  • Rolland Colette (1)
  • Roux Olivier (1)
  • Rusinowitch Michaël (1)
  • Sadou Salah (1)
  • Sallé Patrick (1)
  • Scharbarg Jean-Luc (1)
  • Schnoebelen Philippe (1)
  • Seguin Christel (1)
  • Sighireanu Mihaela (1)
  • Simon Laurent (1)
  • Théret Nathalie (1)
  • Toumani Farouk (1)
  • Veysseyre Henri (1)
  • Wang Tao (1)
  • Wiels Virginie (1)
  • Zaïdi Fatiha (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (56)
  • Sciences de l'ingénieur (8)
  • Informatique, information, généralités (5)
  • Sciences de la vie, biologie, biochimie (2)
  • Sciences de la nature et mathématiques (1)
  • Physique (1)
  • Sciences de la terre (1)
  • Technologie (Sciences appliquées) (1)

Domaines :

Fullscreen
Informatique

Soutenue le 05-07-2018
thèse soutenue
Informatique et applications

Soutenue en 2013
thèse soutenue
Informatique

Soutenue le 02-12-2019
thèse soutenue
Informatique

Soutenue le 17-12-2018
thèse soutenue

...’arbresd’attaqueMot clés : Arbres d’attaque ; Vérification de modèles ; Méthodes formelles ; Évaluationdu risqueResumé : En...

Accéder en ligne
Informatique

Soutenue le 09-12-2019
thèse soutenue

...amont la modé-lisation des architectures. L’élaboration et la vérification de modèles architecturaux...

Accéder en ligne

Résultats 1 à 10