Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (9)
  • Evry-Val d'Essonne (3)
  • Paris, CNAM (3)
  • Grenoble Alpes (2)
  • Paris 11 (2)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Evry, Institut national des télécommunications (1)
  • Grenoble (1)
  • Grenoble INPG (1)
  • Nice (1)
  • Paris 7 (1)
  • Paris Sciences et Lettres (1)
  • Rennes 1 (1)
  • Toulouse, INPT (1)
  • Université Savoie Mont Blanc (1)
  • Université de Lorraine (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (26)
  • Sciences appliquées (2)
  • Informatique et télécommunications (1)
  • Sciences et techniques communes (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (5)
  • École doctorale INTERFACES : approches interdisciplinaires / fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (4)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (2)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • Sciences Mathématiques de Paris Centre (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Informatique, télécommunications et électronique (Paris) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (15)
  • anglais (11)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Le Gall Pascale (3)
  • Monsuez Bruno (3)
  • Terrier François (3)
  • Bardin Sébastien (2)
  • Le gall Pascale (2)
  • Wolff Burkhart (2)
  • Aiguier Marc (1)
  • Ayel Marc (1)
  • Ballarini Paolo (1)
  • Barkaoui Kamel (1)
  • Bhargavan Karthikeyan (1)
  • Boulanger Frédéric (1)
  • CHAZARAIN J. (1)
  • Cavalli Ana (1)
  • Conchon Sylvain (1)
  • Coulette Bernard (1)
  • Donzeau-Gouge Viguié Véronique (1)
  • FLORIN GERARD (1)
  • Fernandez Jean-Claude (1)
  • Gaudel Marie-Claude (1)
  • Gotlieb Arnaud (1)
  • Jensen Thomas (1)
  • Kosmatov Nikolay (1)
  • Lemerre Matthieu (1)
  • Manceny Matthieu (1)
  • Marion Jean-Yves (1)
  • Mauny Michel (1)
  • Monniaux David (1)
  • Mounier Laurent (1)
  • Potet Marie-Laure (1)
  • Prevosto Virgile (1)
  • Rival Xavier (1)
  • Saucier Gabrièle (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (21)
  • Sciences de l'ingénieur (6)
  • Informatique, information, généralités (3)
  • Sciences de la nature et mathématiques (1)
  • Technologie (Sciences appliquées) (1)

Domaines :

Fullscreen

30 thèses pour "Exécution symbolique"

Sciences et techniques communes

Soutenue en 1998
thèse soutenue
Informatique

En préparation depuis le 01-09-2018
 thèse en cours de préparation
Informatique

Soutenue le 02-03-2017
thèse soutenue

...de hachage pour protéger leurcode et rendre ine cace toute analyse symbolique.Exécution Symbolique...

Accéder en ligne

...aléatoire, exécution symbolique, chemins infaisables, méthodesformellesRésumé : De nombreuses techniques d...

Accéder en ligne

..., exécution symbolique, transformation de modèle, SysML, comportement qualitatif. Résumé: Le logiciel embarqué...

Accéder en ligne

Automatisation de tests de conformité de systèmes distribués

par Erwan Mahe sous la direction de Pascale Le gall - Paris Saclay

Informatique

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

Résultats 1 à 10