Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Rennes 1 (4)
  • Toulouse, INPT (3)
  • Brest (1)
  • Côte d'Azur (1)
  • Ecole centrale de Lille (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Montpellier (1)
  • Mulhouse (1)
  • Nice (1)
  • Paris 6 (1)
  • Paris Saclay (1)
  • Pau (1)
  • Toulouse, ISAE (1)
  • Université Mohammed V-Agdal (Rabat, Maroc). Faculté des sciences (1)
  • Université de Yaoundé I (1)
  • Université du Luxembourg (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (11)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Automatique, Ingénierie-Système, Nucléaire (1)
  • Génie informatique (1)
  • Réseaux, Télécommunications, Systèmes et Architecture (1)
  • Réseaux, télécom, système et architecture (1)
  • Sureté de Logiciel et Calcul à Haute Performance (1)
  • Sûreté de Logiciel et Calcul à Haute Performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (4)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (3)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • I2S - Information, Structures, Systèmes (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (1)
  • École doctorale sciences exactes et leurs applications (Pau, Pyrénées Atlantiques) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (10)
  • français (8)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Baudry Benoit (3)
  • Aït-Ameur Yamine (2)
  • Chapurlat Vincent (2)
  • Crégut Xavier (2)
  • Jézéquel Jean-Marc (2)
  • Aboutajdine Driss (1)
  • Barbier Franck (1)
  • Bon Philippe (1)
  • Broto Laurent (1)
  • Chevrel Philippe (1)
  • Collart-Dutilleul Simon (1)
  • Combemale Benoît (1)
  • De Antoni Julien (1)
  • Dony Christophe (1)
  • Gérard Sébastien (1)
  • Hagimont Daniel (1)
  • Hassenforder Michel (1)
  • Hugues Jérôme (1)
  • Kordon Fabrice (1)
  • Mallet Frédéric (1)
  • Nana Tchamnda Laurent (1)
  • Navet Nicolas (1)
  • Riveill Michel (1)
  • Tangha Claude (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (16)
  • Sciences de l'ingénieur (3)
  • Mathématiques (1)

Domaines :

Fullscreen

...conformes soient dits « exécuta-bles », ces langages sont appelés LMDs exécutables (LMDx). En plus de...

Accéder en ligne
Sureté de Logiciel et Calcul à Haute Performance

Soutenue le 13-07-2016
thèse soutenue

....), les langages de modélisationdédiés (Domain-Speciटc Modeling Languages – DSMLs) sont plffs adaptés car...

Accéder en ligne
Sûreté de Logiciel et Calcul à Haute Performance

Soutenue le 09-12-2014
thèse soutenue

...’INTÉGRATION DE LA VÉRIFICATIONFORMELLE POUR LES LANGAGES DÉDIÉSRésuméLes langages dédiés de modélisation (DSMLs...

Accéder en ligne
Informatique

Soutenue le 10-12-2013
thèse soutenue
Réseaux, Télécommunications, Systèmes et Architecture

Soutenue le 12-11-2012
thèse soutenue

...la conception de langages de modélisation métier interopérables, analysables et prouvables pour l...

Accéder en ligne

Résultats 1 à 10