Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (5)
  • Grenoble INPG (5)
  • Grenoble 1 (3)
  • Université Grenoble Alpes (ComUE) (3)
  • Cachan, Ecole normale supérieure (2)
  • Cergy-Pontoise (2)
  • Ecole centrale de Nantes (2)
  • Angers (1)
  • Bourgogne Franche-Comté (1)
  • Brest (1)
  • Clermont Auvergne (1)
  • Ecole centrale de Lille (1)
  • Institut polytechnique de Paris (1)
  • Le Havre (1)
  • Lille 3 (1)
  • Masarykova univerzita (Brno, République tchèque) (1)
  • Metz (1)
  • Montpellier (1)
  • Mulhouse (1)
  • Orléans (1)
  • Paris Est (1)
  • Rennes 1 (1)
  • Sorbonne université (1)
  • Toulouse 3 (1)
  • Toulouse, INPT (1)
  • Universidade estadual de Campinas (Brésil) (1)
  • Université Paris-Saclay (ComUE) (1)
  • Université de Lorraine (1)
  • École nationale supérieure de l'aéronautique et de l'espace (Toulouse ; 1972-2007) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (12)
  • Automatique (2)
  • Génie industriel (2)
  • Informatique et mathématiques (2)
  • Mathématiques Appliquées (2)
  • Sciences de l'ingénieur (2)
  • Sciences et technologie industrielles (2)
  • Automatique et informatique industrielle (1)
  • Automatique, Productique (1)
  • Automatique, Traitement du signal et des images, Génie Informatique (1)
  • Automatique, robotique, traitement du signal et informatique appliquée (1)
  • Automatique, traitement du signal et génie informatique (1)
  • Automatique-Productique (1)
  • Automatique. Productique (1)
  • Génie électrique et électronique - Cergy (1)
  • Informatique, données, IA (1)
  • Mathématiques appliquées (1)
  • Micro et nano électronique (1)
  • Psychologie (1)
  • Robotique (1)
  • SYAM - Systèmes Automatiques et Micro-Électroniques (1)
  • Sciences et technologies industrielles (1)
  • Systèmes décisionnels (1)
  • Systèmes embarqués (1)
  • Électronique Électrotechnique Automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (7)
  • École doctorale Sciences et ingénierie (Cergy-Pontoise, Val d'Oise) (2)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (2)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (2)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (2)
  • I2S - Information, Structures, Systèmes (1)
  • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Informatique, télécommunications et électronique de Paris (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences et Ingénierie, Matériaux, Modélisation et Environnement (Champs-sur-Marne, Seine-et-Marne) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale de l'Institut polytechnique de Paris (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Maler Oded (6)
  • Dang Thao (5)
  • Alla Hassane Lotfi (3)
  • Girard Antoine (3)
  • Barbot Jean-Pierre (2)
  • Frehse Goran (2)
  • Ramdani Nacim (2)
  • Albert Vincent (1)
  • Asarin Eugène (1)
  • Basset Michel (1)
  • Candau Yves (1)
  • Chailloux Emmanuel (1)
  • Chateau Thierry (1)
  • Coello Yann (1)
  • Conchon Sylvain (1)
  • Craye Étienne (1)
  • Crestani Didier (1)
  • Dangoumau Nathalie (1)
  • Fabiani Patrick (1)
  • Faure Jean-Marc (1)
  • Flaus Jean-Marie (1)
  • Genet Thomas (1)
  • Ghallab Malik (1)
  • Godary Karen (1)
  • Goubault Eric (1)
  • Hardouin Laurent (1)
  • Iosif Radu (1)
  • James Guillaume (1)
  • Julliand Jacques (1)
  • Lacroix Simon (1)
  • Lakhnech Yassine (1)
  • Le Gall Tristan (1)
  • Le Parc Philippe (1)
  • Leclerc Édouard (1)
  • Lefebvre Dimitri (1)
  • Lhommeau Mehdi (1)
  • Masson Pierre-Alain (1)
  • Naud Olivier (1)
  • Nketsa Alexandre (1)
  • Proth Jean-Marie (1)
  • Putot Sylvie (1)
  • Pétin Jean-François (1)
  • Roux Olivier (1)
  • Roux Olivier Henri (1)
  • Santos Mendes Rafael (1)
  • Schwoon Stefan (1)
  • Travé-Massuyès Louise (1)
  • Yovine Sergio (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Sciences de l'ingénieur (22)
  • Informatique (17)
  • Mathématiques (4)
  • Technologie (Sciences appliquées) (2)
  • Psychologie (1)
  • Fabrication industrielle (1)

Domaines :

Fullscreen
Sciences et technologie industrielles

Soutenue le 23-06-2017
thèse soutenue

...Ingénierie des Systèmes Soutenue le 23/06/2017 Thèse N° : (10) Analyse d’atteignabilité de systèmes max...

Accéder en ligne

...Rennes 1Directeur de thèseThèse de doctoratAnalyse d’atteignabilité pour lesprogrammes fonctionnels...

Accéder en ligne
Informatique et mathématiques

Soutenue en 2009
thèse soutenue

...techniques de l’analyse d’atteignabilite´en arrie`re de´ja` imple´mente´e dans Cubicle ainsi quedes...

Accéder en ligne

...'atteignabilité . . . . . . . . . . . . . . . . . . . . . . . . . 793.4.1 Principe d'analyse . . . . . . . . . . . . . . . . . . . . . . . . . . 793.4.2 Définition de la...

Accéder en ligne
Sciences et technologie industrielles

Soutenue le 31-10-2011
thèse soutenue

...sommet de l’automate A résultant de l’analyse d’atteignabilité 71 Chapitre 2. SURVEILLANCE DES...

Accéder en ligne
Informatique, données, IA

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

Résultats 1 à 10