Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (13)
  • Lille 1 (6)
  • Bordeaux 1 (5)
  • Paris 6 (5)
  • Rennes 1 (5)
  • Grenoble (4)
  • Grenoble 1 (3)
  • Grenoble INPG (3)
  • Nice (3)
  • Bordeaux (2)
  • Montpellier (2)
  • Montpellier 2 (2)
  • Nantes (2)
  • Orléans (2)
  • Paris 11 (2)
  • Paris Sciences et Lettres (2)
  • AGH University of Science and Technology (1)
  • Aix-Marseille 3 (1)
  • Besançon (1)
  • Brest (1)
  • Cachan, Ecole normale supérieure (1)
  • Clermont-Ferrand 2 (1)
  • Lorient (1)
  • Lyon (1)
  • Paris 7 (1)
  • Paris Saclay (1)
  • Paris, ENMP (1)
  • Pontifícia universidade católica do Rio Grande do Sul (1)
  • Rennes, École normale supérieure (1)
  • Strasbourg (1)
  • Toulouse 3 (1)
  • Toulouse, INPT (1)
  • Universidade Federal do Rio Grande do Sul (Brésil) (1)
  • Università degli studi (Bologne, Italie) (1)
  • Université de Lorraine (1)
  • Université de Yaoundé I (1)
  • Vandoeuvre-les-Nancy, INPL (1)
  • Versailles-St Quentin en Yvelines (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (52)
  • Sciences appliquées (5)
  • Astrophysique et milieux dilues (1)
  • Automatique - productique (1)
  • Electronique (1)
  • Electronique, microelectronique, optique et lasers, optoelectronique, microondes robotiques (1)
  • Génie des procédés (1)
  • Génie électrique (1)
  • Informat. (1)
  • Informatique et applications (1)
  • Informatique et mathématiques (1)
  • Informatique temps réel, robotique et automatique - Fontainebleau (1)
  • Informatique, temps réel, robotique et automatique (1)
  • Informatique. Systèmes et communication (1)
  • Micro et nano-électronique (1)
  • Physique (1)
  • Physique de la matière condensée et du rayonnement (1)
  • Sciences et techniques (1)
  • Socio-économie de l'innovation (1)
  • Stic (1)
  • Systèmes automatiques et micro-électroniques (1)
  • Systèmes automatiques et microélectroniques (1)
  • Traitement du signal et télécommunications (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (15)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (4)
  • École doctorale Sciences pour l'Ingénieur (Lille) (4)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (4)
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • Ecole doctorale sciences et technologies de Versailles (2010-2015) (1)
  • I2S - Information, Structures, Systèmes (1)
  • Information, Structures, Systèmes (Montpellier ; École Doctorale ; 2009-2014) (1)
  • Ingénierie des Systèmes, Matériaux, Mécanique, Énergétique (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (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 Physique et chimie-physique (Strasbourg ; 1994-....) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences Ingénierie Santé (Saint-Etienne) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale physique (Grenoble) (1)
  • École doctorale Économie, organisations, société (Nanterre) (1)
  • École doctorale Énergie, Matériaux, Sciences de la Terre et de l'Univers (Centre-Val de Loire) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (50)
  • anglais (25)
  • null (2)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Méhaut Jean-François (7)
  • Santana Miguel (6)
  • Termier Alexandre (4)
  • Barthou Denis (2)
  • Duchien Laurence (2)
  • Madaule Françoise (2)
  • Monperrus Martin (2)
  • Sassatelli Gilles (2)
  • Adib Ramezani Hamidreza (1)
  • Altman Eitan (1)
  • Ancourt Corinne (1)
  • Baudry Benoit (1)
  • Beigné Édith (1)
  • Bekkers Yves (1)
  • Bellynck Valérie (1)
  • Benhamou Frédéric (1)
  • Bidoit-Tollu Nicole (1)
  • Blanch Renaud (1)
  • Boitet Christian (1)
  • Bossuet Lilian (1)
  • Bouraqadi Noury (1)
  • Breton Vincent (1)
  • Cachera David (1)
  • Chalopin Jérémie (1)
  • Chassin de Kergommeaux Jacques (1)
  • Chesneaux Jean-Marie (1)
  • Chouraqui Eugène (1)
  • Cointe Pierre (1)
  • Collavizza Hélène (1)
  • Comin Fabio (1)
  • Dallet Dominique (1)
  • Dekeyser Jean-Luc (1)
  • Delobel Claude (1)
  • Denker Marcus (1)
  • Donsez Didier (1)
  • Drach-Temam Nathalie (1)
  • Ducasse Stéphane (1)
  • Ducassé Mireille (1)
  • Etien Anne (1)
  • Fabresse Luc (1)
  • Falcone Yliès (1)
  • Fernandez Jean-Claude (1)
  • Ferreira Jonathan (1)
  • Ferrié Jean (1)
  • Fleurquin Régis (1)
  • Gattaz Olivier (1)
  • Gehm Moraes Fernando (1)
  • Geib Jean-Marc (1)
  • Giorgetti Alain (1)
  • Heydemann Karine (1)
  • Irigoin François (1)
  • Jalby William (1)
  • Jard Claude (1)
  • Jerraya Ahmed Amine (1)
  • Jouanot Fabrice (1)
  • Kermarrec Anne-Marie (1)
  • Kouchnarenko Olga (1)
  • Kozlak Jaroslaw (1)
  • Lawall Julia (1)
  • Le Gal Bertrand (1)
  • Le Meur Anne Françoise (1)
  • Legrand Arnaud (1)
  • Leroy Vincent (1)
  • Lescanne Pierre (1)
  • Lesur Geoffroy (1)
  • Loulergue Frédéric (1)
  • Maillard Nicolas (1)
  • Marangozova Vania (1)
  • Maraninchi Florence (1)
  • Mauny Michel (1)
  • Monsuez Bruno (1)
  • Muller Gilles (1)
  • Méadel Cécile (1)
  • Métivier Yves (1)
  • Namyst Raymond (1)
  • Pichardie David (1)
  • Plantec Alain (1)
  • Ploix Stéphane (1)
  • Poncelet Pascal (1)
  • Poure Philippe (1)
  • Pétrot Frédéric (1)
  • Rastello Fabrice (1)
  • Ridoux Olivier (1)
  • Rueher Michel (1)
  • Réveillère Laurent (1)
  • Saadate Shahrokh (1)
  • Sadou Salah (1)
  • Salaün Gwen (1)
  • Sangiorgi Davide (1)
  • Seinturier Lionel (1)
  • Sentieys Olivier (1)
  • Serra Christophe (1)
  • Serrano Manuel (1)
  • Sifakis Joseph (1)
  • Stefani Jean-Bernard (1)
  • Strandh Robert (1)
  • Tadonki Claude (1)
  • Tchuenté Maurice (1)
  • Temam Olivier (1)
  • Thévenod-Fosse Pascale (1)
  • Vignolle Jean (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (55)
  • Sciences de l'ingénieur (12)
  • Physique (6)
  • Informatique, information, généralités (4)
  • Sciences sociales, sociologie, anthropologie (1)
  • Sciences de la nature et mathématiques (1)
  • Mathématiques (1)
  • Chimie, minéralogie, cristallographie (1)
  • Technologie (Sciences appliquées) (1)
  • Gestion et organisation de l'entreprise (1)
  • Génie chimique, technologies alimentaires (1)
  • Bâtiments (1)

Domaines :

Fullscreen

78 thèses pour "Debogage"

...'information, InformatiqueDébogage de modèles comportementaux paranalyse de contre-exempleDebugging of Behavioural Models...

Accéder en ligne
Sciences appliquées

Soutenue en 1990
thèse soutenue

...tracespissues de plateformes virtuellespour le débogage des MPSoCsThèse soutenue publiquement le 29 janvier 2016...

Accéder en ligne
Electronique, microelectronique, optique et lasers, optoelectronique, microondes robotiques

Soutenue le 30-11-2018
thèse soutenue

...GDB,peuvent eˆtre utilise´es pour le de´bogage interactif des applications base´es sur les mode`lesde programmation...

Accéder en ligne
Systèmes automatiques et microélectroniques

Soutenue le 13-07-2015
thèse soutenue

...’une modélisation multi-niveaux, qui prend en compte différents modèles et de capacités de débogage qui enrichissent...

Accéder en ligne

Résultats 1 à 10