Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (9)
  • Rennes 1 (6)
  • Toulouse, INPT (5)
  • Grenoble Alpes (3)
  • Paris Est (3)
  • Sorbonne Paris Cité (3)
  • Ecole centrale de Nantes (2)
  • Paris 6 (2)
  • Paris, CNAM (2)
  • Avignon (1)
  • Bordeaux (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)
  • Montpellier (1)
  • Montpellier 2 (1)
  • Nancy 1 (1)
  • Nantes, Ecole des Mines (1)
  • Orléans (1)
  • Paris 1 (1)
  • Paris 11 (1)
  • Reims (1)
  • Toulouse 3 (1)
  • Université M'hamed Bougara de Boumerdès (Algérie) (1)
  • Université de Lorraine (1)
  • Université de Mons (1)
  • Université de Sherbrooke (1)
  • Université de Sherbrooke (Québec, Canada) (1)
  • Université normale de la Chine de l'Est (Shanghai) (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 (35)
  • 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 fondamentale et parallélisme (1)
  • Informatique, systèmes d'information (1)
  • Informatique. Modélisation et vérification (1)
  • Informatique. Systèmes et communication (1)
  • Nano electronique et nano technologies (1)
  • Réseaux, Télécommunications, Systèmes et Architecture (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-....) (6)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (5)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (4)
  • MATHSTIC (2)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (2)
  • École doctorale Informatique, télécommunications et électronique (Paris) (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 de Sciences mathématiques de Paris Centre (Paris) (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 MATHEMATIQUES DE PARIS CENTRE (1)
  • Sciences et Technologies de l'Information et Mathématiques (1)
  • Sciences mécaniques et énergétiques, matériaux, géosciences (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 : approches interdisciplinaires / fondements, applications et innovation (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, 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 électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Aït-Ameur Yamine (3)
  • Bensalem Saddek (3)
  • Barkaoui Kamel (2)
  • Bertrand Nathalie (2)
  • Borrione Dominique (2)
  • Haddad Serge (2)
  • Laleau Régine (2)
  • Lanet Jean-Louis (2)
  • Pantel Marc (2)
  • Pinchinat Sophie (2)
  • Touili Tayssir (2)
  • Achard Catherine (1)
  • Altman Eitan (1)
  • Altman Zwi (1)
  • Barthe Loïc (1)
  • Bel Liliane (1)
  • Bouajjani Ahmed (1)
  • Bourdon Jérémie (1)
  • Bouyer-Decitre Patricia (1)
  • Bozga Dorel Marius (1)
  • Brihaye Thomas (1)
  • Cabot Jordi (1)
  • Caucal Didier (1)
  • Chamoin Ludovic (1)
  • Chapurlat Vincent (1)
  • Collet Christophe (1)
  • Coulette Bernard (1)
  • Coupat Raphaël (1)
  • Couvreur Jean-Michel (1)
  • Dague Philippe (1)
  • Darbon Jérôme (1)
  • Delaune Stéphanie (1)
  • Ellouze Noureddine (1)
  • Fraboul Christian (1)
  • Frappier Marc (1)
  • Gellot François (1)
  • Greiner Alain (1)
  • Ha-Minh Cuong (1)
  • Jiménez Tania (1)
  • Jéron Thierry (1)
  • Kremer Steve (1)
  • Le Borgne Michel (1)
  • Le Gall Pascale (1)
  • Legay Axel (1)
  • Libourel Thérèse (1)
  • Lime Didier (1)
  • Maraninchi Florence (1)
  • Merle Philippe (1)
  • Mezghiche Mohamed (1)
  • Monfroy Éric (1)
  • Morin-Allory Katell (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)
  • Rusinowitch Michaël (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)
  • Zaïdi Fatiha (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (44)
  • Sciences de l'ingénieur (6)
  • Informatique, information, généralités (4)
  • 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 et applications

Soutenue en 2013
thèse soutenue

Vérification de modèles de systèmes à pile

par Adrien Pommellet sous la direction de Tayssir Touili - Sorbonne Paris Cité

Informatique

Soutenue le 05-07-2018
 thèse en cours de préparation
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

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

Accéder en ligne
Informatique

Soutenue le 29-06-2018
thèse soutenue
Informatique

Soutenue le 24-09-2018
thèse soutenue

Résultats 1 à 10