Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris Saclay (6)
  • Toulouse, INPT (5)
  • Grenoble Alpes (4)
  • Paris Est (3)
  • Paris 6 (2)
  • Paris, CNAM (2)
  • Rennes 1 (2)
  • Avignon (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 INPG (1)
  • Montpellier 2 (1)
  • Nancy 1 (1)
  • Nantes, Ecole des Mines (1)
  • Orléans (1)
  • Paris 1 (1)
  • Paris 11 (1)
  • Sorbonne Paris Cité (1)
  • Toulouse 3 (1)
  • Toulouse, ENSAE (1)
  • UC BERKELEY (1)
  • Université Joseph Fourier (Grenoble) (1)
  • Université de Lorraine (1)
  • Université de Mons (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 (26)
  • Informatique et applications (2)
  • Biologie (1)
  • Génie industriel, Informatique (1)
  • Image, information, hypermedia (1)
  • Informatique fondamentale et parallélisme (1)
  • Informatique, systèmes d'information (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)
  • Sûreté de Logiciel et Calcul à Haute Performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (5)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (3)
  • É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 mathématiques, sciences et technologies de l'information, informatique (Grenoble) (2)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • Ecole doctorale Sciences et technologies (Orléans) (1)
  • Electronique, Electrotechnique, Automatique, Traitement du Signal (EEATS) (1)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • SCIENCES MATHEMATIQUES DE PARIS CENTRE (1)
  • Sciences et Technologies de l'Information et Mathématiques (1)
  • Sciences et Technologies de l'Information et de la Communication (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École doctorale 536 « Sciences et agrosciences » (Avignon) (1)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (2015-.... ; Paris) (1)
  • École doctorale Approches interdisciplinaires : fondements, applications et innovation (Palaiseau, Essonne) (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (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 mécaniques, acoustique, électronique et robotique de Paris (1)
  • École doctorale Vie-Agro-Santé (Rennes) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (20)
  • français (19)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Aït-Ameur Yamine (3)
  • Bensalem Saddek (3)
  • Barkaoui Kamel (2)
  • Borrione Dominique (2)
  • Laleau Régine (2)
  • Pantel Marc (2)
  • Achard Catherine (1)
  • Altman Eitan (1)
  • Altman Zwi (1)
  • Barthe Loïc (1)
  • Bel Liliane (1)
  • Bertrand Nathalie (1)
  • Bouyer-Decitre Patricia (1)
  • Bozga Dorel Marius (1)
  • Brihaye Thomas (1)
  • Cabot Jordi (1)
  • Caucal Didier (1)
  • Collet Christophe (1)
  • Coulette Bernard (1)
  • Couvreur Jean-Michel (1)
  • Darbon Jérôme (1)
  • Delaune Stéphanie (1)
  • Ellouze Noureddine (1)
  • Fraboul Christian (1)
  • Frappier Marc (1)
  • Greiner Alain (1)
  • Haddad Serge (1)
  • Jiménez Tania (1)
  • Jéron Thierry (1)
  • Kremer Steve (1)
  • Le Borgne Michel (1)
  • Le Gall Pascale (1)
  • Libourel Thérèse (1)
  • Maraninchi Florence (1)
  • Monfroy Éric (1)
  • Morin-Allory Katell (1)
  • Peyronnet Sylvain (1)
  • Pham Quoc Cuong (1)
  • Pinet François (1)
  • Pommereau Franck (1)
  • Prados Emmanuel (1)
  • Rolland Colette (1)
  • Rusinowitch Michaël (1)
  • Sallé Patrick (1)
  • Scharbarg Jean-Luc (1)
  • Seguin Christel (1)
  • Sturm Peter (1)
  • Théret Nathalie (1)
  • Touili Tayssir (1)
  • Toumani Farouk (1)
  • Veysseyre Henri (1)
  • Zaïdi Fatiha (1)

Directeurs de thèse :

Fullscreen

Domaines :

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

Domaines :

Fullscreen

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

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

Accéder en ligne
Informatique

Soutenue le 08-12-2017
thèse soutenue
Informatique

Soutenue le 28-06-2018
thèse soutenue

Résultats 1 à 10