Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Toulouse, INPT (7)
  • Grenoble INPG (6)
  • Paris 6 (6)
  • Toulouse 3 (6)
  • Besançon (4)
  • Grenoble Alpes (4)
  • Paris Saclay (4)
  • Rennes 1 (4)
  • Vandoeuvre-les-Nancy, INPL (4)
  • Grenoble 1 (3)
  • Lyon, INSA (3)
  • Nantes (3)
  • Aix-Marseille (2)
  • Aix-Marseille 2 (2)
  • Bourgogne Franche-Comté (2)
  • Brest (2)
  • Nancy 1 (2)
  • Paris Est (2)
  • Paris Sciences et Lettres (2)
  • Toulouse, ISAE (2)
  • Université de Lorraine (2)
  • Aix-Marseille 1 (1)
  • Albert-Ludwigs-Universität Freiburg (1)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Compiègne (1)
  • Evry, Institut national des télécommunications (1)
  • Evry-Val d'Essonne (1)
  • Facolta di Scienze, Como (1)
  • Faculté des Sciences de Tunis (1)
  • Grenoble (1)
  • La Rochelle (1)
  • Le Havre (1)
  • Lille 1 (1)
  • Lille 3 (1)
  • Lyon (1)
  • Lyon 1 (1)
  • Lyon, École normale supérieure (sciences) (1)
  • Nice (1)
  • Paris 11 (1)
  • Paris 7 (1)
  • Paris, Ecole normale supérieure (1)
  • Pau (1)
  • Rennes, INSA (1)
  • Sorbonne Paris Cité (1)
  • Toulon (1)
  • Toulouse, INSA (1)
  • Université de Yaoundé I (1)
  • Valenciennes (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (44)
  • Sciences appliquées (5)
  • Sureté de logiciel et calcul de haute performance (3)
  • Electronique (2)
  • Informatique et télécommunications (2)
  • Neurosciences (2)
  • Physique (2)
  • Terre, océan, espace (2)
  • Acoustique (1)
  • Astrophysique spatiale (1)
  • Astrophysique, sciences de l'espace, planétologie (1)
  • Automatique - productique (1)
  • Automatique et informatique appliquée (1)
  • Didactique des disciplines (1)
  • Electronique, microélectronique et nanoélectronique et micro-ondes (1)
  • Génie biomédical (1)
  • Génie électrique (1)
  • Informatique et applications (1)
  • Informatique, système et communication (1)
  • Informatique. Systèmes et logiciels (1)
  • Mathématiques. Informatique (1)
  • Mathématiques. Logique et fondements de l'informatique (1)
  • Micro et Nanosystèmes (1)
  • Milieux dilués et optique fondamentale (1)
  • Mécanique des sols, structures et matériaux (1)
  • Nanophotonique (1)
  • Neurosciences cognitives (1)
  • Optique et photonique (1)
  • Optique, lasers, physico-chimie, atmosphère (1)
  • Optoélectronique - Hyperfréquences (1)
  • Physique de la matière condensée et du rayonnement (1)
  • Physique des particules et astroparticules (1)
  • Physique. Télédétection et Océanographie (1)
  • Psychologie (1)
  • Sciences biologiques et fondamentales appliquées. Psychologie (1)
  • Sciences de Gestion (1)
  • Sciences et techniques des activités physiques et sportives (1)
  • Signal, image, parole (1)
  • Systèmes Informatiques (1)
  • Systèmes électroniques (1)
  • Sûreté de Logiciel et Calcul à Haute Performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (4)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (3)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (3)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (2)
  • École doctorale Ondes et Matière (Orsay, Essonne ; 2015-....) (2)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (2)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (2)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (2)
  • ED 37 - Sciences physiques pour l'ingénieur et microtechniques (1)
  • Ecole Doctorale Physique et Sciences de la Matière (Marseille) (1)
  • Ecole Doctorale Sciences pour l'Ingénieur : Mécanique, Physique, Micro et Nanoélectronique (Marseille) (1)
  • Ecole Doctorale de Dauphine (1)
  • IAEM Lorraine (1)
  • MathSTIC (Nantes) (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • SPIM - Sciences Physiques pour l'Ingénieur et Microtechniques (1)
  • Sciences Mathématiques de Paris Centre (1)
  • Sciences et ingénierie pour l'information (1)
  • École Doctorale Electronique, Electrotechnique, Automatique (Lyon) (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Génie électrique, électronique et télécommunications (Toulouse) (1)
  • École doctorale Informatique, télécommunications et électronique (Paris) (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, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Mer et Sciences. ED 548 (Toulon) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences de la matière, du rayonnement et de l'environnement (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences physiques mathématiques et de l'Information pour l'ingénieur (Saint-Etienne-du-Rouvray, Seine-Maritime ; ....-2016) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale de Physique et Astrophysique de Lyon (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)
  • École doctorale physique (Grenoble) (1)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (1)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (64)
  • anglais (22)
  • null (2)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Babau Jean-Philippe (3)
  • Thomesse Jean-Pierre (3)
  • Coulette Bernard (2)
  • Diaz Michel (2)
  • Fabre Jean-Charles (2)
  • Garavel Hubert (2)
  • Hammad Ahmed (2)
  • Julliand Jacques (2)
  • Kouchnarenko Olga (2)
  • Mountassir Hassan (2)
  • Méry Dominique (2)
  • Raymond Pascal (2)
  • Sifakis Joseph (2)
  • Abouchi Nacer (1)
  • Aertsen Adrianus (1)
  • Alaeddine Ali (1)
  • Alla Hassane Lotfi (1)
  • André Charles (1)
  • Ansart Pierre (1)
  • Azaiez Selma (1)
  • Azou Stéphane (1)
  • BARAT C. (1)
  • Barrat Alain (1)
  • Barret Didier (1)
  • Bellot Patrick (1)
  • Bensalem Saddek (1)
  • Borrione Dominique (1)
  • Bourke Timothy (1)
  • Brunel Julien (1)
  • Burnod Yves (1)
  • Bésanger Yvon (1)
  • Cavalli Ana (1)
  • Cholvy Laurence (1)
  • Chouali Samir (1)
  • Contassot-Vivier Sylvain (1)
  • Courtiat Jean-Pierre (1)
  • Cousot Radhia (1)
  • Dadeau Frédéric (1)
  • Darcheville Jean-Claude (1)
  • Dima Catalin (1)
  • Donikian Denis (1)
  • Douay Marc (1)
  • Dowek Gilles (1)
  • Dragomirescu Daniela (1)
  • Duchêne Jacques (1)
  • Dujardin Christophe (1)
  • Fabre Claude (1)
  • Fleureau Jean-Marie (1)
  • Fotso Laure Pauline (1)
  • Frehse Goran (1)
  • Friot Emmanuel (1)
  • Féraud Louis (1)
  • Gazalet Marc (1)
  • Genet Thomas (1)
  • Gobert Olivier (1)
  • Godart Claude (1)
  • Guillet de Chatellus Hugues (1)
  • Guiot Denis (1)
  • Guérin Charles-Antoine (1)
  • Hansen Jean-Pierre (1)
  • Hugonnot Emmanuel (1)
  • Hurault Aurélie (1)
  • Hérault Jeanny (1)
  • Ille Anne (1)
  • Jensen Thomas (1)
  • Jézéquel Jean-Marc (1)
  • Klisnick Annie (1)
  • Kordon Fabrice (1)
  • Kouider el Ouahed Sid-Ahmed (1)
  • Lafaye Jean-Yves (1)
  • Le Gall Pascale (1)
  • Le nours Sébastien (1)
  • Lecoq Paul (1)
  • Letartre Xavier (1)
  • Lugiato Luigi A. (1)
  • Luthon Franck (1)
  • Maiza Claire (1)
  • Maler Oded (1)
  • Mallet Frédéric (1)
  • Marcé Lionel (1)
  • Masson Guillaume S. (1)
  • Mateescu Radu (1)
  • Minoux Michel (1)
  • Miné Antoine (1)
  • Mochkovitch Robert (1)
  • Mourlin Fabrice (1)
  • Moy Matthieu (1)
  • Mraidha Chokri (1)
  • Mussot Arnaud (1)
  • Nguyen Hai Son (1)
  • Nicol Rozenn (1)
  • Padiou Gérard (1)
  • Paillet Jean-Luc (1)
  • Pillement Sébastien (1)
  • Pillonnet Gaël (1)
  • Plouzeau Noël (1)
  • Pouzet Marc (1)
  • Quere Fabien (1)
  • Quinson Martin (1)
  • Quéinnec Philippe (1)
  • ROUX O. (1)
  • Robbana Riadh (1)
  • Roisin Cécile (1)
  • Roy Matthieu (1)
  • Sadeg Bruno (1)
  • Sallé Patrick (1)
  • Schwarz Jean-Jacques (1)
  • Souquières Jeanine (1)
  • Strecker Martin (1)
  • Talpin Jean-Pierre (1)
  • Tatibouet Bruno (1)
  • Thiriet Jean-Marc (1)
  • Thon Bernard (1)
  • Thuau Ghislaine (1)
  • Viktorovitch Pierre (1)
  • Villemur Thierry (1)
  • Vinay Laurent (1)
  • Wiels Virginie (1)
  • Wurtz Frédéric (1)
  • Zaïdi Fatiha (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (53)
  • Sciences de l'ingénieur (23)
  • Physique (9)
  • Médecine et santé (4)
  • Psychologie (3)
  • Sciences de la vie, biologie, biochimie (3)
  • Mathématiques (2)
  • Astronomie, cartographie, géodésie (2)
  • Sciences de la terre (2)
  • Informatique, information, généralités (1)
  • Education et enseignement (1)
  • Sciences de la nature et mathématiques (1)
  • Technologie (Sciences appliquées) (1)
  • Gestion et organisation de l'entreprise (1)
  • Fabrication industrielle (1)
  • Sport (1)

Domaines :

Fullscreen

...SysML, exprimées formellement par les propriétés temporelles, sur les blocs SySML. Dans cette phase, nous avons...

Accéder en ligne

...partic-ulier, en reference a la hierarchie des proprietes temporelles proposee par Zo-har Manna et Amir...

Accéder en ligne
Informatique

Soutenue en 1997
thèse soutenue
Automatique et informatique appliquée

Soutenue en 2001
thèse soutenue
Sureté de logiciel et calcul de haute performance

Soutenue le 03-09-2013
thèse soutenue

Résultats 1 à 10