Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Cachan, Ecole normale supérieure (21)
  • Rennes 1 (19)
  • Grenoble 1 (18)
  • Paris 6 (17)
  • Paris Saclay (14)
  • Grenoble Alpes (12)
  • Nice (10)
  • Toulouse 3 (10)
  • Nancy 1 (8)
  • Paris, CNAM (8)
  • Grenoble INPG (7)
  • Université de Lorraine (7)
  • Aix-Marseille 1 (6)
  • Paris 11 (6)
  • Grenoble (5)
  • Paris 7 (5)
  • Toulouse, INPT (5)
  • Toulouse, INSA (5)
  • Toulouse, ISAE (5)
  • Lyon, INSA (4)
  • Paris Est (4)
  • Artois (3)
  • Besançon (3)
  • Orléans (3)
  • Belfort-Montbéliard (2)
  • Lille 1 (2)
  • Lorient (2)
  • Montpellier 2 (2)
  • Nantes (2)
  • Paris, ENST (2)
  • Reims (2)
  • Toulouse, ENSAE (2)
  • Vandoeuvre-les-Nancy, INPL (2)
  • École nationale d'ingénieurs de Tunis (Tunisie) (2)
  • Aix-Marseille (1)
  • Aix-Marseille 3 (1)
  • Angers (1)
  • Bordeaux (1)
  • Bordeaux 1 (1)
  • Brest (1)
  • Chennai Mathematical Institute (1)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Clermont-Ferrand 2 (1)
  • Côte d'Azur (1)
  • Dijon (1)
  • Ecole Centrale de Lille (1)
  • Ecole Nationale des Sciences de l'Informatique (ENSI), Université de la Manouba Tunisie (1)
  • Ecole centrale de Lille (1)
  • Ecole centrale de Nantes (1)
  • Faculté des Sciences de Tunis (1)
  • Lyon 1 (1)
  • Lyon, École normale supérieure (1)
  • Montpellier (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris 10 (1)
  • Paris 9 (1)
  • Paris, Télécom ParisTech (1)
  • Pau (1)
  • Universidade de São Paulo (Brésil) (1)
  • Universidade federal do Rio Grande do Norte (Natal, Brésil) (1)
  • Universitatea politehnica (Bucarest) (1)
  • Università degli studi (Trente, Italie) (1)
  • Universität des Saarlandes (1)
  • Université Joseph Fourier (Grenoble) (1)
  • Université Mohammed-V Agdal, Rabat, Maroc (1)
  • Université de Montréal (1)
  • Université de Sfax (Tunisie) (1)
  • Université de Sfax (Tunisie). Faculté des Sciences économiques et de gestion (1)
  • Université de Sherbrooke (1)
  • Université des sciences, des techniques et des technologies de Bamako (Mali) (1)
  • Université du Minho (1)
  • Univerzitet u Novom Sadu (1)
  • Versailles-St Quentin en Yvelines (1)
  • École Nationale des Sciences de l'Informatique (Tunis) (1)
  • École Supérieure d’Ingénieurs de Beyrouth (ESIB) – Université Saint-Joseph (USJ) (1)
  • École supérieure des communications de Tunis (Tunisie) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (148)
  • Sciences appliquées (12)
  • Sciences et techniques (6)
  • Électronique, électrotechnique, automatique (5)
  • Mathématiques et Informatique (3)
  • Micro et nano-électronique (3)
  • Nano electronique et nano technologies (3)
  • Automatique (2)
  • Programmation et systèmes (2)
  • Sciences - STS (2)
  • Sciences et technologie industrielles (2)
  • Sciences pour l'ingénieur (2)
  • Sureté de logiciel et calcul de haute performance (2)
  • Systèmes informatiques (2)
  • Sûreté de logiciel et calcul de haute performance (2)
  • Électronique Électrotechnique Automatique (2)
  • Sciences de l'ingénieur (1)
  • Algorithmique (1)
  • Automatique et informatique appliquée (1)
  • Automatique et productique (1)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Automatique, Traitement du Signal, Génie Informatique (1)
  • Automatique, robotique, traitement du signal et informatique appliquée (1)
  • Automatique, traitement du signal et génie informatique (1)
  • Bioinformatique (1)
  • Domaine STIC (1)
  • Electronique (1)
  • Electronique et communications (1)
  • Electronique, microelectronique, optique et lasers, optoelectronique microondes robotique (1)
  • Génie informatique (1)
  • Génie informatique et automatique (1)
  • Image, information, hypermedia (1)
  • Informat. (1)
  • Informatique et Systèmes embarqués (1)
  • Informatique et mathématiques (1)
  • Informatique et réseaux (1)
  • Informatique fondamentale et parallélisme (1)
  • Informatique. Systèmes et communication (1)
  • Ingénierie / Systèmes Informatiques (1)
  • Mathématiques (1)
  • Mathématiques appliquées à l'informatique (1)
  • Mathématiques appliquées. Informatique (1)
  • Mathématiques. Informatique (1)
  • Micro et nano électronique (1)
  • Production automatisée (1)
  • Productique, automatique et informatique industrielle (1)
  • Réseaux informatiques (1)
  • Réseaux, télécoms, systèmes et architecture (1)
  • Sciences (1)
  • Sciences et techniques. Physique (1)
  • Sciences et technologies de l'information et de la communication (1)
  • Sciences économiques (1)
  • Stic (1)
  • Systèmes automatiques et micro-électroniques (1)
  • Systèmes informatiques critiques (1)
  • Systèmes informatiques et systèmes ambarqués (1)
  • Sûreté de Logiciel et Calcul de Haute Performance (1)
  • Sûreté de Logiciel et Calcul à Haute Performance (1)
  • Sûreté de logiciel et calcul de haute-performance (1)
  • Sûreté logicielle et calcul de haute performance (1)
  • Traitement du signal et des télécommunications (1)
  • Traitement du signal et télécommunications (1)
  • Électronique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (11)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (11)
  • École Doctorale Mathématiques, Informatique et Télécommunications (Toulouse) (10)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (9)
  • IAEM - Ecole Doctorale Informatique, Automatique, Électronique - Électrotechnique, Mathématiques (8)
  • École doctorale Informatique, télécommunications et électronique (Paris) (8)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne) (8)
  • Sciences et Technologies de l'Information et de la Communication (4)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (4)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (4)
  • Ecole doctorale Informatique de Paris-Sud (3)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (3)
  • Electronique, Electrotechnique, Automatique, Traitement du Signal (EEATS) (2)
  • IAEM Lorraine (2)
  • Mathématiques et STIC (2)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (2)
  • École doctorale Sciences pour l'Ingénieur (Lille) (2)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (2)
  • École doctorale en Informatique et Mathématiques de Lyon (2)
  • ED Sciences Pour l'Ingénieur (n°72) (1)
  • ED Sciences pour l'ingénieur (n°72) (1)
  • Ecole Doctorale Mathématiques et Informatique de Marseille (Marseille) (1)
  • Ecole Doctorale Sciences, Technologies, Santé (1)
  • Ecole doctorale Sciences et technologies (Orléans) (1)
  • Ecole doctorale Sciences pour l'Ingénieur (1)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (1)
  • Information, Communication, Modélisation et Simulation (1)
  • Informatique, Automatique, Electronique-Electrotechnique, Mathématiques (1)
  • Interfaces : approches interdisciplinaires, fondements, applications et innovation (1)
  • MATISSE (1)
  • MSTIC : Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • Mathématiques, Sciences et technologies de l'information, Informatique (1)
  • Santé, Information, Communication, Mathématiques, Matière (1)
  • École Doctorale Evolution Ecosystèmes Microbiologie Modélisation (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École doctorale Approches interdisciplinaires : fondements, applications et innovation (Palaiseau, Essonne) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (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 Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences fondamentales et appliquées (Nice) (1)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (1)
  • École doctorale Systèmes (Toulouse) (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (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 (159)
  • anglais (64)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Borrione Dominique (12)
  • Kordon Fabrice (7)
  • Barkaoui Kamel (5)
  • Merz Stephan (5)
  • Apvrille Ludovic (4)
  • Gastin Paul (4)
  • Jensen Thomas (4)
  • Lesage Jean-Jacques (4)
  • Mateescu Radu (4)
  • Barthe Gilles (3)
  • Delaune Stéphanie (3)
  • Demri Stéphane P. (3)
  • Gaudel Marie-Claude (3)
  • Lescanne Pierre (3)
  • Maler Oded (3)
  • Morin-Allory Katell (3)
  • Pierre Laurence (3)
  • Audemard Gilles (2)
  • Aït-Ameur Yamine (2)
  • Bensalem Saddek (2)
  • Berthomieu Bernard (2)
  • Boniol Frédéric (2)
  • Comon-Lundh Hubert (2)
  • Cortier Véronique (2)
  • Courtiat Jean-Pierre (2)
  • Dal Zilio Silvano (2)
  • Dubois Catherine (2)
  • Faure Jean-Marc (2)
  • Fernandez Jean-Claude (2)
  • Finkel Alain (2)
  • Frydman Claudia (2)
  • Garavel Hubert (2)
  • Genet Thomas (2)
  • Goubault-Larrecq Jean (2)
  • Greiner Alain (2)
  • Guéguen Hervé (2)
  • Haddad Serge (2)
  • Jmaiel Mohamed (2)
  • Jong Hidde de (2)
  • Jéron Thierry (2)
  • Kremer Steve (2)
  • Lafourcade Pascal (2)
  • Lakhnech Yassine (2)
  • Legay Axel (2)
  • Leroy Xavier (2)
  • Loulergue Frédéric (2)
  • Maraninchi Florence (2)
  • Morel Gérard (2)
  • Oquendo Flavio (2)
  • Pacalet Renaud (2)
  • Paillet Jean-Luc (2)
  • Paulin-Mohring Christine (2)
  • Philippot Alexandre (2)
  • Roux Olivier Henri (2)
  • Saqui-Sannes Pierre de (2)
  • Saïs Lakhdar (2)
  • Schnoebelen Philippe (2)
  • Seguin Christel (2)
  • Strecker Martin (2)
  • Talpin Jean-Pierre (2)
  • Vernadat François B. (2)
  • Wack Maxime (2)
  • Wiels Virginie (2)
  • Aboutajdine Driss (1)
  • Amari Saïd (1)
  • Amghar Youssef (1)
  • Andreu David (1)
  • André Pascal (1)
  • Attiogbé Christian (1)
  • Auguin Michel (1)
  • Augé-Blum Isabelle (1)
  • Azéma Pierre (1)
  • Babau Jean-Philippe (1)
  • Barthe Loïc (1)
  • Ben Hadj-Alouane Néjib (1)
  • Berruet Pascal (1)
  • Berthelot Gérard (1)
  • Bertot Yves (1)
  • Bertrand Nathalie (1)
  • Bidoit Michel (1)
  • Blanchet Bruno (1)
  • Blazy Sandrine (1)
  • Boldo Sylvie (1)
  • Bolignano Dominique (1)
  • Bon Philippe (1)
  • Bouajjani Ahmed (1)
  • Bouhoula Adel (1)
  • Boulet Pierre (1)
  • Bourdon Jérémie (1)
  • Bouyer-Decitre Patricia (1)
  • Brinzei Nicolae (1)
  • CHAZARAIN J. (1)
  • COSTES A. (1)
  • Calvary Gaëlle (1)
  • Campo Éric (1)
  • Carre menetrier Veronique (1)
  • Causse Bernard (1)
  • Charles Henri-Pierre (1)
  • Chouali Samir (1)
  • Collart-Dutilleul Simon (1)
  • Collet Christophe (1)
  • Correia de Freitas Ana Teresa (1)
  • Coupet-Grimal Solange (1)
  • Courousse Damien (1)
  • Craye Étienne (1)
  • Cristea Valentin (1)
  • Crolard Tristan (1)
  • Crégut Xavier (1)
  • DE SIMONE ROBERT (1)
  • DEMARTINI JEAN (1)
  • Dekeyser Jean-Luc (1)
  • Delmas Rémi (1)
  • Denise Alain (1)
  • Déharbe David (1)
  • Dhaussy Philippe (1)
  • Diallo Ouaténi (1)
  • Diaz Michel (1)
  • Divoux Thierry (1)
  • Dowek Gilles (1)
  • Drira Khalil (1)
  • Duchien Laurence (1)
  • Dupuy-Chessa Sophie (1)
  • ESTRAILLIER P. (1)
  • Ellouze Noureddine (1)
  • Estève Daniel (1)
  • Fesquet Laurent (1)
  • Filali Mamoun (1)
  • Fontaine Pascal (1)
  • Frachet Jean-Paul (1)
  • Fradet Pascal (1)
  • Francillon Aurélien (1)
  • Féraud Louis (1)
  • GIRAULT C. (1)
  • Gaaloul Walid (1)
  • Gaffé Daniel (1)
  • Gava Frédéric (1)
  • Geffroy Jean-Claude (1)
  • Ghilezan Silvia (1)
  • Giambiasi Norbert (1)
  • Giorgetti Alain (1)
  • Giraudin Jean-Pierre (1)
  • Girault Alain (1)
  • Gleizes Marie-Pierre (1)
  • Godart Claude (1)
  • Gotlieb Arnaud (1)
  • Goubin Louis (1)
  • Gransart Christophe (1)
  • Grau Brigitte (1)
  • Guermouche Nawal (1)
  • Guyennet Hervé (1)
  • Habermehl Peter (1)
  • Hadj Kacem Ahmed (1)
  • Hammami Omar (1)
  • Hamri Amine (1)
  • Hamri Maâmar El-Amine (1)
  • Henrio Ludovic (1)
  • Hilaire Thibault (1)
  • Hirschowitz André (1)
  • Iosif Radu (1)
  • JARO C. (1)
  • Jacquemard Florent (1)
  • Jenn Éric (1)
  • Jerraya Ahmed-amine (1)
  • Kadima Hubert (1)
  • Kamoun Farouk (1)
  • Kieffer Michel (1)
  • Kirchner Hélène (1)
  • Klaudel Hanna (1)
  • Kosmatov Nikolay (1)
  • Kouchnarenko Olga (1)
  • Kumar Narayan (1)
  • LE GUERNIC P. (1)
  • Laleau Régine (1)
  • Lang Frédéric (1)
  • Laroussinie François (1)
  • Le Berre François (1)
  • Le Guernic Paul (1)
  • Le Métayer Daniel (1)
  • Le botlan Didier (1)
  • Le gall Pascale (1)
  • Liquori Luigi (1)
  • Llau Pierre (1)
  • Lozes Etienne (1)
  • MINOUX M. (1)
  • Madelaine Éric (1)
  • Magnier Janine (1)
  • Mammeri Zoubir (1)
  • Markey Nicolas (1)
  • Matthes Ralph (1)
  • Mauras Christophe (1)
  • Mazure Bertrand (1)
  • Mezher Dani (1)
  • Michel Pierre (1)
  • Migeon Frédéric (1)
  • Minoux Michel (1)
  • Monteil Thierry (1)
  • Montmain Jacky (1)
  • Morin-allory Katell (1)
  • Mosbah Mohamed (1)
  • Mounier Laurent (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (175)
  • Sciences de l'ingénieur (53)
  • Physique (10)
  • Mathématiques (9)
  • Sciences de la nature et mathématiques (8)
  • Informatique, information, généralités (7)
  • Technologie (Sciences appliquées) (7)
  • Sciences de la vie, biologie, biochimie (2)
  • Bibliothéconomie et sciences de l'information (1)
  • Economie (1)
  • Fabrication industrielle (1)

Domaines :

Fullscreen

245 thèses pour "Vérification formelle"

Informatique

Soutenue le 27-11-2013
thèse soutenue

Vérification formelle et filtres numériques

par Diane Gallois sous la direction de Sylvie Boldo et de Thibault Hilaire. - Paris Saclay

Informatique

En préparation depuis le 01-10-2017
thèse en cours de préparation
Informat.

Soutenue en 1999
thèse soutenue
Informatique

Soutenue en 2010
thèse soutenue

Vérification formelle des circuits digitaux décrits en VHDL

par Ashraf Mohamed El-Farghly Salem sous la direction de Dominique Borrione - Grenoble 1

Electronique

Soutenue en 1992
thèse soutenue

..., coloration de graphes, vérification formelle8Table des matières1 Introduction 151.1 L'allocation de registres...

Accéder en ligne

...: les SMA auto-organisateurset la vérification formelle. Chacune de ces disciplines possède ses propres...

Accéder en ligne

Résultats 1 à 10