Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 6 (5)
  • Paris Saclay (5)
  • Ecole centrale de Lille (4)
  • Grenoble Alpes (4)
  • Paris 1 (4)
  • Grenoble (3)
  • Orléans (3)
  • Paris Sciences et Lettres (3)
  • Toulouse 3 (3)
  • Université de Lorraine (3)
  • Cergy-Pontoise (2)
  • Châtenay-Malabry, Ecole centrale de Paris (2)
  • Evry, Institut national des télécommunications (2)
  • Lille 1 (2)
  • Lorient (2)
  • Montpellier (2)
  • Paris 5 (2)
  • Paris Est (2)
  • Paris, CNAM (2)
  • Toulouse, INPT (2)
  • Toulouse, ISAE (2)
  • Aix-Marseille 1 (1)
  • Amiens (1)
  • Bordeaux (1)
  • Bourgogne Franche-Comté (1)
  • Brest, École nationale supérieure de techniques avancées Bretagne (1)
  • Cachan, Ecole normale supérieure (1)
  • Clermont-Ferrand 2 (1)
  • Compiègne (1)
  • Côte d'Azur (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Grenoble INPG (1)
  • Lille 2 (1)
  • Lyon, École normale supérieure (sciences) (1)
  • Nancy 1 (1)
  • Paris 10 (1)
  • Paris 9 (1)
  • Paris, AgroParisTech (1)
  • Paris, Institut d'études politiques (1)
  • Pau (1)
  • Rennes 1 (1)
  • Rennes 2 (1)
  • Rijksuniversiteit te Utrecht (1)
  • Saint-Etienne (1)
  • Sorbonne Paris Cité (1)
  • Toulon (1)
  • Toulouse 1 (1)
  • Toulouse, INSA (1)
  • Télécom Bretagne (1)
  • Université de Sherbrooke (1)
  • Université de Tunis. Faculté des sciences de Tunis (1)
  • Université des sciences et de la technologie Houari Boumediene (Alger) (1)
  • Valenciennes (1)
  • École Nationale des Sciences de l'Informatique (La Manouba, Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (19)
  • Sciences appliquées (6)
  • Sciences de gestion (4)
  • Automatique, génie informatique, traitement du signal et images (2)
  • Droit public (2)
  • Robotique (2)
  • Sciences de l'éducation (2)
  • Systèmes automatiques et micro-électroniques (2)
  • Aménagement de l'espace, Urbanisme (1)
  • Arts plastiques et sciences de l'art (1)
  • Automatique et informatique industrielle (1)
  • Automatique industrielle et humaine (1)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Automatique, Traitement du Signal et des Images, Génie Informatique (1)
  • Biologie Médecine Santé (1)
  • Droit - Cergy (1)
  • Droit privé (1)
  • Droit pénal et sciences criminelles (1)
  • Ergonomie (1)
  • Formation des adultes (1)
  • Génie Industriel : conception et production (1)
  • Génie industriel (1)
  • Géographie. Aménagement (1)
  • Histoire (1)
  • Histoire de l'art (1)
  • Informatique et Systèmes embarqués (1)
  • Informatique et mathématiques (1)
  • Informatique et réseaux (1)
  • Informatique et telecommunications (1)
  • Informatique médicale (1)
  • Mathématiques appliquées aux systèmes (1)
  • Mouvement et comportement pour la santé et l'autonomie (1)
  • Médecine. Modélisation des connaissances biomédicales (1)
  • Nano electronique et nano technologies (1)
  • Neurosciences (1)
  • Philosophie (1)
  • Productique, automatique et informatique industrielle (1)
  • Psychologie (1)
  • Psychologie cognitive (1)
  • Réseaux et sécurité informatique (1)
  • Réseaux et télécommunications (1)
  • Réseaux informatiques (1)
  • Réseaux, Télécommunications, Systèmes et Architecture (1)
  • Réseaux, télécoms, systèmes et architecture (1)
  • STIC - Cergy (1)
  • Sciences (1)
  • Sciences de la vie et de la santé (1)
  • Sciences physiques (1)
  • Sociologie (1)
  • Sociologie, démographie (1)
  • Stic (1)
  • Stratégie (1)
  • Systèmes informatiques (1)
  • Technologies de l'Information et des Systèmes (1)
  • Électronique (1)
  • Électronique. Automatique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences pour l'Ingénieur (Lille) (4)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (4)
  • Ecole doctorale de Dauphine (Paris) (3)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (3)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (3)
  • École doctorale Agriculture, Alimentation, Biologie, Environnement, Santé (Paris ; 2015-....) (2)
  • École doctorale Informatique, télécommunications et électronique (Paris) (2)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (2)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (2)
  • École doctorale Sciences et Ingénierie (Evry ; 2008-2015) (2)
  • École doctorale Sciences humaines et sociales (Rennes) (2)
  • ED SI - Sciences et Ingénierie (1)
  • Ecole Doctorale Sociétés, Politique, Santé publique (SP2) (Bordeaux) (1)
  • I2S - Information, Structures, Systèmes (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Sciences pour l'ingénieur (1)
  • École Doctorale Droit et Science Politique (Nanterre) (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École Doctorale Sciences de Gestion TSM (Toulouse) (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Abbé Grégoire (Paris) (1)
  • École doctorale Arts plastiques, esthétique et sciences de l'art (Paris) (1)
  • École doctorale Cerveau, cognition, comportement (Paris) (1)
  • École doctorale Génétique, cellulaire, immunologie, infectiologie et développement (....-2013 ; Paris) (1)
  • École doctorale Histoire de l'art (Paris) (1)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (1)
  • École doctorale Santé publique : épidémiologie et sciences de l'information biomédicale (Paris) (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 de l'Homme et de la Société (Sceaux, Hauts-de-Seine ; 2015-....) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences humaines et sociales : cultures, individus, sociétés (Paris ; 1994-2019) (1)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (1)
  • École doctorale Sociétés méditerranéennes et sciences humaines. ED 509 (Toulon) (1)
  • École doctorale Sociétés, Espaces, Pratiques, Temps (Dijon ; Besançon ; 2017-....) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale Ville, Transports et Territoires (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale d'Histoire de l'Université Paris 1 Panthéon-Sorbonne (Paris) (1)
  • École doctorale de Géographie de Paris. Espace, sociétés, aménagement (Paris) (1)
  • École doctorale de Sciences Po (Paris) (1)
  • École doctorale de droit et sciences humaines (Cergy-Pontoise, Val-d'Oise) (1)
  • École doctorale des Sciences Juridiques, Politiques et de Gestion (Lille) (1)
  • École doctorale en Sciences humaines et sociales (Amiens) (1)
  • École doctorale ingénierie pour la santé, la cognition, l'environnement (Grenoble) (1)
  • École doctorale sciences sociales et humanités (Pau, Pyrénées Atlantiques) (1)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Berruet Pascal (2)
  • Bon Philippe (2)
  • Collart-Dutilleul Simon (2)
  • Rutten Eric (2)
  • Toguyeni Abdoul Karim Armand (2)
  • Albero Brigitte (1)
  • Amann Bruno (1)
  • Amieva Hélène (1)
  • Anciaux Nicolas (1)
  • Andreu David (1)
  • Angué Jean-Claude (1)
  • Ausbourg Bruno d' (1)
  • Aït-Ameur Yamine (1)
  • Barbou Des Places Ségolène (1)
  • Barkaoui Kamel (1)
  • Barrère Anne (1)
  • Bellot Patrick (1)
  • Ben Hadj-Alouane Néjib (1)
  • Berland Nicolas (1)
  • Bodeveix Jean-Paul (1)
  • Bougé Luc (1)
  • Boujut Jean-François (1)
  • Bouquin Henri (1)
  • Bourgeron Thomas (1)
  • Camps Valérie (1)
  • Carassus David (1)
  • Cavalli Ana (1)
  • Charlet Jean (1)
  • Chavrier Géraldine (1)
  • Chelouah Rachid (1)
  • Clot Yves (1)
  • Conchon Emmanuel (1)
  • Cuppens Frédéric (1)
  • Cuppens Nora (1)
  • Debrie Jean (1)
  • Dekeyser Jean-Luc (1)
  • Demazeau Yves (1)
  • Dhaussy Philippe (1)
  • Diaz Michel (1)
  • Didry Claude (1)
  • Donsez Didier (1)
  • Duvauferrier Régis (1)
  • El Hadji Gamatié Abdoulaye (1)
  • El-Koursi El-Miloudi (1)
  • Eneau Jérôme (1)
  • Falissard Bruno (1)
  • Festor Olivier (1)
  • Filali Mamoun (1)
  • Fort François (1)
  • Fortis Élisabeth (1)
  • Frappier Marc (1)
  • Friedberg Erhard (1)
  • Gattaz Olivier (1)
  • Gentina Jean-Claude (1)
  • Georges Jean-Philippe (1)
  • Ghazel Mohamed (1)
  • Giavitto Jean-Louis (1)
  • Gondran Michel (1)
  • Greiner Alain (1)
  • Guenancia Pierre (1)
  • Guermouche Nawal (1)
  • Guméry Pierre-Yves (1)
  • Idani Akram (1)
  • Ingrand François (1)
  • Juhel Jacques (1)
  • Klein Richard (1)
  • Kuszla Catherine (1)
  • Ladet Pierre (1)
  • Lakhal Lotfi (1)
  • Laleau Régine (1)
  • Lapierre Lionel (1)
  • Launay Jean-Marie (1)
  • Laurent Maryline (1)
  • Ledru Yves (1)
  • Lenne Dominique (1)
  • Lesage Jean-Jacques (1)
  • Letiche Hugo K. (1)
  • Loulergue Frédéric (1)
  • Lourdeaux Domitile (1)
  • Mammar Amel (1)
  • Masclet Cédric (1)
  • Merle Vincent (1)
  • Mermet Laurent (1)
  • Mismetti Patrick (1)
  • Monteil Thierry (1)
  • Morin-Allory Katell (1)
  • Morineau Thierry (1)
  • Méry Dominique (1)
  • Nielsen le-Roux Christina (1)
  • Ober Ileana (1)
  • Ober Iulian Sorin (1)
  • Oquendo Flavio (1)
  • Payan Guillaume (1)
  • Peyrard Fabrice (1)
  • Pierre Laurence (1)
  • Pigenet Michel (1)
  • Pinoli Jean-Charles (1)
  • Prélot Pierre-Henri (1)
  • Pucheral Philippe (1)
  • Pujolle Guy (1)
  • Pétin Jean-François (1)
  • Ramdane-Cherif Amar (1)
  • Robert Christian P. (1)
  • Saadia Nadia (1)
  • Saguez Christian (1)
  • Seguin Christel (1)
  • Serhrouchni Ahmed (1)
  • Simon Jean-Claude (1)
  • Souami Taoufik (1)
  • Souquières Jeanine (1)
  • Tahar Bhiri Mohamed (1)
  • Terrier François (1)
  • Thuillier Henri (1)
  • Toinard Christian (1)
  • Toma Yann (1)
  • Verdier François (1)
  • Verfaillie Gérard (1)
  • Vuillerme Nicolas (1)
  • Yannou Bernard (1)
  • Yim Pascal (1)
  • Ávila Funes José Alberto (1)
  • Égéa Vincent (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (29)
  • Sciences de l'ingénieur (23)
  • Gestion et organisation de l'entreprise (6)
  • Droit (5)
  • Informatique, information, généralités (4)
  • Médecine et santé (4)
  • Psychologie (3)
  • Education et enseignement (3)
  • Mathématiques (3)
  • Sciences sociales, sociologie, anthropologie (2)
  • Physique (2)
  • Géographie et histoire (2)
  • Philosophie, psychologie (1)
  • Problèmes et services sociaux (1)
  • Commerce, communications, transports (1)
  • Sciences de la vie, biologie, biochimie (1)
  • Arts. Beaux-arts et arts décoratifs (1)
  • Urbanisme (1)
  • Géographie et voyages (1)

Domaines :

Fullscreen

87 thèses pour "Validation formelle"

Sciences appliquées

Soutenue en 1997
thèse soutenue

...rédigées durant ce travail sont listées ci-dessous.• Fadi Obeid and Philippe Dhaussy. Validation formelle d...

Accéder en ligne
Réseaux, télécoms, systèmes et architecture

Soutenue en 2013
thèse soutenue
Électronique. Automatique

Soutenue en 2003
thèse soutenue

...-Encadrante de thèse Ti t re de la thèse VALIDATION FORMELLE DES SYSTEMES NUMERIQUES CRITIQUES...

Accéder en ligne

Résultats 1 à 10